Part of the book series:Lecture Notes in Computer Science ((LNAI,volume 4130))
Included in the following conference series:
1210Accesses
Abstract
CEL (Classifier for\({\mathcal{E}{L}}\)) is a reasoner for the small description logic\({\mathcal{E}{L}}^+\) which can be used to compute the subsumption hierarchy induced by\({\mathcal{E}{L}}^+\) ontologies. The most distinguishing feature ofCEL is that, unlike all other modern DL reasoners, it is based on a polynomial-time subsumption algorithm, which allows it to process very large ontologies in reasonable time. In spite of its restricted expressive power,\({\mathcal{E}{L}}^+\) is well-suited for formulating life science ontologies.
This is a preview of subscription content,log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Baader, F., Brandt, S., Lutz, C.: Pushing the\(\mathcal{EL}\)envelope. In: IJCAI 2005, Edinburgh, UK, Morgan-Kaufmann Publishers, San Francisco (2005)
Baader, F., Lutz, C., Suntisrivaraporn, B.: Is tractable reasoning in extensions of the description logic\(\mathcal{EL}\) useful in practice. In: Proceedings of the 2005 International Workshop on Methods for Modalities (M4M 2005) (2005)
: The Gene Ontology Consortium. Gene Ontology: Tool for the unification of biology. Nature Genetics 25, 25–29 (2000)
Cote, R., Rothwell, D., Palotay, J., Beckett, R., Brochu, L.: The systematized nomenclature of human and veterinary medicine. Technical report, SNOMED International, Northfield, IL: College of American Pathologists (1993)
Rector, A., Horrocks, I.: Experience building a large, re-usable medical ontology using a description logic with transitivity and concept inclusions. In: Proceedings of the Workshop on Ontological Engineering, AAAI Spring Symposium (AAAI 1997), Stanford, CA, AAAI Press, Menlo Park (1997)
Author information
Authors and Affiliations
Theoretical Computer Science, TU Dresden, Germany
Franz Baader, Carsten Lutz & Boontawee Suntisrivaraporn
- Franz Baader
You can also search for this author inPubMed Google Scholar
- Carsten Lutz
You can also search for this author inPubMed Google Scholar
- Boontawee Suntisrivaraporn
You can also search for this author inPubMed Google Scholar
Editor information
Editors and Affiliations
Department of Computer Science, Artificial Intelligence Research Group, University of Koblenz-Landau, Universitätsstr. 1, 56070, Koblenz
Ulrich Furbach
SRI International, MS EL256,, 333 Ravenswood Avenue, 94025-3493, Menlo Park, CA, USA
Natarajan Shankar
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Baader, F., Lutz, C., Suntisrivaraporn, B. (2006).CEL — A Polynomial-Time Reasoner for Life Science Ontologies. In: Furbach, U., Shankar, N. (eds) Automated Reasoning. IJCAR 2006. Lecture Notes in Computer Science(), vol 4130. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11814771_25
Download citation
Publisher Name:Springer, Berlin, Heidelberg
Print ISBN:978-3-540-37187-8
Online ISBN:978-3-540-37188-5
eBook Packages:Computer ScienceComputer Science (R0)
Share this paper
Anyone you share the following link with will be able to read this content:
Sorry, a shareable link is not currently available for this article.
Provided by the Springer Nature SharedIt content-sharing initiative