Skip to content
Snippets Groups Projects
Commit 3c4cf3c0 authored by Aurélien Lamercerie's avatar Aurélien Lamercerie
Browse files

Minor update

parent b54acbda
Branches
No related tags found
No related merge requests found
...@@ -16,7 +16,7 @@ ...@@ -16,7 +16,7 @@
a owl:ObjectProperty ; a owl:ObjectProperty ;
owl:inverseOf :part-of . owl:inverseOf :part-of .
:manner a owl:ObjectProperty . :manner a owl:DatatypeProperty .
# ::comment "The Solar System is the gravitationally bound system ..." # ::comment "The Solar System is the gravitationally bound system ..."
...@@ -98,15 +98,18 @@ ...@@ -98,15 +98,18 @@
:direct-orbit a owl:ObjectProperty ; :direct-orbit a owl:ObjectProperty ;
rdfs:subPropertyOf :orbit ; rdfs:subPropertyOf :orbit ;
:manner :direct . :manner "direct" .
:indirect-orbit a owl:ObjectProperty ; :indirect-orbit a owl:ObjectProperty ;
rdfs:subPropertyOf :orbit ; rdfs:subPropertyOf :orbit ;
:manner :indirect . :manner "not-direct" .
:direct a owl:ObjectProperty . [ rdf:type owl:Restriction ;
owl:onProperty :manner ;
:indirect owl:hasValue "direct" ;
a owl:ObjectProperty ; owl:disjointWith [ rdf:type owl:Restriction ;
owl:inverseOf :part-of . owl:onProperty :manner ;
owl:hasValue "not-direct"
]
] .
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment