On the complexity of horn description logics

CEUR Workshop Proceedings

Volumn 216, Issue , 2006, Pages

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

^a UNIVERSITY OF KARLSRUHE   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

DESCRIPTION LOGIC; KNOWLEDGE BASE;

BIRDS; FORMAL LANGUAGES; KNOWLEDGE BASED SYSTEMS;

DATA DESCRIPTION;

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

References (12)

1. McGuinness, D., v. Harmelen, F.: OWL Web Ontology Language Overview (2004) W3C Recommendation 10 Feb. 2004, http://www.w3.org/TR/owl-features/.
2. Baader, F., Brandt, S., Lutz, C.: Pushing the EL envelope. In: Proc. 19th Int. Joint Conf. on Artificial Intelligence (IJCAI-05), Edinburgh, UK, Morgan-Kaufmann Publishers (2005)
3. Calvanese, D., de Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: Tailoring OWL for data intensive ontologies. In: Proc. 1st Workshop OWL Experiences and Directions. (2005)
4. Horrocks, I., Sattler, U., Tobies, S.: Practical reasoning for very expressive description logics. Journal of the Interest Group in Pure and Applied Logic 8 (2000) 239-264
5. Hustadt, U., Motik, B., Sattler, U.: Data complexity of reasoning in very expressive description logics. In: Proc. 18th Int. Joint Conf. on Artificial Intelligence (IJCAI-05), Edinburgh, UK, Morgan-Kaufmann Publishers (2005) 466-471
6. Krötzsch, M., Hitzler, P., Vrandečić, D., Sintek, M.: How to reason with OWL in a logic programming system. In: Proc. 2nd Int. Conf. on Rules and Rule Markup Languages for the Semantic Web (RuleML 2006), Athens, Georgia, USA, Springer (2006)
7. Tobies, S.: Complexity Results and Practical Algorithms for Logics in Knowledge Representation. PhD thesis, RWTH Aachen, Germany (2001)
8. Motik, B.: Reasoning in Description Logics using Resolution and Deductive Databases. PhD thesis, Universität Karlsruhe (TH), Germany (2006)
9. Chandra, A.K., Kozen, D.C., Stockmeyer, L.J.: Alternation. J. ACM 28 (1981) 114-133
10. Lutz, C., Sattler, U.: Description logics (2005) Tutorial at the ICCL Summer School 2005, Dresden, Germany. Course material available online.
11. Baader, F.: Terminological cycles in a description logic with existential restrictions. In Gottlob, G., Walsh, T., eds.: Proc. 18th Int. Joint Conf. on Artificial Intelligence (IJCAI-03), Acapulco, Mexico, Morgan-Kaufmann Publishers (2003) 325-330
12. Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P., eds.: The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press (2003)