Integrating description logics and answer set programming

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2901, Issue , 2003, Pages 146-159

  Heymans, S ^a   Vermeir, D ^a  

^a VRIJE UNIVERSITEIT BRUSSEL   (Belgium)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTABILITY AND DECIDABILITY; COMPUTATIONAL LINGUISTICS; COMPUTER PROGRAMMING; DATA DESCRIPTION; FORMAL LANGUAGES; LOGIC PROGRAMMING; SEMANTIC WEB;

ANSWER SET PROGRAMMING; DESCRIPTION LOGIC; EXTENDED LANGUAGES; INFINITE DOMAINS; LOGIC PROGRAMS; ONTOLOGY LANGUAGE;

KNOWLEDGE REPRESENTATION;

EID: 0346265000     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24572-8_10     Document Type: Article

References (23)

1. G. Alsaç and C. Baral. Reasoning in Description Logics using Declarative Logic Programming. http://www.public.asu.edu/guray/dlreasoning.pdf, 2002.
2. F. Baader, D. Calvanese, D. McGuinness, D. Nardi, and P. Patel-Schneider. The Description Logic Handbook. Cambridge University Press, 2003.
3. S. Bechhofer, C. Goble, and I. Horrocks. DAML+OIL is not Enough. In Proceedings of the First Semantic Web Working Symposium (SWWS'01), pages 151-159. CEUR, 2001.
4. T. Berners-Lee, J. Hendler, and O. Lassila. The Semantic Web. Scientific American, pages 34-43, May 2001.
5. A. Borgida. On the Relative Expressiveness of Description Logics and predicate logics. Artificial Intelligence, 82(1-2):353-367, 1996.
6. M. Cadoli, L. Palopoli, and M. Lenzerini. Datalog and Description Logics: Expressive Power. In Proceedings of the Sixth International Workshop on Database Programming Languages (DBPL'97), number 1369 in Lecture Notes in Computer Science, pages 281-298. Springer-Verlag, 1998.
7. F. M. Donini, M. Lenzerini, D. Nardi, and A. Schaerf. AL-log: Integrating Datalog and Description Logics. J. of Intelligent and Cooperative Information Systems, 10:227-252, 1998.
8. D. Fensel, I. Horrocks, F. van Harmelen, S. Decker, M. Erdmann, and M. Klein. OIL in a Nutshell. In R. Dieng et al., editor, Knowledge Acquisition, Modeling, and Management, Proceedings of the European Knowledge Acquisition Conference (EKAW-2000), Lecture Notes in Artificial Intelligence. Springer-Verlag, 2000.
9. R. Fikes and D. McGuinness. An Axiomatic Semantics for RDF, RDF-S, and DAML+OIL. http://www.w3.org/TR/daml+oil-axioms, December 2001. W3C Note.
10. M. Gelfond and V. Lifschitz. The Stable Model Semantics for Logic Programming. In Robert A. Kowalski and Kenneth Bowen, editors, Proceedings of the Fifth International Conference on Logic Programming, pages 1070-1080, Cambridge, Massachusetts, 1988. The MIT Press.
11. B. N. Grosof, I. Horrocks, R. Volz, and S. Decker. Description Logic Programs: Combining Logic Programs with Description Logic. In Proceedings of Twelfth International World Wide Web Conference (WWW 2003), pages 48-57, 2003.
12. S. Heymans and D. Vermeir. A Defeasible Ontology Language. In Robert Meersman and Zahir Tari et al., editors, Confederated International Conferences: CoopIS, DOA and ODBASE 2002, number 2519 in Lecture Notes in Computer Science, pages 1033-1046. Springer, 2002.
13. S. Heymans and D. Vermeir. Integrating Ontology Languages and Answer set Programming. In Fourteenth International Workshop on Database and Expert Systems Applications, pages 584-588, Prague, Czech Republic, September 2003. IEEE Computer Society.
14. S. Heymans and D. Vermeir. Ontology Reasoning using an Extension of Answer Set Programming. Technical report, Vrije Universiteit Brussel, Dept. of Computer Science, 2003.
15. I. Horrocks, U. Sattler, and S. Tobies. Practical Reasoning for Expressive Description Logics. In Harald Ganzinger, David McAllester, and Andrei Voronkov, editors, Proceedings of the 6th International Conference on Logic for Programming and Automated Reasoning (LPAR'99), number 1705, pages 161-180. Springer-Verlag, 1999.
16. I. Horrocks and U. Sattler. A Description Logic with Transitive and Converse Roles and Role Hierarchies. LTCS-Report 98-05, LuFg Theoretical Computer Science, RWTH Aachen, Germany, 1998.
17. I. Horrocks. A Denotational Semantics for Standard OIL and Instance OIL. http://www.ontoknowledge.org/oil/downl/semantics.pdf, 2000.
18. J. Kopena. DAMLJessKB. http://plan.mcs.drexel.edu/projects/legorobots/design/software/ DAMLJessKB/, October 2002.
19. V. Lifschitz. Answer Set Programming and Plan Generation. Artificial Intelligence, 138(1-2):39-54, 2002.
20. M. Uschold and M. Grüninger. Ontologies: Principles, Methods, and Applications. Knowledge Engineering Review, 11(2):93-155, 1996.
21. F. van Harmelen, J. Hendler, I. Horrocks, and L. A. Stein D. L. McGuinness, P. F. Patel-Schneider. Web Ontology Language (OWL) Reference Version 1.0. W3C Working Draft - http://www.w3.org/TR/owl-ref/, February 2003.
22. M. Y. Vardi. Why is Modal Logic so Robustly Decidable? Technical Report TR97-274, Rice University, April 12, 1997.
23. M. Y. Vardi. Reasoning about the Past with Two-Way Automata. In Proceedings of the 25th Int. Coll. on Automata. Languages and Programming (ICALP '98), pages 628-641. Springer, 1998.