Réflexion sur les restrictions
La question porte sur la définition précise d'une restriction OWL.
Exemple "small Solar System bodies" a la représentation AMR suivante :
(b / body
:mod (s3 / small)
:part-of (s4 / system
:name (n / name
:op1 "Solar"
:op2 "System"))))))
d'où l'on peut extraire les factoïdes (assertions élémentaires) suivantes : :solar-system a owl:individual ; a :system .
body a rdfs:Class .
small-body a rdfs:Class ; rdfs:subClassOf :body .
:solar-system-small-body a rdfs:Class ; rdfs:subClassOf [ a owl:Restriction ; owl:onProperty :part-of ; owl:hasValue :solar-system ] .
Question sur la valeur donnée pour "owl:hasValue" : cette valeur doit-elle être une classe, un individu, ou peut-elle être les deux ? A vérifier dans la documentation.
Edited by Aurélien Lamercerie