• Aucun résultat trouvé

DL Requirements from Medicine and Biology

N/A
N/A
Protected

Academic year: 2022

Partager "DL Requirements from Medicine and Biology"

Copied!
1
0
0

Texte intégral

(1)

DL Requirements from Medicine and Biology

Stefan Schulz, Department of Medical Informatics Freiburg University Hospital, Germany

stschulz@uni-freiburg.de

The need for semantically precise domain descriptions has given raise to an increasing num- ber of so-called bio-ontologies covering different fields of biology and medicine. Examples are the Foundational Model of Anatomy (FMA)[5], the Gene Ontology [3] and the Open Biological Ontologies [6]. There are several examples of the conversion of biomedical on- tologies into T-Boxes [2, 7, 1, 8] in order to enable terminological reasoning. The biomedical domain, however, exhibits certain peculiarities. Besides the generally large size of biomedi- cal terminology systems (10,000 - 100,000 concepts) the physical composition of organisms (anatomy, biological structure) plays an pivotal role which which may impact the performance of description logics implementations:

Part-Whole hierarchies constitute an important ordering principle.

Definitory cycles are common, e.g. Cell haspart.Cytoplasm and Cytoplasm partof.Cell.

Pairwise disjunction in taxonomies, e.g. Organ ¬T issue

Pairwise disjunction in partonomies, e.g. partof.T runk ¬∃ partof.Head

Role inclusion, e.g. r s r [4]

References

[1] R. Beck and S. Schulz. Logic-based remodeling of the digital anatomist foundational model. AMIA 2003 – Proc. of the 2003 Symposium of the American Medical Informatics Association, pages 687–691, 2003.

[2] A. Gangemi, D. M. Pisanelli, and G. Steve. An overview of the ONIONproject: Applying ontologies to the integration of medical terminologies. Data & Knowledge Engineering, 31(2):183–220, 1999.

[3] Gene Ontology Consortium. Creating the Gene Ontology resource: Design and implementation. Genome Research, 11(8):1425–1433, 2001.

[4] I. Horrocks and U. Sattler. The effect of adding complex role inclusion axioms in description logics. In IJCAI’03 – Proc. of the 18th International Joint Conference on Artificial Intelligence, pages 343–348, 2003.

[5] C. Rosse and J. L. V. Mejino. A reference ontology for bioinformatics: the Foundational Model of Anatomy.

Journal of Biomedical Informatics, 36:478–500, 2003.

[6] OBO. Open Biological Ontologies (OBO). http://obo.sourceforge.net/, 2004.

[7] S. Schulz and U. Hahn. Medical knowledge reengineering – converting major portions of the UMLSinto a terminological knowledge base. International Journal of Medical Informatics, 64(2/3):207–221, 2001.

[8] C. J. Wroe, R. Stevens, C. A. Goble, and M. Ashburner. A methodology to migrate the gene ontology to a de- scription logic environment using DAML+OIL. PSB 2003 – Proc. of the Pacific Symposium on Biocomputing 2003, pages 624–635, 2003.

Références

Documents relatifs

[r]

According to the previous rules, range restrictions of a template slot defined at metaclass are represented by universal property restrictions, while structural own slots with

Our intent is that the FMA should serve as a reference ontology for biomedical informatics 4 by furnishing a representation of anatomical entities and relationships necessary for

This paper categorizes the types of knowledge relevant to student learning in university-level courses in human anatomy, and then examines which types are supported by

Examples T-boxes are presented, and it is demonstrated how typical design errors can be detected by upper-level axioms, in particular disjoint class axioms, existential and

To link and integrate different Open Biological and Biomedical Ontologies (OBO) library ontologies, we generated an OLOBO on- tology that uses the Basic Formal

Using a manual audit, I identify types of inconsistencies arising from class and regional part relationships for regions of the body and the parts of

This have motivated us to develop an ontology enti- tled Imaging Biomarker Ontology (IBO) to formally define basic aspects related to the imaging biomarker concept.. IBO is founded