FMA & HMTP Portal in OWL - HAL - LIRMM - CNRS
FMA & HMTP Portal in OWL - HAL - LIRMM - CNRS
FMA & HMTP Portal in OWL - HAL - LIRMM - CNRS
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
4. SubClassOf(:<strong>FMA</strong>delimitation publish<strong>in</strong>g:Association>)<br />
5. SubClassOf(:<strong>FMA</strong>delimitation ObjectAllValuesFrom(:<strong>FMA</strong>delimite<br />
:<strong>FMA</strong>entity))<br />
6. SubClassOf(:<strong>FMA</strong>delimitation ObjectAllValuesFrom(:<strong>FMA</strong>estDelimitePar<br />
:<strong>FMA</strong>entity))<br />
7. SubClassOf(:<strong>FMA</strong>delimitation ObjectM<strong>in</strong>Card<strong>in</strong>ality(1 :<strong>FMA</strong>delimite))<br />
8. SubClassOf(:<strong>FMA</strong>delimitation ObjectM<strong>in</strong>Card<strong>in</strong>ality(1<br />
:<strong>FMA</strong>estDelimitePar))<br />
----------------- Object Properties ----------------<br />
9. Declaration(ObjectProperty(:<strong>FMA</strong>delimite))<br />
10. ObjectPropertyDoma<strong>in</strong>(:<strong>FMA</strong>delimite :<strong>FMA</strong>entity)<br />
11. ObjectPropertyRange(:<strong>FMA</strong>delimite :<strong>FMA</strong>entity)<br />
12. Declaration(ObjectProperty(:<strong>FMA</strong>estDelimitePar)), etc.<br />
----------------- Individuals ----------------<br />
13. ClassAssertion(:<strong>FMA</strong>Entity :<strong>FMA</strong>_7088))<br />
14. AnnotationAssertion(rdfs:label :<strong>FMA</strong>_7088 "Coeur"@fr)<br />
15. AnnotationAssertion(rdfs:label :<strong>FMA</strong>_7088 "Heart"@en)<br />
16. ClassAssertion(:<strong>FMA</strong>delimitation :<strong>FMA</strong>_bounded_by~<strong>FMA</strong>_7088-<strong>FMA</strong>_7167)<br />
17. ObjectPropertyAssertion(:<strong>FMA</strong>delimite :<strong>FMA</strong>_bounded_by~<strong>FMA</strong>_7088-<strong>FMA</strong>_7167<br />
:<strong>FMA</strong>_7088)<br />
18. ObjectPropertyAssertion(:<strong>FMA</strong>estDelimitePar :<strong>FMA</strong>_bounded_by~<strong>FMA</strong>_7088-<br />
<strong>FMA</strong>_7167 :<strong>FMA</strong>_7167)<br />
19. ClassAssertion(publish<strong>in</strong>g:BT-NT :<strong>FMA</strong>_BTNT~55209)<br />
20. ObjectPropertyAssertion(publish<strong>in</strong>g:NT :<strong>FMA</strong>_7088)<br />
21. ObjectPropertyAssertion(publish<strong>in</strong>g:BT :<strong>FMA</strong>_55673)<br />
The transformation of the <strong>OWL</strong> 2 ontology <strong>FMA</strong>-<strong>OWL</strong> <strong>in</strong>to the term<strong>in</strong>ology<br />
<strong>FMA</strong>-TERM is relatively straightforward. <strong>FMA</strong>-<strong>OWL</strong> classes are mapped to <strong>OWL</strong><br />
<strong>in</strong>dividuals represent<strong>in</strong>g terms <strong>in</strong> <strong>FMA</strong>-TERM, object properties are transformed <strong>in</strong>to<br />
Association classes, SubClassOf(fma:A fma:B) axioms <strong>in</strong>to BT-NT<br />
<strong>in</strong>dividual assertions, SubClassOf(fma:A ObjectSomeValuesFrom(fma:R<br />
fma:B)) axiom <strong>in</strong>to an <strong>in</strong>dividual and two object property assertions, <strong>FMA</strong>-<strong>OWL</strong><br />
preferred-name annotations <strong>in</strong>to labels, other annotations <strong>in</strong>to datatypes. The IRI of<br />
the <strong>in</strong>dividuals are obta<strong>in</strong>ed from the <strong>FMA</strong>ID of the <strong>FMA</strong>-<strong>OWL</strong> class. More<br />
precisely, each <strong>FMA</strong>-<strong>OWL</strong> class, e.g.; Heart, is mapped to an <strong>in</strong>dividual of the<br />
Descriptor subclass <strong>FMA</strong>Entity (#13 Table 2), which IRI<br />
(http://www.chu-rouen.fr/smts#<strong>FMA</strong>_7088) is created from its <strong>FMA</strong>ID<br />
(7088). Object properties R, e.g; bounded_by, venous_dra<strong>in</strong>age,<br />
<strong>in</strong>nervation etc., are transformed <strong>in</strong>to Association subclasses (named <strong>FMA</strong>R)<br />
and two object properties with SubClassOf(A ObjectAllValuesFrom(R<br />
B)) and card<strong>in</strong>ality restrictions axioms specified <strong>in</strong> UMV1 <strong>FMA</strong>. For example,<br />
bounded_by is mapped to <strong>FMA</strong>delimitation (#1) subclass of<br />
Association (#4) and two object properties delimite and<br />
estDelimitéPar (#9-#12) are created with value restrictions (#5-6-7-8).<br />
The SubClassOf(fma:Organ_With_Cavitated_Organ_Parts fma:Heart) axiom<br />
is transformed <strong>in</strong>to the <strong>in</strong>dividual <strong>FMA</strong>_BTNT~55209 (#19) and the property<br />
assertions (#20-21), while SubClassOf(fma:A ObjectSomeValuesFrom(fma:R<br />
fma:B)) <strong>in</strong>to a class assertion (#16) and two object property assertions (#17-18).<br />
13