How to reason with OWL in a logic programming system

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

Volumn , Issue , 2006, Pages 17-26

  Krötzsch, Markus ^a   Hitzler, Pascal ^a   Vrandečić, Denny ^a   Sintek, Michael ^b  

^a UNIVERSITY OF KARLSRUHE   (Germany)

^b GERMAN RESEARCH CENTER FOR ARTIFICIAL INTELLIGENCE DFKI   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

INTEROPERABILITY; ONTOLOGY; QUERY PROCESSING; SEMANTICS; WEB SERVICES;

HORN LOGIC PROGRAMS; TRANSFORMATION LANGUAGE; WEB ONTOLOGY LANGUAGE;

LOGIC PROGRAMMING;

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

References (20)

1. J. Angele, H. Boley, J. de Bruijn, D. Fensel, P. Hitzler, M. Kifer, R. Krummenacher, H. Lausen, A. Polleres, and R. Studer. Web Rule Language (WRL). W3C Member Submission 09 Sept. 2005, http://www.w3.org/Submission/2885/SUBM-WRL- 28858989/, 2005.
2. T. Eiter, G. Ianni, R. Schindlauer, and H. Tompits. Effective integration of declarative rules with external evaluations for semantic-web reasoning. In Y. Sure and J. Domingue, editors, Proc. of Third European Semantic Web Conference (ESWC2004), Budva, Montenegro, June 2006, volume 4011 of Lecture Notes in Computer Science, pages 273-287. Springer, 2006.
3. T. Eiter, T. Lukasiewicz, R. Schindlauer, and H. Tompits. Combining answer set programming with description logics for the semantic web. In D. Dubois, C. A. Welty, and M.-A. Williams, editors, Proc. of Ninth Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR2004), Whistler, Canada, June 2004, pages 141-151. AAAI Press, 2004.
4. B. Grosof, I. Horroks, R. Volz, and S. Decker. Description logic programs: Combining logic programs with description logics. In Proc. of WWW 2003, Budapest, Hungary, May 2003, pages 48-57. ACM, 2003.
5. P. Hitzler, P. Haase, M. Krötzsch, Y. Sure, and R. Studer. DLP isn't so bad after all. In Proc. of the WS OWL - Experiences and Directions, Galway, Ireland, November 2005, 2005.
6. P. Hitzler, R. Studer, and Y. Sure. Description logic programs: A practical choice for the modelling of ontologies. In 1st WS on Formal Ontologies meet Industry, FOMI'05, 2005.
7. I. Horrocks, B. Parsia, P. Patel-Schneider, and J. Handler. Semantic web architecture: Stack or two towers? In F. Fages and S. Soliman, editors, Proc. of Principles and Practice of Semantic Web Reasoning. 3rd Int. WS, PPSWR 2005, Dagstuhl Castle, Germany, Sept. 2005, volume 3703 of Lecture Notes in Computer Science, pages 37-41. Springer, Berlin, 2005.
8. I. Horrocks, P. F. Patel-Schneider, H. Boley, S. Tabet, B. Grosof, and M. Dean. SWRL: A Semantic Web Rule Language combining OWL and RuleML. W3C Member Submission 21 May 2004, http://www.w3.org/ Submission/2004/SUBM-SWRL-20040521/, 2004.
9. U. Hustadt, B. Motik, and U. Sattler. Reducing SHIQ description logic to disjunctive datalog programs. In D. Dubois, C. A. Welty, and M.-A. Williams, editors, Proc. of the 9th Int. Conf. on Knowledge Representation and Reasoning (KR2004), pages 152-162, 2004.
10. U. Hustadt, B.Motik, and U. Sattler. Data complexity of reasoning in very expressive description logics. In Proc. 19th Int. Joint Conf. on Artificial Intelligence (IJCAI), pages 466-471, 2005.
11. M. Kifer, G. Lausen, and J. Wu. Logical foundations of object-oriented and frame-based languages. Journal of the Association for Computing Machinery, 42:741-843, 1995.
12. M. Krötzsch, S. Rudolph, and P. Hitzler. On the complexity of Horn description logics. Technical report, Institute AIFB, Universität Karlsruhe, 2006.
13. J.W.Lloyd. Foundations of Logic Programming. Springer, Berlin, 1988.
14. D. McGuinness and F. v. Harmelen. OWL Web Ontology Language Overview, 2004. W3C Recommendation 10 Feb. 2004, http://www.w3.org/TR/owl- features/.
15. B. Motik. Reasoning in Description Logics using Resolution and Deductive Databases. PhD thesis, Universität Karlsruhe (TH), Germany, 2006.
16. B. Motik, D. Vrandečić, P. Hitzler, Y. Sure, and R. Studer. dlpconvert - converting OWL DLP statements to logic programs. In European Semantic Web Conference 2005 Demos and Posters, May 2005. System available at http://owltools.ontoware.org/.
17. R. Rosati. DL+log: Tight integration of description logics and disjunctive datalog. In P. Doherty, J. Mylopoulos, and C. A. Welty, editors, Proc. of Tenth Int. Conf. on Principles of Knowledge Representation and Reasoning (KR2006), Lake District of the United Kingdom, June 2006, pages 68-78. AAAI Press, 2006.
18. J. S. Schlipf. The expressive powers of the logic programming semantics. Journal of Computer and System Sciences, 51:64-86, 1995.
19. M. Sintek and S. Decker. TRIPLE - A query, inference, and transformation language for the semantic web. In Proc. of the Int. Semantic Web Conf. (ISWC02), Sardinia, Italy, 2002.
20. R. Volz. Web Ontology Reasoning with Logic Databases. PhD thesis, Universität Karlsruhe (TH), Germany, 2004.