From 3c4cf3c0abdfa8b1a261c009e9cd0e028d990da7 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Aur=C3=A9lien=20Lamercerie?= <aurelien.lamercerie@tetras-libre.fr> Date: Wed, 13 Jul 2022 16:40:17 +0200 Subject: [PATCH] Minor update --- data/SSC-01/SSC-01-01/SSC-01-01.al.owl.ttl | 21 ++++++++++++--------- 1 file changed, 12 insertions(+), 9 deletions(-) diff --git a/data/SSC-01/SSC-01-01/SSC-01-01.al.owl.ttl b/data/SSC-01/SSC-01-01/SSC-01-01.al.owl.ttl index b3e2012..fc3297d 100644 --- a/data/SSC-01/SSC-01-01/SSC-01-01.al.owl.ttl +++ b/data/SSC-01/SSC-01-01/SSC-01-01.al.owl.ttl @@ -16,7 +16,7 @@ a owl:ObjectProperty ; owl:inverseOf :part-of . -:manner a owl:ObjectProperty . +:manner a owl:DatatypeProperty . # ::comment "The Solar System is the gravitationally bound system ..." @@ -98,15 +98,18 @@ :direct-orbit a owl:ObjectProperty ; rdfs:subPropertyOf :orbit ; - :manner :direct . + :manner "direct" . :indirect-orbit a owl:ObjectProperty ; rdfs:subPropertyOf :orbit ; - :manner :indirect . - -:direct a owl:ObjectProperty . - -:indirect - a owl:ObjectProperty ; - owl:inverseOf :part-of . + :manner "not-direct" . + +[ rdf:type owl:Restriction ; + owl:onProperty :manner ; + owl:hasValue "direct" ; + owl:disjointWith [ rdf:type owl:Restriction ; + owl:onProperty :manner ; + owl:hasValue "not-direct" + ] +] . -- GitLab