Role conjunctions in expressive description logics

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

Volumn 5330 LNAI, Issue , 2008, Pages 391-405

  Glimm, Birte ^a   Kazakov, Yevgeny ^a  

^a UNIVERSITY OF OXFORD   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

DESCRIPTION LOGICS; ROLE HIERARCHIES; STANDARD REASONINGS; SUBTLE INTERACTIONS;

ARTIFICIAL INTELLIGENCE; DATA DESCRIPTION; THEOREM PROVING;

COMPUTATIONAL COMPLEXITY;

EID: 58049112241     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-89439-1_28     Document Type: Conference Paper

References (14)

1. Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook. Cambridge University Press, Cambridge (2003)
2. Kazakov, Y.: RIQ and SROIQ are harder than SHOIQ. In: Proc. of the 11th Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR 2008). AAAI Press/The MIT Press (2008)
3. Glimm, B., Horrocks, I., Lutz, C., Sattler, U.: Conjunctive query answering for the description logic SHIQ. J. of Artificial Intelligence Research 31, 151-198 (2008)
4. Lange, M., Lutz, C: 2-ExpTime lower bounds for Propositional Dynamic Logics with intersection. J. of Symbolic Logic 70(5), 1072-1086 (2005)
5. Glimm, B., Kazakov, Y.: Role conjunctions in expressive description logics. Technical report, University of Oxford (2008), http://www.comlab.oxford. ac.uk//files/361/RoleConjunctions.pdf
6. Tobies, S.: Complexity Results and Practical Algorithms for Logics in Knowledge Representation. PhD thesis, RWTH Aachen (2001)
7. Schild, K.: A correspondence theory for terminological logics: preliminary report. In: Proc. of the 12th Int. Joint Conf. on Artificial Intelligence (IJCAI 1991) (1991)
8. Kazakov, Y., Motik, B.: A resolution-based decision procedure for SHOIQ. J. of Automated Reasoning 40(2-3), 89-116 (2008)
9. Hustadt, U., Motik, B., Sattler, U.: Reducing SHIQ Description Logic to Disjunctive Datalog Programs. In: Proc. of the 9th Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR 2004) (2004)
10. Sipser, M.: Introduction to the Theory of Computation, 2 edn. Course Technology (February 2005)
11. Chandra, A.K., Kozen, D.C., Stockmeyer, L.J.: Alternation. J. of the ACM 28(1), 114-133 (1981)
12. Tobies, S.: The complexity of reasoning with cardinality restrictions and nominals in expressive description logics. J. of Artificial Intelligence Research 12 (2000)
13. Börger, E., Grädel, E., Gurevich, Y.: The classical decision problem. J. of Logic, Language and Information 8(4), 478-481 (1999)
14. Lutz, C.: Inverse roles make conjunctive queries hard. In: Proc. of the 2007 Description Logic Workshop (DL 2007) (2007)