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 b3e2012e5e83c88d2f2003436b9ae28bb9b36ae2..fc3297dfdc0dd73565b549dc379fe77ef8e86cdc 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" + ] +] .