Can OWL and logic programming live together happily ever after?

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

Volumn 4273 LNCS, Issue , 2006, Pages 501-514

  Motik, Boris ^a   Horrocks, Ian ^a   Rosati, Riccardo ^b   Sattler, Ulrike ^a  

^a UNIVERSITY OF MANCHESTER   (United Kingdom)

^b SAPIENZA UNIVERSITY OF ROME   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; CONSTRAINT THEORY; HYBRID COMPUTERS; KNOWLEDGE BASED SYSTEMS; QUERY LANGUAGES; SEMANTICS; WORLD WIDE WEB;

CLOSED-WORLD QUERYING; INTEGRITY CONSTRAINTS; SEMANTIC WEB COMMUNITY; WEB ONTOLOGY LANGUAGE (OWL);

LOGIC PROGRAMMING;

EID: 33845431597     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11926078_36     Document Type: Conference Paper

References (23)

1. F. Baader, D. Calvanese, D. McGuinness, D. Nardi, and P. F. Patel-Schneider, editors. The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, January 2003.
2. D. Calvanese, G. De Giacomo, D. Lembo, M. Lenzerini, and R. Rosati. Epistemic First-Order Queries over Description Logic Knowledge Bases. In Proc. DL 2006, Lake District, UK, May 30-June 1 2006.
3. J. de Bruijn, H. Lausen, A. Polleres, and D. Fensel. The Web Service Modeling Language: An Overview. In Proc. ESWC2006, Budva, Serbia and Montenegro, June 11-14 2006. 590-604.
4. J. de Bruyn, A. Polleres, R. Lara, and D. Fensel, OWL DL vs. OWL Flight: Conceptual Modeling and Reasoning on the Semantic Web. In Proc. WWW2005, pages 623-632, Chiba, Japan, May 10-14 2005.
5. F. M. Donini, M. Lenzerini, D. Nardi, W. Nutt, and A. Schaerf. An Epistemic Operator for Description Logics. Artificial Intelligence, 100(1-2):225-274, 1998.
6. F. M. Donini, M. Lenzerini, D. Nardi, and A. Schaerf. AL-log: Integrating Datalog and Description Logics. Journal of Intelligent Information Systems, 10(3), 1998.
7. F. M. Donini, D. Nardi, and R. Rosati. Description Logics of Minimal Knowledge and Negation as Failure. ACM Transactions on Computational Logic, 3(2):177-225, 2002.
8. 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, Whistler, Canada, June 2-5, 2004 2004.
9. M. Gelfond and V. Lifschitz. The Stable Model Semantics for Logic Programming. In Proc. ICLP '88, pages 1070-1080, Seattle, WA, USA, August 15-19 1988.
10. M. Gelfond and V. Lifschitz. Classical Negation in Logic Programs and Disjunctive Databases. New Generation Computing, 9(3-4):365-386, 1991.
11. B. N. Grospf, I. Horrocks, R. Volz, and S. Decker. Description Logic Programs: Combining Logic Programs with Description Logic. In Proc. WWW 2003, pages 48-57, Budapest, Hungary, May 20-24 2003.
12. I. Horrocks, B. Parsia, P. F. Patel-Schneider, and J. Hendler. Semantic web architecture: Stack or two towers? In Proc. PPSWR 2005, pages 37-41, Dagstuhl Castle, Germany, September 11-16 2005.
13. I. Horrocks and P. F. Patel-Schneider. A Proposal for an OWL Rules Language. In Proc. WWW 2004, pages 723-731, New York, NY, USA, May 17-22 2004.
14. M. Kifer, J. de Bruijn, H. Boley, and D. Fensel. A Realistic Architecture for the Semantic Web. In Proc. RuleML 2005, pages 17-29, Galway, Ireland, 2005.
15. M. Kifer, G. Lausen, and J. Wu. Logical foundations of object-oriented and frame-based languages. Journal of the ACM, 42(4):741-843, 1995.
16. O. Kutz, I. Horrocks, and U. Sattler. The Even More Irresistible SROIQ. In Proc. KR 2006, Lake District, UK, June 2-5 2006. 57-67.
17. A. Y. Levy and M.-C. Rousset. Combining Horn Rules and Description Logics in CARIN. Artificial Intelligence, 104(1-2):165-209, 1998.
18. V. Lifschitz. Nonmonotonic Databases and Epistemic Queries. In Proc. IJCAI '91, pages 381-386, Sydney, Australia, August 24-30 1991.
19. B. Motik and R. Rosati. Closing Semantic Web Ontologies. Technical report, University of Manchester, UK, 2006. http://www.cs.man.ac.uk/~bmotik/ publications/papers/mr06closing-report.pdf.
20. B. Motik, U. Sattler, and R. Studer. Query Answering for OWL-DL with rules. Journal of Web Semantics, 3(1):41-60, 2005.
21. R. Reiter. A Logic for Default Reasoning. Artificial Intelligence, 13(1-2), 1980.
22. R. Reiter. What Should a Database Know? Journal of Logic Programming, 14 (1-2):127-153, 1992.
23. R. Rosati. Dℒ + log: A Tight Integration of Description Logics and Disjunctive Datalog. In Proc. KR 2006, pages 68-78, Lake District, UK, June 2-5 2006.