MetaCartSign in to MyCiteSeer

Include Citations | Advanced Search | Help

Include Citations | Advanced Search | Help

  Integrating ontology languages and answer set programming (2003) [7 citations — 1 self]

Download:
Download as a PDF | Download as a PS
by S. Heymans, D. Vermeir
In Proc. of WebS’03
http://tinf2.vub.ac.be/~sheymans/publications/./webs2003.ps
Add To MetaCart

Abstract:

We integrate ontology languages and logic programming (LP) by extending disjunctive logic programs (DLPs) and their semantics in order to support inverses and an infinite universe, without introducing function symbols. We show that this extension is still decidable, and can be used to simulate, on the one hand, answer set programming with a finite universe, and on the other hand, several expressive description logics (DLs), which can be seen as ontology languages. The integration leads to a "best of both worlds": from the LP side it inherits a flexible and intuitive representation of knowledge, whereas the DLs side provides the possibility to represent infinite knowledge. 1.

Citations

1126 The Stable Model Semantics for Logic Programming – Gelfond, Lifschitz - 1988
260 Ontologies: principles, methods and applications – Uschold, Gruninger - 1996
233 S.: Practical Reasoning for Expressive Description Logics – Horrocks, Sattler, et al. - 1999
200 2003) Description Logic Programs: Combining Logic Programs with Description Logic – Grosof, Horrocks, et al.
186 The Description Logic Handbook – Baader, Calvanese, et al. - 2003
97 AL-log: Integrating Datalog and Description Logics – Donini, Lenzerini, et al.
76 Why is modal logic so robustly decidable – Vardi - 1997
76 Reasoning about the past with two-way automata – Vardi - 1998
71 Answer set programming and plan generation – Lifschitz
34 Extending the stable model semantics with more expressive rules – Simons - 1999
32 DAML+OIL is not Enough – Bechhofer, Goble, et al. - 2001
24 A description logic with transitive and converse roles, role hierarchies and qualifying number restrictions – Horrocks, Sattler, et al. - 1999
21 Reasoning in description logics using declarative logic programming – Alsaç, Baral - 2002
14 A denotational semantics for standard OIL and instance OIL – Horrocks - 2000
5 2ATAs make DLs easy – Calvanese, Giacomo, et al. - 2002
View or Download | Add to My Collection | Correct Errors