Tous les cours de mathématiques sont enseignés par David ne (aucun autre chargé de cours doivent être impliqués) .`Comment exprimer la phrase suivante dans la syntaxe owl valide?
<owl:Class rdf:ID="Math">
<owl:Restriction>
<owl:onProperty uni:Resource="#isTaughtBy"/>
<owl:allValuesFrom uni:Resource="#9432"/>
</owl:Restriction>
</owl:Class>
le code ci-dessus semble invalide pourquoi je tente de tracer le graphique s'il vous plaît aider. Si quelqu'un se demande sur le # 9432 il se réfère à David
Avez-vous essayé de produire des exemples vous-même? – maniacalrobot
Vous voulez l'axiome ** MathClass ⊑ ∀isTaughtBy. {David} ⊓ is.isTaughtBy. {David} **. –