maner as dataproperty and related axioms

data/SSC-01/SSC-01-01/SSC-01-01.owl.ttl

+@prefix : <https://tetras-libre.fr/mars/ssc#> .
+@prefix owl: <http://www.w3.org/2002/07/owl#> .
+@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
+@prefix xml: <http://www.w3.org/XML/1998/namespace> .
+@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
+@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
+@base <http://www.w3.org/2002/07/owl#> .
+
+[ rdf:type owl:Ontology
+ ] .
+
+#################################################################
+#    Object Properties
+#################################################################
+
+###  https://tetras-libre.fr/mars/ssc#bind
+:bind rdf:type owl:ObjectProperty ;
+      owl:inverseOf :bind-by .
+
+
+###  https://tetras-libre.fr/mars/ssc#bind-by
+:bind-by rdf:type owl:ObjectProperty .
+
+
+###  https://tetras-libre.fr/mars/ssc#direct-orbit
+:direct-orbit rdf:type owl:ObjectProperty ;
+              rdfs:subPropertyOf :orbit .
+
+
+###  https://tetras-libre.fr/mars/ssc#has-part
+:has-part rdf:type owl:ObjectProperty ;
+          owl:inverseOf :part-of .
+
+
+###  https://tetras-libre.fr/mars/ssc#not-direct-orbit
+:not-direct-orbit rdf:type owl:ObjectProperty ;
+                  rdfs:subPropertyOf :orbit .
+
+
+###  https://tetras-libre.fr/mars/ssc#orbit
+:orbit rdf:type owl:ObjectProperty .
+
+
+###  https://tetras-libre.fr/mars/ssc#part-of
+:part-of rdf:type owl:ObjectProperty .
+
+
+#################################################################
+#    Data properties
+#################################################################
+
+###  https://tetras-libre.fr/mars/ssc#manner
+:manner rdf:type owl:DatatypeProperty .
+
+
+#################################################################
+#    Classes
+#################################################################
+
+###  http://www.w3.org/2002/07/owl#individual
+owl:individual rdf:type owl:Class .
+
+
+###  http://www.w3.org/2002/07/owl#objectProperty
+owl:objectProperty rdf:type owl:Class .
+
+
+###  https://tetras-libre.fr/mars/ssc#gravitation
+:gravitation rdf:type owl:Class .
+
+
+###  https://tetras-libre.fr/mars/ssc#gravitationally-bound-system
+:gravitationally-bound-system rdf:type owl:Class ;
+                              rdfs:subClassOf :system ,
+                                              [ rdf:type owl:Restriction ;
+                                                owl:onProperty :bind-by ;
+                                                owl:hasValue :gravitation
+                                              ] .
+
+
+###  https://tetras-libre.fr/mars/ssc#object
+:object rdf:type owl:Class .
+
+
+###  https://tetras-libre.fr/mars/ssc#object-orbit-sun
+:object-orbit-sun rdf:type owl:Class ;
+                  rdfs:subClassOf :object ,
+                                  [ rdf:type owl:Restriction ;
+                                    owl:onProperty :orbit ;
+                                    owl:hasValue :sun
+                                  ] ,
+                                  [ rdf:type owl:Restriction ;
+                                    owl:onProperty :part-of ;
+                                    owl:hasValue :solar-system
+                                  ] .
+
+
+###  https://tetras-libre.fr/mars/ssc#object-orbit-sun-directly
+:object-orbit-sun-directly rdf:type owl:Class ;
+                           rdfs:subClassOf :object-orbit-sun ,
+                                           [ rdf:type owl:Restriction ;
+                                             owl:onProperty :direct-orbit ;
+                                             owl:hasValue :sun
+                                           ] .
+
+
+###  https://tetras-libre.fr/mars/ssc#object-orbit-sun-indirectly
+:object-orbit-sun-indirectly rdf:type owl:Class ;
+                             rdfs:subClassOf :object-orbit-sun ,
+                                             [ rdf:type owl:Restriction ;
+                                               owl:onProperty :not-direct-orbit ;
+                                               owl:hasValue :sun
+                                             ] .
+
+
+###  https://tetras-libre.fr/mars/ssc#system
+:system rdf:type owl:Class .
+
+
+#################################################################
+#    Individuals
+#################################################################
+
+###  https://tetras-libre.fr/mars/ssc#bind
+:bind rdf:type owl:NamedIndividual ,
+               owl:objectProperty .
+
+
+###  https://tetras-libre.fr/mars/ssc#direct-orbit
+:direct-orbit rdf:type owl:NamedIndividual ;
+              :manner "direct" .
+
+
+###  https://tetras-libre.fr/mars/ssc#gravitation
+:gravitation rdf:type owl:NamedIndividual .
+
+
+###  https://tetras-libre.fr/mars/ssc#not-direct-orbit
+:not-direct-orbit rdf:type owl:NamedIndividual ;
+                  :manner "not-direct" .
+
+
+###  https://tetras-libre.fr/mars/ssc#solar-system
+:solar-system rdf:type owl:NamedIndividual ,
+                       owl:individual ,
+                       :gravitationally-bound-system .
+
+
+###  https://tetras-libre.fr/mars/ssc#sun
+:sun rdf:type owl:NamedIndividual ,
+              owl:individual ;
+     :part-of :solar-system .
+
+
+#################################################################
+#    General axioms
+#################################################################
+
+[ rdf:type owl:Restriction ;
+  owl:onProperty :manner ;
+  owl:hasValue "direct" ;
+  owl:disjointWith [ rdf:type owl:Restriction ;
+                     owl:onProperty :manner ;
+                     owl:hasValue "not-direct"
+                   ]
+] .
+
+
+###  Generated by the OWL API (version 4.5.9.2019-02-01T07:24:44Z) https://github.com/owlcs/owlapi