Complexity boundaries for horn description logics

Proceedings of the National Conference on Artificial Intelligence

Volumn 1, Issue , 2007, Pages 452-457

  Krötzsch, Markus ^a   Rudolph, Sebastian ^a   Hitzler, Pascal ^a  

^a UNIVERSITY OF KARLSRUHE   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; BOUNDARY CONDITIONS; COMPUTATIONAL COMPLEXITY;

COMPREHENSIVE ANALYSIS; NON-HORN COUNTERPARTS;

LOGIC PROGRAMMING;

EID: 36349031776     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (10)

1. Baader, F.; Brandt, S.; and Lutz, C. 2005. Pushing the EL envelope. In Proc. 19th Int. Joint Conf. on Artificial Intelligence (IJCAI-05). Edinburgh, UK: Morgan-Kaufmann Publishers.
2. Calvanese, D.; Giacomo, G. D.; Lembo, D.; Lenzerini, M.; and Rosati, R. 2005. DL-Lite: Tractable description logics for ontologies, In Veloso, M. M., and Kambhampati, S., eds., Proc. AAAI-05, Pittsburgh, Pennsylvania, USA, 602-607. AAAI Press AAAI Press / The MIT Press.
3. Chandra, A. K.; Kozen, D. C.; and Stockmeyer, L. J. 1981. Alternation. J. ACM 28(1): 114-133.
4. Grosof, B.; Horrocks, I.; Volz, R.; and Decker, S. 2003. Description logic programs: Combining logic programs with description logics. In Proc. of WWW 2003, Budapest, Hungary, May 2003, 48-57. ACM.
5. Horrocks, I.; Kutz, O.; and Sattler, U. 2006. The even more irresistible SROIQ. In Proc. of the 10th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR2006), 57-67. AAAI Press.
6. Hustadt, U.; Motik, B.; and Sattler, U. 2005. Data complexity of reasoning in very expressive description logics. In Proc. 18th Int. Joint Conf. on Artificial Intelligence (IJCAI05), 466-471. Edinburgh, UK: Morgan-Kaufmann Publishers.
7. Krötzsch, M.; Rudolph, S.; and Hitzler, P. 2006. On the complexity of Horn description logics. In Proc. 2nd Workshop OWL Experiences and Directions.
8. Krötzsch, M.; Rudolph, S.; and Hitzler, P. 2007. Complexity of Horn description logics. Technical report, Universität Karlsruhe (TH), Germany, Feb 2007.
9. Tobies, S. 2001. Complexity Results and Practical Algorithms for Logics in Knowledge Representation. Ph.D. Dissertation, RWTH Aachen, Germany.
10. Völkel, M.; Krötzsch, M.; Vrandečć, D.; Haller, H.; and Studer, R. 2006. Semantic Wikipedia. In Proc. of the 15th International WWW Conference.