Nonmonotonic description logic programs: Implementation and experiments

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

Volumn 3452 LNAI, Issue , 2005, Pages 511-527

  Eiter, Thomas ^a   Ianni, Giovambattista ^a   Schindlauer, Roman ^a   Tompits, Hans ^a  

^a VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; OPTIMIZATION; SEMANTICS; SOFTWARE PROTOTYPING;

DESCRIPTION LOGICS; NONMONOTONIC DESCRIPTION LOGIC PROGRAMS; RULE-BASED SEMANTICS;

FORMAL LOGIC;

EID: 26844461133     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-32275-7_34     Document Type: Conference Paper

References (23)

1. G. Antoniou. Nonmonotonic Rule Systems on Top of Ontology Layers. In Proc. ISWC 2002, volume 2342 of LNCS, pages 394-398, 2002.
2. C. Baral and V. S. Subrahmanian. Dualities Between Alternative Semantics for Logic Programming and Nonmonotonic Reasoning, J. Automated Reasoning, 10(3):399-420, 1993.
3. T. Berners-Lee. Weaving the Web. Harper, San Francisco, CA, 1999.
4. T. Berners-Lee, J. Hendler, and O. Lassila. The Semantic Web. Scientific American, 284(5):34-43, 2001.
5. F. M. Donini, M. Lenzerini, D. Nardi, and A. Schaerf. Aℒ-log: Integrating Datalog and Description Logics. Journal of Intelligent Information Systems, 10(3):227-252, 1998.
6. T. Eiter, T. Lukasiewicz, R. Schindlauer, and H. Tompits. Combining Answer Set Programming with Description Logics for the Semantic Web. In Proc. KR 2004, pages 141-151, 2004.
7. Extended Report RR-1843-03-13, Institut für Informationssysteme, TU Wien, 2003.
8. T. Eiter, T. Lukasiewicz, R. Schindlauer, and H. Tompits. Well-founded Semantics for Description Logic Programs in the Semantic Web. In Proc. RuleML 2004, number 3323 in LNCS, pages 81-97. Springer, 2004.
9. W. Faber, N. Leone, C. Mateis, and G. Pfeifer. Using Database Optimization Techniques for Nonmonotonic Reasoning. In Proc. DDLP-99, pages 135-139. Prolog Association of Japan, September 1999.
10. D. Fensel, W. Wahlster, H. Lieberman, and J. Hendler, editors. Spinning the Semantic Web: Bringing the World Wide Web to Its Full Potential. MIT Press, 2002.
11. M. Gelfond and V. Lifschitz. Classical Negation in Logic Programs and Deductive Databases. New Generation Computing, 17:365-387, 1991.
12. V. Haarslev and R. Möller. RACER System Description. In Proc. UCAR 2001, volume 2083 of LNCS, pages 701-705, 2001.
13. I. Horrocks and P. F. Patel-Schneider. Reducing OWL Entailment to Description Logic Satisfiability. In Proc. ISWC 2003, volume 2870 of LNCS, pages 17-29, 2003.
14. I. Horrocks, P. F. Patel-Schneider, and F. van Harmelen. From SHIQ and RDF to OWL: The Making of a Web Ontology Language. Journal of Web Semantics, 1(1 ):7-26, 2003.
15. I. Horrocks, U. Sattler, and S. Tobies. Practical Reasoning for Expressive Description Logics. In Proc. LPAR 1999, volume 1705 of LNCS, pages 161-180, 1999.
16. N. Leone, G. Pfeifer, W. Faber, T. Eiter, G. Gottlob, S. Perri, and F. Scarcello. The DLV System for Knowledge Representation and Reasoning. ACM Transactions on Computational Logic, 2004. To appear.
17. A. Y. Levy and M.-C. Rousset. Combining Horn Rules and Description Logics in CARIN. Artif. Intell., 104(1-2): 165-209, 1998.
18. R. Rosati. Towards Expressive KR Systems Integrating Datalog and Description Logics: Preliminary Report. In Proc. DL-99, pages 160-164, 1999.
19. M. Trick. Graph Coloring Instances, 1994. http://mat.gsia.cmu.edu/COLOR/ instances.html.
20. A. Van Gelder, K. A. Ross, and J. S. Schlipf. The Well-Founded Semantics for General Logic Programs. Journal of the ACM, 38(3):620-650, 1991.
21. W3C. OWL Web Ontology Language Guide, 2003. W3C Proposed Recommendation 15December 2003. http://www.w3.org/TR/2003/PR-owl-guide-20031215/.
22. W3C. OWL Web Ontology Language Overview, 2004. W3C Recommendation 10 February 2004.www.w3.org/TR/2004/REC-owl-features-20040210/.
23. K. Wang, D. Billington, J. Blee, and G. Antoniou. Combining Description Logic and Defeasible Logic for the Semantic Web. In Proc. RuleML 2004, number 3323 in LNCS, pages 170-181. Springer, 2004.