The limits and possibilities of combining description logics and datalog

Proceedings - RuleML 2006: 2006 Second International Conference on Rules and Rule Markup Languages for the Semantic Web

Volumn , Issue , 2006, Pages 3-4

  Rosati, Riccardo ^a  

^a SAPIENZA UNIVERSITY OF ROME   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

KNOWLEDGE BASED SYSTEMS; LOGIC PROGRAMMING; ONTOLOGY; SEMANTIC WEB; SPECIFICATION LANGUAGES;

DATALOG; DESCRIPTION LOGICS;

WEB SERVICES;

EID: 38949111697     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/RULEML.2006.22     Document Type: Conference Paper

References (12)

1. Rule interchange format working group charter, http://www.w3.org/20 05/rules/wg/charter.
2. 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, 2003.
3. C. Baral and M. Gelfond. Logic programming and knowledge representation. J. of Logic Programming, 19-20:73148, 1994.
4. T. Eiter, G. Gottlob, and H. Mannilla. Disjunctive Datalog. ACM Trans. on Database Systems, 22(3):364-418, 1997.
5. T. Eiter, T. Lukasiewicz, R. Schindlauer, and H. Tompits. Combining answer set programming with description logics for the semantic web. In Proc. of the 9th Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR 2004), pages 141-151, 2004.
6. I. Horrocks and P. F. Patel-Schneider. A proposal for an OWL rules language. In Proc. of the 13th Int. World Wide Web Conf. (WWW 2004), pages 723-731, 2004.
7. A. Y. Levy and M.-C. Rousset. Combining Horn rules and description logics in CARIN. Artificial Intelligence, 104(1-2): 165-209, 1998.
8. B. Motik, U. Sattler, and R. Studer. Query answering for OWL-DL with rules. J. of Web Semantics, 3(1):41-60, 2005.
9. P. F. Patel-Schneider, P. J. Hayes, I. Horrocks, and F. van Harmelen. OWL web ontology language; semantics and abstract syntax. W3C candidate recommendation, http://www.w3.org/tr/owl-semantics/, november 2002.
10. R. Reiter. A logic for default reasoning. Artificial Intelligence, 13:81-132, 1980.
11. R. Rosati. On the decidability and complexity of integrating ontologies and rules. J. of Web Semantics, 3(1):61-73, 2005.
12. R. Rosati. DL+log: tight integration of Description Logics and disjunctive Datalog. In Proc. of the 10th Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR 2006), pages 68-78, 2006.