Nonmonotonic ontological and rule-based reasoning with extended conceptual logic programs

Lecture Notes in Computer Science

Volumn 3532, Issue , 2005, Pages 392-407

  Heymans, Stijn ^a   Van Nieuwenborgh, Davy ^a   Vermeir, Dirk ^a  

^a VRIJE UNIVERSITEIT BRUSSEL   (Belgium)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER HARDWARE DESCRIPTION LANGUAGES; LOGIC PROGRAMMING; SET THEORY; WORLD WIDE WEB;

DESCRIPTION LOGIC (DL); EXTENDED CONCEPTUAL LOGIC PROGRAMS (ECLPS); NONMONOTONIC REASONING; SEMANTIC WEBS;

SEMANTICS;

EID: 26444512164     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11431053_27     Document Type: Conference Paper

References (26)

1. The Rule Markup Initiative, http://www.ruleml.org.
2. G. Antoniou. A Nonmonotonic Rule System using Ontologies. CEUR Proceedings, 2002.
3. F. Baader, D. Calvanese, D. McGuinness, D. Nardi, and P. Patel-Schneider. The Description Logic Handbook. Cambridge University Press, 2003.
4. F. Baader and U. Sattler. Number Restrictions on Complex Roles in Description logics. In Proc. of KR-96, pages 328-339, 1996.
5. C. Baral. Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge Press, 2003.
6. S. Bechhofer, C. Goble, and I. Horrocks. DAML+OIL is not Enough. In Proc. of the First Semantic Web Working Symposium (SWWS'01), pages 151-159. CEUR, 2001.
7. 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.
8. A. Borgida. On the Relative Expressiveness of Description Logics and Predicate Logics. Artificial Intelligence, 82(1-2):353-367, 1996.
9. E. Dantsin, T. Eiter, G. Gottlob, and A. Voronkov. Complexity and Expressive Power of Logic Programming. ACM Comput. Surv., 33(3):374-425, 2001.
10. 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.
11. 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.
12. E.J. Friendman-Hill. Jess homepage. http://herzberg.ca.sandia.gov/jess/.
13. 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.
14. C. Golbreich. Combining Rule and Ontology Reasoners for the Semantic Web. In Proc. of RuleML 2004, number 3323 in LNCS, pages 6-22. Springer, 2004.
15. B. N. Grosof and T. C. Poon. SweetDeal: Representing Agent Contracts with Exceptions using XML Rules, Ontologies, and Process Descriptions. In Proc. of WWW 2003, pages 340-349. ACM Press, 2003.
16. V. Haarslev and R. Moller. Description of the RACER System and its Applications. In Proc. of Description Logics 2001, 2001.
17. S. Heymans, D. Van Nieuwenborgh, and D. Vermeir. Semantic Web Reasoning with Conceptual Logic Programs. In Proc. of RuleML 2004, number 3323 in LNCS, pages 113-127. Springer, 2004.
18. I. Horrocks and P. Patel-Schneider. Reducing OWL Entailment to Description Logic Satisfiability. J. of Web Semantics, 2004. To Appear.
19. I. Horrocks and P. F. Patel-Schneider. A Proposal for an OWL Rules Language. In Proc. of WWW 2004. ACM, 2004.
20. 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.
21. N. Leone, W. Faber, and G. Pfeifer. DLV homepage. http://www.dbai.tuwien. ac.at/proj/dlv/.
22. J. Mei, S. Liu, A. Yue, and Z. Lin. An Extension to OWL with General Rules. In Proc. of RuleML 2004, number 3323 in LNCS, pages 6-22. Springer, 2004.
23. Boris Motik, Ulrike Sattler, and Rudi Studer. Query Answering for OWL-DL with Rules. In Proc. of ISWC 2004, number 3298 in LNCS, pages 549-563. Springer, 2004.
24. D. Nute. Defeasible Logic. In D. M. Gabbay, C. J. Hogger, and J. A. Robinson, editors, Handbook of Logic in Artificial Intelligence and Logic Programming (Vol. 3), pages 353-395. Clarendon Press, 1994.
25. P. Simons. Smodels homepage. http://www.tcs.hut.fi/Software/smodels/.
26. M. Smith, C. Welty, and D. McGuinness. OWL Web Ontology Language Guide. http://www.w3.org/TR/owl-guide/, 2004.