Horn-SHIQ
From ONTOLORE
Horn-SHIQ is a fragment of OWL DL which is of polynomial data complexity.
Horn-SHIQ is supported by KAON2. A simple command line interface for Horn-SHIQ, e.g. for conversion into Prolog syntax, is provided as the KAON2 OWL Tool dlpconvert.
Resources
- dlpconvert as part of the KAON2 OWL Tools
Literature
- Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler, Complexity Boundaries for Horn Description Logics. In: Proceedings of the 22nd AAAI Conference on Artficial Intelligence. AAAI Press, Vancouver, British Columbia, Canada, 2007, pp. 452-457.
- Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler, On the Complexity of Horn Description Logics. In: Bernardo Cuenca Grau, Pascal Hitzler, Connor Shankey, Evan Wallace (eds.), Proceedings of the Second Workshop OWL - Experiences and Directions, OWLED2006, Athens, Georgia, November 2006. CEUR Workshop Proceedings Vol. 216. ISSN 1613-0073.
- Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler, Michael Sintek, Denny Vrandecic, Efficient OWL Reasoning with Logic Programs - Evaluations. In: Massimo Marchiori, Jeff Z. Pan, Christian de Sainte Marie (Eds.), Proceedings of the First International Conference on Web Reasoning and Rule Systems, RR2007, Innsbruck, Austria, June 2007. Springer Lecture Notes in Computer Science 4524, pp. 370-373. For the presentation of this paper we received the best poster award.
- Markus Krötzsch, Pascal Hitzler, Denny Vrandecic, Michael Sintek, How to reason with OWL in a logic programming system. In: In: Thomas Eiter, Enrico Franconi, Ralph Hodgson, Susie Stephens (eds.), Proceedings of the Second International Conference on Rules and Rule Markup Languages for the Semantic Web, RuleML2006, Athens, Georgia, November 2006, IEEE Computer Society, ISBN 0-7695-2652-7, 2006, pp. 17-26.
- See also the KAON2 website.
- up: <ask>Horn-SHIQ</ask>
- see also: W3C OWL
