Efficient OWL reasoning with logic programs - Evaluations

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

Volumn 4524 LNCS, Issue , 2007, Pages 370-373

  Rudolph, Sebastian ^a   Krötzsch, Markus ^a   Hitzler, Pascal ^a   Sintek, Michael ^b   Vrandecic, Denny ^a  

^a UNIVERSITY OF KARLSRUHE   (Germany)

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

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; FORMAL LOGIC; LOGIC PROGRAMMING;

EFFICIENCY EVALUATIONS; OWL REASONING;

CASE BASED REASONING;

EID: 38149066837     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-72982-2_34     Document Type: Conference Paper

References (8)

1. McGuinness, D.L., van Harmelen, F.: OWL web ontology language overview (February 2004) http://www.w3.org/TR/owl-features/
2. Motik, B.: Reasoning in Description Logics using Resolution and Deductive Databases. PhD thesis, Universität Karlsruhe (2006)
3. Hustadt, U., Motik, B., Sattler, U.: Data Complexity of Reasoning in Very Expressive Description Logics. In: Kaelbling, L.P., Saffiotti, A. (eds.) Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, pp. 466-471(2005)
4. Krötzsch, M., Rudolph, S., Hitzler, P.: On the complexity of Horn description logics. In: Grau, B.C., Hitzler, P., Shankey, C., Wallace, E. (eds.) Proceedings of the 2nd Workshop on OWL: Experiences and Directions. CEUR Workshop Proceedings, vol. 216 (November 2006)
5. Krötzsch, M., Hitzler, P., Vrandecic, D., Sintek, M.: How to reason with OWL in a logic programming system. In: Eiter, T., Franconi, E., Hodgson, R., Stephens, S. (eds.) Proceedings of the Second International Conference on Rules and Rule Markup Languages for the Semantic Web, RuleML2006, Athens, Georgia, pp. 17-26. IEEE Computer Society Press, Los Alamitos (2006)
6. Hitzler, P., Vrandecic, D.: Resolution-Based Approximate Reasoning for OWL DL. In: Gil, Y. (ed.) ISWC 2005. LNCS, vol. 3729, pp. 383-397. Springer, Heidelberg (2005)
7. Sakama, C., Inoue, K.: An alternative approach to the semantics of disjunctive logic programs and deductive databases. Journal of Automated Reasoning 13, 145-172 (1994)
8. Grau, B.C.: OWL 1.1 web ontology language tractable fragments (2004) http://owl1-1.cs.manchester.ac.uk/tractable.html