Semantic web reasoning with conceptual logic programs

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

Volumn 3323 LNCS, Issue , 2004, Pages 113-127

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

^a VRIJE UNIVERSITEIT BRUSSEL   (Belgium)

Author keywords

[No Author keywords available]

Indexed keywords

ANSWER SET PROGRAMMING; LOGIC PROGRAMS; NEGATION AS FAILURES; ONTOLOGIES AND RULES; ONTOLOGY LANGUAGE; REASONERS; SET PROGRAMMING;

COMPUTER PROGRAMMING LANGUAGES; KNOWLEDGE REPRESENTATION; LINGUISTICS; LOGIC PROGRAMMING; MARKUP LANGUAGES; MULTI AGENT SYSTEMS; ONTOLOGY; QUERY LANGUAGES; SEMANTICS; COMPUTATIONAL LINGUISTICS; COMPUTER PROGRAMMING; SEMANTIC WEB;

SEMANTIC WEB; LOGIC PROGRAMMING;

EID: 77249091927     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-30504-0_9     Document Type: Conference Paper

References (31)

1. The Rule Markup Initiative. http://www.ruleml.org.
2. G. Alsaç and C. Baral. Reasoning in Description Logics using Declarative Logic Programming. http://www.public.asu.edu/∼guray/dlreasoning. pdf, 2002.
3. H. Andréka, I. Németi, and J. Van Benthem. Modal languages and bounded fragments of predicate logic. J. of Philosophical Logic, 27(3):217-274, 1998.
4. F. Baader, D. Calvanese, D. McGuinness, D. Nardi, and P. Patel-Schneider. The Description Logic Handbook. Cambridge University Press, 2003.
5. 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, 2004.
6. K.Van Belleghem, M. Denecker, and D. De Schreye. A Strong Correspondence between DLs and Open Logic Programming. In Proc. of ICLP'97, pages 346-360, 1997.
7. F. Bry and S. Schaffert. An Entailment Relation for Reasoning on the Web. In Proc. of Rules and Rule Markup Languages for the Semantic Web, LNCS, pages 17-34. Springer, 2003.
8. 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.
9. F. M. Donini, D. Nardi, and R. Rosati. Description Logics of Minimal Knowledge and Negation as Failure. ACM Trans. Comput. Logic, 3(2):177-225, 2002.
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. 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.
12. M. Gelfond and H. Przymusinska. Reasoning in Open Domains. In Logic Programming and Non-Monotonic Reasoning, pages 397-413. MIT Press, 1993.
13. B. N. Grosof, I. Horrocks, R. Volz, and S. Decker. Description Logic Programs: Combining Logic Programs with Description Logic. In Proc. of WWW 2003, pages 48-57, 2003.
14. S. Heymans, D. Van Nieuwenborgh, and D. Vermeir. Decidable Open Answer Set Programming. Technical report, Vrije Universiteit Brussel, Dept. of Computer Science, 2004.
15. S. Heymans and D. Vermeir. Integrating Description Logics and Answer Set Programming. In Proc. of PPSWR 2003, number 2901 in LNCS, pages 146-159. Springer, 2003.
16. S. Heymans and D. Vermeir. Integrating Ontology Languages and Answer set Programming. In Proc. of WebS'03, pages 584-588. IEEE Computer Society, 2003.
17. I. Horrocks and P. F. Patel-Schneider. A Proposal for an OWL Rules Language. In Proc. of the Thirteenth International World Wide Web Conference (WWW 2004). ACM, 2004.
18. I. Horrocks and U. Sattler. Ontology Reasoning in the SHOQ(D) Description Logic. In Proc. of IJCAI'01, pages 199-204. Morgan Kaufmann, 2001.
19. 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.
20. - Description Logic to Disjunctive Datalog Programs. FZI-Report 1-8-11/03, Forschungszentrum Informatik (FZI), 2003.
21. N. Leone, W. Faber, and G. Pfeifer. DLV homepage. http://www.dbai.tuwien. ac.at/proj/dlv/.
22. V. Lifschitz. Answer Set Programming and Plan Generation. AI, 138(1-2):39-54, 2002.
23. B. Motik, R. Volz, and A. Maedche. Optimizing Query Answering in Description Logics using disjunctive deductive databases. In Proc. of KRDB'03, pages 39-50, 2003.
24. R. Rosati. Towards Expressive KR Systems Integrating Datalog and Description Logics: Preliminary Report. In Proc. of DL'99, pages 160-164, 1999.
25. J. Schlipf. Some Remarks on Computability and Open Domain Semantics. In Proc. of the Worksh. on Struct. Complexity and Recursion-Theoretic Methods in Log. Prog., 1993.
26. M. Schmidt-Schaub and G. Smolka. Attributive Concept Descriptions with Complements. Artif. Intell., 48(1):1-26, 1991.
27. P. Simons. Smodels homepage. http://www.tcs.hut.fi/Software/smodels/.
28. T. Swift. Deduction in Ontologies via Answer Set Programming. In Vladimir Lifschitz and Ilkka Niemelä, editors, LPNMR, volume 2923 of LNCS, pages 275-288. Springer, 2004.
29. S. Tessaris. Querying expressive DLs. In Proc. of DL-2001, 2001.
30. M. Y. Vardi. Why is Modal Logic so Robustly Decidable? Technical report, 1997.
31. M. Y. Vardi. Reasoning about the Past with Two-Way Automata. In Proc. of ICALP '98, pages 628-641. Springer, 1998.