Debugging snomed ct using axiom pinpointing in the description logic EL+

CEUR Workshop Proceedings

Volumn 410, Issue , 2008, Pages 1-7

  Baader, Franz ^a   Suntisrivaraporn, Boontawee ^a  

^a DRESDEN UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

DESCRIPTION LOGIC; MEDICAL ONTOLOGY;

FORMAL LANGUAGES; KNOWLEDGE REPRESENTATION;

DATA DESCRIPTION;

EID: 69949128023     PISSN: 16130073     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (14)

1. F. Baader, D. Calvanese, D. McGuinness, D. Nardi, and P. F. Patel-Schneider, editors. The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, 2003.
2. I. Horrocks, P. F. P.Schneider, and F. van Harmelen. From SHIQ and RDF to OWL: The making of a web ontology language. Journal of Web Semantics, 1(1):7-26, 2003.
3. F. Baader, S. Brandt, and C. Lutz. Pushing the EL envelope. In Proc. IJCAI 2005.
4. F. Baader, C. Lutz, and B. Suntisrivaraporn. CEL-a polynomial-time reasoner for life science ontologies. In Proc. IJCAR 2006, Springer LNAI 4130, 2006.
5. B. Suntisrivaraporn. Module extraction and incremental classification: A pragmatic approach for EL+ ontologies. In Proc. ESWC 2008, Springer LNCS, 2008. To appear.
6. B. Suntisrivaraporn, F. Baader, S. Schulz, and K. Spackman. Replacing SEP-triplets in SNOMED CT using tractable description logic operators. In Proc. AIME 2007, Springer LNCS 4594, 2007.
7. U. Hahn S. Schulz, K. Mark. Spatial location and its relevance for terminological inferences in bio-ontologies. BMC Bioinformatics, 2007.
8. S. Schlobach and R. Cornet. Non-standard reasoning services for the debugging of description logic terminologies. In Proc. IJCAI 2003.
9. B. Parsia, E. Sirin, and A. Kalyanpur. Debugging OWL ontologies. In Proc. WWW 2005.
10. T. Meyer, K. Lee, R. Booth, and J. Z. Pan. Finding maximally satisfiable terminologies for the description logic ALC. In Proc. (AAAI 2006). AAAI Press/The MIT Press, 2006.
11. F. Baader, R. Peñaloza, and B. Suntisrivaraporn. Pinpointing in the description logic EL+. In Proc. KI 2007, Springer LNAI 4667, 2007.
12. S. Schulz, M. Romacker, and U. Hahn. Partwhole reasoning in medical ontologies revisited: Introducing SEP triplets into classification-based description logics. JAMIA, 1998.
13. K.A. Spackman. Managing clinical terminology hierarchies using algorithmic calculation of subsumption: Experience with SNOMED-RT. JAMIA, 2000. Fall Symposium Special Issue.
14. A. R. Bradley and Z. Manna. Checking safety by inductive generalization of counterexamples to induction. In Proc. FMCAD 2007.