Skip to main content
Springer Nature Link
Log in

CEL — A Polynomial-Time Reasoner for Life Science Ontologies

  • Conference paper
Automated Reasoning (IJCAR 2006)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 4130))

Included in the following conference series:

  • 1202 Accesses

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 of CEL 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.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Baader, F., Brandt, S., Lutz, C.: Pushing the \(\mathcal{EL}\)envelope. In: IJCAI 2005, Edinburgh, UK, Morgan-Kaufmann Publishers, San Francisco (2005)

    Google Scholar 

  2. 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)

    Google Scholar 

  3. : The Gene Ontology Consortium. Gene Ontology: Tool for the unification of biology. Nature Genetics 25, 25–29 (2000)

    Google Scholar 

  4. 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)

    Google Scholar 

  5. 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)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Theoretical Computer Science, TU Dresden, Germany

    Franz Baader, Carsten Lutz & Boontawee Suntisrivaraporn

Authors
  1. Franz Baader
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Carsten Lutz
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Boontawee Suntisrivaraporn
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science, Artificial Intelligence Research Group, University of Koblenz-Landau, Universitätsstr. 1, 56070, Koblenz

    Ulrich Furbach

  2. SRI International, MS EL256,, 333 Ravenswood Avenue, 94025-3493, Menlo Park, CA, USA

    Natarajan Shankar

Rights and permissions

Reprints 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

  • DOI: https://doi.org/10.1007/11814771_25

  • 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)

Publish with us

Policies and ethics

Search

Navigation