25.07.2013 Views

FMA & HMTP Portal in OWL - HAL - LIRMM - CNRS

FMA & HMTP Portal in OWL - HAL - LIRMM - CNRS

FMA & HMTP Portal in OWL - HAL - LIRMM - CNRS

SHOW MORE
SHOW LESS

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

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!