combining logic programs with description logic

Description Logic Programs: Combining Logic Programs with Description Logic...

Description Logic Programs: Combining Logic Programs with Description Logic. Benjamin N. Grosof. MIT Sloan School of Management. Cambridge, MA, USA.

⬇ Download Full Version

Benjamin N. Grosof MIT Sloan School of Management Description Logic Program...

Benjamin N. Grosof MIT Sloan School of Management Description Logic Programs: Combining Logic Programs with Description LogicCambridge, MA, USA.

⬇ Download Full Version

We show how to interoperate, semantically and inferentially, between the le...

We show how to interoperate, semantically and inferentially, between the leading Semantic Web approaches to rules (RuleML Logic Programs)  ‎Abstract · ‎Authors · ‎References · ‎Cited By.

⬇ Download Full Version

We argue that Description Logic Programs (DLP)7 as described in [4, 13] for...

We argue that Description Logic Programs (DLP)7 as described in [4, 13] formance, DLP enjoys polynomial data complexity and exptime combined com-.

⬇ Download Full Version

side, with semantic interoperability grounded in Description Logic Programs...

side, with semantic interoperability grounded in Description Logic Programs By combining the ideas from the existing formalisms with the principles of logic.

⬇ Download Full Version

We show how to interoperate, semantically and inferentially, between the le...

We show how to interoperate, semantically and inferentially, between the leading Semantic Web approaches to rules (RuleML Logic Programs).

⬇ Download Full Version

Official Full-Text Paper (PDF): Combining logic programs with description l...

Official Full-Text Paper (PDF): Combining logic programs with description logics.

⬇ Download Full Version

Towards the integration of rules and ontologies in the. Semantic Web, we pr...

Towards the integration of rules and ontologies in the. Semantic Web, we propose a combination of logic pro- gramming under the answer set semantics with the.

⬇ Download Full Version

We propose a combination of logic programming under the answer set semantic...

We propose a combination of logic programming under the answer set semantics with the description logics SHIF (D) and SHOIN (D), which underly the Web.

⬇ Download Full Version

Rule formalisms that combine logic programming with other sources of knowle...

Rule formalisms that combine logic programming with other sources of knowledge, especially terminological knowledge expressed in Description Logics (DLs).

⬇ Download Full Version

Description Logic Programs (DLPs) - roughly speaking - are ontological know...

Description Logic Programs (DLPs) - roughly speaking - are ontological knowledge Logic Programs: Combining Logic Programs with Description Logics.

⬇ Download Full Version

Combining Logic Programming with. Description Logics and Machine Learning f...

Combining Logic Programming with. Description Logics and Machine Learning for the Semantic Web. Francesca A. Lisi and Floriana Esposito. Dipartimento di.

⬇ Download Full Version

[1]: G. Alsaç, C. Baral, Reasoning in description logics using declarative ...

[1]: G. Alsaç, C. Baral, Reasoning in description logics using declarative logic . G. Kern-Isberner, T. LukasiewiczCombining probabilistic logic programming.

⬇ Download Full Version

Combining Description Logic and Defeasible Logic for the Semantic Web . S.:...

Combining Description Logic and Defeasible Logic for the Semantic Web . S.: Description logic programs: Combining logic programs with description logics.

⬇ Download Full Version

Grosof, B.N., Horrocks, I., Volz, R., Decker, S.: Description logic program...

Grosof, B.N., Horrocks, I., Volz, R., Decker, S.: Description logic programs: Combining logic programs with description logics. In: Proc. WWW , pp. 48–

⬇ Download Full Version