CEL - A polynomial-time reasoner for life science ontologies

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

Volumn 4130 LNAI, Issue , 2006, Pages 287-291

  Baader, Franz ^a   Lutz, Carsten ^a   Suntisrivaraporn, Boontawee ^a  

^a DRESDEN UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

DATA STRUCTURES; FORMAL LOGIC; HIERARCHICAL SYSTEMS; POLYNOMIAL APPROXIMATION;

CLASSIFIER FOR SCRIPT E SIGN L (CEL); DESCRIPTION LOGIC; LIFE SCIENCE ONTOLOGIES; POLYNOMIAL TIME REASONERS;

LOGIC PROGRAMMING;

EID: 33749547173     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11814771_25     Document Type: Conference Paper

References (5)

1. F. Baader, S. Brandt, and C. Lutz. Pushing the script E sign L envelope. In IJCAI-05, Edinburgh, UK, 2005. Morgan-Kaufmann Publishers.
2. F. Baader, C. Lutz, and B. Suntisrivaraporn. Is tractable reasoning in extensions of the description logic script E sign L useful in practice? In Proceedings of the 2005 International Workshop on Methods for Modalities (M4M-05), 2005.
3. The Gene Ontology Consortium. Gene Ontology: Tool for the unification of biology. Nature Genetics, 25:25-29, 2000.
4. R. Cote, D. Rothwell, J Palotay, R. Beckett, and L. Brochu. The systematized nomenclature of human and veterinary medicine. Technical report, SNOMED International, Northfield, IL: College of American Pathologists, 1993.
5. A. Rector and I. Horrocks. 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'97), Stanford, CA, 1997. AAAI Press.