G-Hybrid knowledge bases

CEUR Workshop Proceedings

Volumn 196, Issue , 2006, Pages 39-54

  Heymans, Stijn ^a   Predoiu, Livia ^a   Feier, Cristina ^a   De Bruijn, Jos ^a   Van Nieuwenborgh, Davy ^b  

^a UNIVERSITY OF INNSBRUCK   (Austria)

^b VRIJE UNIVERSITEIT BRUSSEL   (Belgium)

Author keywords

[No Author keywords available]

Indexed keywords

ANSWER SET SEMANTICS; DESCRIPTION LOGIC; KNOWLEDGE BASE; KNOWLEDGE BASIS; LOGIC PROGRAMS; SATISFIABILITY CHECKING;

COMPUTABILITY AND DECIDABILITY; FORMAL LANGUAGES; KNOWLEDGE BASED SYSTEMS; LOGIC PROGRAMMING;

DATA DESCRIPTION;

EID: 84884318298     PISSN: 16130073     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Article

References (26)

1. The Rule Markup Initiative. http://www.ruleml.org
2. F. Baader, D. Calvanese, D. McGuinness, D. Nardi, and P. Patel-Schneider. The Description Logic Handbook. Cambridge University Press, 2003.
3. S. Bechhofer, F. van Harmelen, J. Hendler, I. Horrocks, D. L. McGuinness, P. F. Patel-Schneider, and L. A. Stein. OWL Web Ontology Language Reference. http://www.w3.org/TR/owl-ref/, 2004.
4. D. Calvanese, G. De Giacomo, and M. Lenzerini. Conjunctive Query Containment in Description Logics with n-ary Relations. In Proc. of the 1997 Description Logic Workshop (DL'97), pages 5-9, 1997.
5. F. M. Donini, M. Lenzerini, D. Nardi, and A. Schaerf. AL-log: Integrating Datalog and Description Logics. J. of Intell. and Cooperative Information Systems, 10:227-252, 1998.
6. T. Eiter, T. Lukasiewicz, R. Schindlauer, and H. Tompits. Combining Answer Set Programming with DLs for the Semantic Web. In Proc. of KR 2004, pages 141-151, 2004.
7. T. Eiter, T. Lukasiewicz, R. Schindlauer, and H. Tompits. Well-Founded Semantics for Description Logic Programs in the Semantic Web. In Proc. of RuleML 2004, number 3323 in LNCS, pages 81-97. Springer, 2004.
8. M. Gelfond and V. Lifschitz. The Stable Model Semantics for Logic Programming. In Proc. of ICLP'88, pages 1070-1080, Cambridge, Massachusetts, 1988. MIT Press
9. E. Gradel, C. Hirsch, and M. Otto. Back and Forth Between Guarded and Modal Logics. ACM Transactions on Computational Logic, 3:418-463, 2002.
10. E. Gradel and I. Walukiewicz. Guarded Fixed Point Logic. In Proc. of LICS '99, pages 45-54. IEEE Computer Society, 1999.
11. S. Heymans, D. Van Nieuwenborgh, and D. Vermeir. Conceptual logic programs. Annals of Mathematics and Artificial Intelligence (Special Issue on Answer Set Programming), 2006.
12. S. Heymans, D. Van Nieuwenborgh, D. Fensel, and D. Vermeir. Reasoning with the Description Logic DLRO?{"} using Bound Guarded Programs. In Proc. of Reasoning on the Web workshop (RoW 2006), Edinburgh, UK, 2006.
13. S. Heymans, D. Van Nieuwenborgh, and D. Vermeir. Guarded Open Answer Set Programming. In LPNMR 2005, number 3662 in LNAI, pages 92-104. Springer, 2005.
14. S. Heymans, D. Van Nieuwenborgh, and D. Vermeir. Nonmonotonic Ontological and Rule-Based Reasoning with Extended Conceptual Logic Programs. In Proc. of ESWC 2005, number 3532 in LNCS, pages 392-407. Springer, 2005.
15. I. Horrocks and P. Patel-Schneider. Reducing OWL Entailment to Description Logic Satisfiability. J. of Web Semantics, 2004. To Appear
16. I. Horrocks and P. F. Patel-Schneider. A Proposal for an OWL Rules Language. In Proc. of WWW 2004. ACM, 2004.
17. I. Horrocks, P. F. Schneider, H. Boley, S. Tabet, B. Grosof, and M. Dean. SWRL: A Semantic Web Rule language Combining OWL and RuleML, May 2004.
18. U. Hustadt, B. Motik, and U. Sattler. Reducing SHIQ? Description Logic to Disjunctive Datalog Programs. FZI-Report 1-8-11/03, Forschungszentrum Informatik (FZI), 2003.
19. A. Y. Levy and M. Rousset. CARIN: A Representation Language Combining Horn Rules and Description Logics. In Proc. of ECAI'96, pages 323-327, 1996.
20. V. Lifschitz. Answer Set Programming and Plan Generation. AI, 138(1-2):39-54, 2002.
21. V. Lifschitz, D. Pearce, and A. Valverde. Strongly Equivalent Logic Programs. ACM Transactions on Computational Logic, 2(4):526-541, 2001.
22. B. Motik, U. Sattler, and R. Studer. Query Answering for OWL-DL with Rules. In Proc. of ISWC 2004, number 3298 in LNCS, pages 549-563. Springer, 2004.
23. R. Rosati. On the decidability and complexity of integrating ontologies and rules. Web Semantics, 3(1):41-60, 2005.
24. R. Rosati. Semantic and computational advantages of the safe integration of ontologies and rules. In Proc. of the Third International Workshop on Principles and Practice of Semantic Web Reasoning (PPSWR 2005), volume 3703 of LNCS, pages 50-64. Springer, 2005.
25. R. Rosati. DL+log: Tight integration of description logics and disjunctive datalog. In Proc. of the Tenth International Conference on Principles of Knowledge Representation and Reasoning (KR 2006), pages 68-78. AAAI Press, 2006.
26. T. Swift. Deduction in Ontologies via Answer Set Programming. In Vladimir Lifschitz and Ilkka Niemela, editors, LPNMR, volume 2923 of LNCS, pages 275-288. Springer, 2004.