Abstract | ||
---|---|---|
Biomedical ontologies are typically structured in a biaxial way, reflecting both a taxonomic and a mereological order. Common examples such as the Gene Ontology and the Unified Medical Language System (UMLS) excel in terms of coverage but lack an adequate semantics of the mereological relations they incorporate. This shortcoming is particularly evident as far as the (non-)mandatory existence of parts for their wholes is cOllcerned, on the one hand, and the propagation of properties acmss part-whole hierarchies, on the other hand. We provide a formal specification of the semantic foundations of mereology in the biomedical domain that is closely linked to the paradigm of description logics. In essence, we here propose to emulate mereological reasoning by taxonomic reasoning. In an attempt to capture much of the shared intuition underlying merelogical reasoning in the biomedical domain, we distinguish for each mereologically relevant concept four different classes of parts and wholes which allow for the expression of five different propagation patterns. |
Year | Venue | Keywords |
---|---|---|
2004 | AAAI | mereological reasoning,mereological order,biomedical domain,gene ontology,biomedical ontology,different propagation pattern,taxonomic reasoning,merelogical reasoning,different class,mereological semantics,mereological relation,description logic,formal specification |
Field | DocType | ISBN |
Ontology (information science),Mereotopology,Open Biomedical Ontologies,Computer science,Mereology,Description logic,Formal specification,Natural language processing,Artificial intelligence,Unified Medical Language System,Semantics | Conference | 0-262-51183-5 |
Citations | PageRank | References |
1 | 0.37 | 10 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Udo Hahn | 1 | 88 | 11.14 |
Stefan Schulz | 2 | 1092 | 127.03 |
Kornél Markó | 3 | 38 | 3.58 |