Tractable extensions of the description logic ε ℓ with numerical datatypes

Journal of Automated Reasoning

Volumn 47, Issue 4, 2011, Pages 427-450

  Magka, Despoina ^a   Kazakov, Yevgeny ^a   Horrocks, Ian ^a  

^a UNIVERSITY OF OXFORD   (United Kingdom)

Author keywords

Computational complexity; Datatypes; Description logic

Indexed keywords

COMPLETE CLASSIFICATION; COMPLEXITY ANALYSIS; CONVEXITY PROPERTIES; DATA TYPE; DATATYPES; DESCRIPTION LOGIC; NATURAL NUMBER; POLYNOMIAL-TIME; REASONING ALGORITHMS; REASONING PROBLEMS;

COMPUTABILITY AND DECIDABILITY; COMPUTATIONAL COMPLEXITY; FORMAL LANGUAGES; ONTOLOGY; POLYNOMIAL APPROXIMATION;

DATA DESCRIPTION;

EID: 83555166122     PISSN: 01687433     EISSN: 15730670     Source Type: Journal    
DOI: 10.1007/s10817-011-9235-0     Document Type: Conference Paper

References (12)

1. Baader, F.; Calvanese, D.; McGuinness, D.L.; Nardi, D.; Patel-Schneider, P.F.: The Description Logic Handbook: Theory, Implementation, and Applications, 2nd edn. Cambridge University Press, Cambridge (2007)
2. BC Grau I Horrocks B Motik B Parsia PF Patel-Schneider U Sattler 2008 OWL 2: the next step for OWL J. Web Semantics 6 4 309 322 10.1016/j.websem.2008.05. 001
3. Baader, F.; Brandt, S.; Lutz, C.: Pushing the ε ℓ envelope. In: IJCAI, pp. 364-369. Professional Book Center, London (2005)
4. Spackman, K.: Managing clinical terminology hierarchies using algorithmic calculation of subsumption: experience with SNOMED-RT. J. Am. Med. Inform. Assoc. (2000)
5. The Gene Ontology Consortium 2000 Gene ontology: tool for the unification of biology Nat. Genet. 25 25 29 10.1038/75556 (Pubitemid 30257031)
6. Motik, B.; Grau, B.C.; Horrocks, I.; Wu, Z.; Fokoue, A.; Lutz, C.: OWL 2 Web Ontology Language Profiles. http://www.w3.org/TR/owl2-profiles/ (27 October 2009)
7. Magka, D.; Kazakov, Y.; Horrocks, I.: Tractable extensions of the description logic ε ℓ with numerical datatypes. In: Proc. of the Int. Joint Conf. on Automated Reasoning (IJCAR 2010), 16-19 July. LNAI, vol. 6173, pp. 61-75. Springer (2010)
8. Lutz, C.: Description logics with concrete domains-a survey. In: Advances in Modal Logic, pp. 265-296. King's College Publications, London (2002)
9. Haase, C.; Lutz, C.: Complexity of subsumption in the ε ℓ family of description logics: acyclic and cyclic Tboxes. In: ECAI, vol. 178, pp. 25-29. IOS Press, Amstderdam (2008)
10. Sofronie-Stokkermans, V.: Locality and subsumption testing in ε ℓ and some of its extensions. In: Advances in Modal Logic, pp. 315-339. College Publications, London (2008)
11. Baader, F.; Brandt, S.; Lutz, C.: Pushing the ε ℓ envelope further. In: Proceedings of the OWLED 2008 DC Workshop on OWL: Experiences and Directions (2008)
12. Kazakov, Y.: Consequence-driven reasoning for horn SHIQ ontologies. In: IJCAI, pp. 2040-2045 (2009)