diff --git a/data/SSC-01/SSC-01-01/SSC-01-01.owl.ttl b/data/SSC-01/SSC-01-01/SSC-01-01.owl.ttl new file mode 100644 index 0000000000000000000000000000000000000000..a3415b164fe5a0bbdaa53f7bb84c015ba5d26d88 --- /dev/null +++ b/data/SSC-01/SSC-01-01/SSC-01-01.owl.ttl @@ -0,0 +1,169 @@ +@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