2012 23rd International Workshop on Database and Expert Systems Applications (2003)
Prague, Czech Republic
Sept. 1, 2003 to Sept. 5, 2003
D. Vermeir , Vrije Universiteit Brussel, VUB
S. Heymans , Vrije Universiteit Brussel, VUB
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.
D. Vermeir, S. Heymans, "Integrating Ontology Languages and Answer Set Programming", 2012 23rd International Workshop on Database and Expert Systems Applications, vol. 00, no. , pp. 584, 2003, doi:10.1109/DEXA.2003.1232085