Well-founded semantics for description logic programs in the semantic web

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

Volumn 3323 LNCS, Issue , 2004, Pages 81-97

  Eiter, Thomas ^a   Lukasiewicz, Thomas ^a,b   Schindlauer, Roman ^a   Tompits, Hans ^a  

^a VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

^b SAPIENZA UNIVERSITY OF ROME   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ANSWER SET SEMANTICS; COMPLEXITY RESULTS; DESCRIPTION LOGIC; DESCRIPTION LOGIC PROGRAMS; FINITE SET; KNOWLEDGE BASE; SEMANTIC PROPERTIES; WEB ONTOLOGY LANGUAGE; WELL FOUNDED SEMANTICS; ONTOLOGY LANGUAGE; PARTIAL MODELING;

COMPUTER PROGRAMMING LANGUAGES; DATA DESCRIPTION; KNOWLEDGE BASED SYSTEMS; LINGUISTICS; LOGIC PROGRAMMING; MARKUP LANGUAGES; ONTOLOGY; SEMANTIC WEB; SET THEORY; COMPUTATIONAL LINGUISTICS; FORMAL LANGUAGES;

SEMANTICS; SEMANTIC WEB;

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

References (35)

1. G. Alsaç and C. Baral. Reasoning in description logics using declarative logic programming. Tech. report, Computer Science and Engineering Dept., Arizona State University, 2001.
2. G. Antoniou. Nonmonotonic rule systems on top of ontology layers. In Proc. ISWC-2002, LNCS 2342, pp. 394-398, 2002.
3. G. Antoniou and G. Wagner. Rules and defeasible reasoning on the Semantic Web. In Proc. RuleML-2003, LNCS 2876, pp. 111-120, 2003.
4. F. Baader and B. Hollunder. Embedding defaults into terminological representation systems. J. Automated Reasoning, 14:149-180, 1995.
5. C. Baral and V. S. Subrahmanian. Dualities between alternative semantics for logic programming and nonmonotonic reasoning. J. Automated Reasoning, 10(3):399-420, 1993.
6. T. Berners-Lee. Weaving the Web. Harper, San Francisco, CA, 1999.
7. T. Berners-Lee, J. Hendler, and O. Lassila. The Semantic Web. Scientific American, 284(5):34-43, 2001.
8. H. Boley, S. Tabet, and G. Wagner. Design rationale for RuleML: A markup language for Semantic Web rules. In Proc. SWWS-2001, pp. 381-401, 2001.
9. G. Brewka. On the relationship between defeasible logic and well-founded semantics. In Proc. LPNMR-2001, LNCS 2713, pp. 121-132, 2001.
10. 4 Project, 2002. http://centria.di.fct.unl.pt/∼cd/projectos/w4/index.htm.
11. E. Dantsin, T. Eiter, G. Gottlob, and A. Voronkov. Complexity and expressive power of logic programming. ACM Computing Surveys, 33(3):374-425, 2001.
12. F. M. Donini, M. Lenzerini, D. Nardi, and A. Schaerf. AL-log: Integrating datalog and description logics. Journal of Intelligent Information Systems (JIIS), 10(3):227-252, 1998.
13. T. Eiter, T. Lukasiewicz, R. Schindlauer, and H. Tompits. Combining answer set programming with description logics for the Semantic Web. In Proc. KR-2004, pp. 141-151, 2004. Preliminary Report RR-1843-03-13, Institut für Informationssysteme, TU Wien, 2003.
14. D. Fensel, W. Wahlster, H. Lieberman, and J. Hendler, editors. Spinning the Semantic Web: Bringing the World Wide Web to Its Full Potential. MIT Press, 2002.
15. M. Gelfond and V. Lifschitz. Classical negation in logic programs and deductive databases. New Generation Computing, 17:365-387, 1991.
16. B. N. Grosof. Courteous logic programs: Prioritized conflict handling for rules. IBM Research Report RC 20836, IBM Research Division, T.J. Watson Research, 1997.
17. B. N. Grosof, I. Horrocks, R. Volz, and S. Decker. Description logic programs: Combining logic programs with description logics. In Proc. WWW-2003, pp. 48-57, 2003.
18. V. Haarslev and R. Möller. RACER system description. In Proc. IJCAR-2001, LNCS 2083, pp. 701-705, 2001.
19. I. Horrocks and P. F. Patel-Schneider. Reducing OWL entailment to description logic satisfiability. In Proc. ISWC-2003, LNCS 2870, pp. 17-29, 2003.
20. I. Horrocks and P. F. Patel-Schneider. A proposal for an OWL Rules Language. In Proc. WWW-2004, pp. 723-731, 2004.
21. I. Horrocks, P. F. Patel-Schneider, and F. van Harmelen. From SHIQ and RDF to OWL: The making of a web ontology language. Journal of Web Semantics, 1(1):7-26, 2003.
22. I. Horrocks, U. Sattler, and S. Tobies. Practical reasoning for expressive description logics. In Proc. LPAR-1999, LNCS 1705, pp. 161-180, 1999.
23. U. Hufstadt, B. Motik, and U. Sattler. Reasoning for description logics around SHIQ in a resolution framework. Technical Report 3-8-04/04, FZI Karlsruhe, 2004.
24. A.Y. Levy and M.-C. Rousset. Combining Horn rules and description logics in CARIN. Artif. Intell., 104(1-2):165-209, 1998.
25. M. J. Maher and G. Governatori. A semantic decomposition of defeasible logics. In Proc. AAAI/IAAI-1999, pp. 299-305, 1999.
26. W. May, B. Ludäscher, and G. Lausen. Well-founded semantics for deductive object-oriented database languages. In F. Bry, R. Ramakrishnan, and K. Ramamohanarao, editors, Proc. DOOD-1997, LNCS 1341, pp. 320-336, 1997.
27. I. Niemelä, P. Simons, and T. Syrjänen. Smodels: A system for answer set programming. In Proc. NMR-2000, 2000.
28. P. Rao, K. Sagonas, T. Swift, D. S. Warren, and J. Freire. XSB: A system for efficiently computing WFS. In Proc. LPNMR-1997, LNCS 1265, pp. 430-440, 1997.
29. R. Rosati. Towards expressive KR systems integrating datalog and description logics: Preliminary report. In Proc. DL-1999, pp. 160-164, 1999.
30. T. Swift. Deduction in ontologies via ASP. In Proc. LPNMR-2004, LNCS 2923, pp. 275-288, 2004.
31. S. Tobies. Complexity Results and Practical Algorithms for Logics in Knowledge Representation. PhD thesis, RWTH Aachen, Germany, 2001.
32. K. Van Belleghem, M. Denecker, and D. De Schreye. A strong correspondence between description logics and open logic programming. In Proc. ICLP-1997, pp. 346-360, 1997.
33. A.Van Gelder. The alternating fixpoint of logic programs with negation. In Proc. PODS-1989, pp. 1-10, 1989.
34. A. Van Gelder, K. A. Ross, and J. S. Schlipf. The well-founded semantics for general logic programs. Journal of the ACM, 38(3):620-650, 1991.
35. W3C. OWL web ontology language overview, 2004. W3C Recommendation (10 February 2004). Available at www.w3.org/TR/2004/REC-owl-features-20040210/.