Tractable extensions of the description logic EL with numerical datatypes

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

Volumn 6173 LNAI, Issue , 2010, Pages 61-75

  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;

AUTOMATA THEORY; COMPUTABILITY AND DECIDABILITY; COMPUTATIONAL COMPLEXITY; ONTOLOGY; POLYNOMIAL APPROXIMATION; PROBLEM SOLVING;

DATA DESCRIPTION;

EID: 77955252690     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-14203-1_6     Document Type: Conference Paper

References (11)

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. Grau, B.C., Horrocks, I., Motik, B., Parsia, B., Patel-Schneider, P.F., Sattler, U.: OWL 2: The next step for OWL. J. Web Sem. 6(4), 309-322 (2008)
3. Baader, F., Brandt, S., Lutz, C.: Pushing the ℰℒ Envelope. In: IJCAI, pp. 364-369. Professional Book Center (2005)
4. Cote, R., Rothwell, D., Palotay, J., Beckett, R., Brochu, L.: The systematized nomenclature of human and veterinary medicine. Technical report, Northfield, IL: College of American Pathologists (1993)
5. The Gene Ontology Consortium: Gene Ontology: Tool for the unification of biology. Nature Genetics 25, 25-29 (2000)
6. Magka, D.: Consequence-Based Datatype Reasoning in ℰℒ: Identifying the Tractable Fragments. Master's thesis, Oxford University Computing Laboratory (2009)
7. Lutz, C.: Description Logics with Concrete Domains-A Survey. In: Advances in Modal Logic, pp. 265-296. King's College Publications (2002)
8. Magka, D., Kazakov, Y., Horrocks, I.: Tractable Extensions of the Description Logic ℰℒ with Numerical Datatypes. Technical report, Oxford University Computing Laboratory (2010), posted on, http://web.comlab.ox. ac.uk/isg/people/despoina.magka/publications/reports/NDRTechnicalReport.pdf
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, Amsterdam (2008)
10. Baader, F., Brandt, S., Lutz, C.: Pushing the EL envelope further. In: Proceedings of the OWLED 2008 DC Workshop on OWL: Experiences and Directions (2008)
11. Kazakov, Y.: Consequence-driven Reasoning for Horn SHIQ Ontologies. In: IJCAI, pp. 2040-2045 (2009)