@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 base: <https://reference.tetras-libre.fr/base-ontology#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix result: <https://reference.tetras-libre.fr/expected-result#> .
@base <http://www.w3.org/2002/07/owl#> .

[ rdf:type owl:Ontology
 ] .

#################################################################
#    Annotation properties
#################################################################

###  https://reference.tetras-libre.fr/base-ontology#fromStructure
base:fromStructure rdf:type owl:AnnotationProperty .


#################################################################
#    Object Properties
#################################################################

###  https://reference.tetras-libre.fr/base-ontology#Out_ObjectProperty
base:Out_ObjectProperty rdf:type owl:ObjectProperty .


###  https://reference.tetras-libre.fr/expected-result#hasCause
result:hasCause rdf:type owl:ObjectProperty ;
                rdfs:subPropertyOf base:Out_ObjectProperty ;
                rdfs:label "hasCause" ;
                base:fromStructure "predefinedProperty" .


###  https://reference.tetras-libre.fr/expected-result#hasFeature
result:hasFeature rdf:type owl:ObjectProperty ;
                  rdfs:subPropertyOf base:Out_ObjectProperty ;
                  rdfs:label "hasFeature" ;
                  base:fromStructure "predefinedProperty" .


###  https://reference.tetras-libre.fr/expected-result#hasSource
result:hasSource rdf:type owl:ObjectProperty ;
                 rdfs:subPropertyOf base:Out_ObjectProperty ;
                 rdfs:label "hasSource" ;
                 base:fromStructure "predefinedProperty" .


###  https://reference.tetras-libre.fr/expected-result#hasTarget
result:hasTarget rdf:type owl:ObjectProperty ;
                 rdfs:subPropertyOf base:Out_ObjectProperty ;
                 rdfs:label "hasTarget" ;
                 base:fromStructure "predefinedProperty" .


#################################################################
#    Data properties
#################################################################

###  https://reference.tetras-libre.fr/base-ontology#Out_DataProperty
base:Out_DataProperty rdf:type owl:DatatypeProperty .


###  https://reference.tetras-libre.fr/expected-result#hasTime
result:hasTime rdf:type owl:DatatypeProperty ;
               rdfs:subPropertyOf base:Out_DataProperty .


#################################################################
#    Classes
#################################################################

###  http://www.w3.org/2002/07/owl#Individual
owl:Individual rdf:type owl:Class .


###  https://reference.tetras-libre.fr/base-ontology#Entity
base:Entity rdf:type owl:Class .


###  https://reference.tetras-libre.fr/base-ontology#Event
base:Event rdf:type owl:Class .


###  https://reference.tetras-libre.fr/base-ontology#Feature
base:Feature rdf:type owl:Class .


###  https://reference.tetras-libre.fr/expected-result#cloud
result:cloud rdf:type owl:Class ;
             rdfs:subClassOf base:Entity ;
             rdfs:label "cloud" ;
             base:fromStructure "SolarSystem-04" .


###  https://reference.tetras-libre.fr/expected-result#collapse
result:collapse rdf:type owl:Class ;
                rdfs:subClassOf base:Event .


###  https://reference.tetras-libre.fr/expected-result#formation
result:formation rdf:type owl:Class ;
                 rdfs:subClassOf base:Event .


###  https://reference.tetras-libre.fr/expected-result#gravity
result:gravity rdf:type owl:Class ;
               rdfs:subClassOf base:Entity .


###  https://reference.tetras-libre.fr/expected-result#molecular-interstellar-giant-cloud
result:molecular-interstellar-giant-cloud rdf:type owl:Class ;
                                          rdfs:subClassOf result:cloud ,
                                                          [ rdf:type owl:Restriction ;
                                                            owl:onProperty result:hasFeature ;
                                                            owl:hasValue result:giant
                                                          ] ,
                                                          [ rdf:type owl:Restriction ;
                                                            owl:onProperty result:hasFeature ;
                                                            owl:hasValue result:interstellar
                                                          ] ,
                                                          [ rdf:type owl:Restriction ;
                                                            owl:onProperty result:hasFeature ;
                                                            owl:hasValue result:molecular
                                                          ] .


###  https://reference.tetras-libre.fr/expected-result#molecular-interstellar-giant-cloud-collapse
result:molecular-interstellar-giant-cloud-collapse rdf:type owl:Class ;
                                                   rdfs:subClassOf result:collapse ,
                                                                   [ rdf:type owl:Restriction ;
                                                                     owl:onProperty result:hasCause ;
                                                                     owl:hasValue result:gravity
                                                                   ] ,
                                                                   [ rdf:type owl:Restriction ;
                                                                     owl:onProperty result:hasTarget ;
                                                                     owl:hasValue result:molecular-interstellar-giant-cloud
                                                                   ] .


###  https://reference.tetras-libre.fr/expected-result#system
result:system rdf:type owl:Class ;
              rdfs:subClassOf base:Entity .


###  https://reference.tetras-libre.fr/expected-result#system-formation
result:system-formation rdf:type owl:Class ;
                        rdfs:subClassOf result:formation ,
                                        [ rdf:type owl:Restriction ;
                                          owl:onProperty result:hasSource ;
                                          owl:hasValue result:molecular-interstellar-giant-cloud-collapse
                                        ] ,
                                        [ rdf:type owl:Restriction ;
                                          owl:onProperty result:hasTarget ;
                                          owl:hasValue result:system
                                        ] ;
                        base:fromStructure "SolarSystem-04" .


#################################################################
#    Individuals
#################################################################

###  https://reference.tetras-libre.fr/expected-result#SolarSystem
result:SolarSystem rdf:type owl:NamedIndividual ,
                            owl:Individual ,
                            base:Entity ,
                            result:system ;
                   rdfs:label "SolarSystem" ;
                   base:fromStructure "SolarSystem-04" .


###  https://reference.tetras-libre.fr/expected-result#SolarSystem-formation
result:SolarSystem-formation rdf:type owl:NamedIndividual ,
                                      owl:Individual ,
                                      base:Event ,
                                      result:system-formation ;
                             result:hasSource result:collapse-SolarSystem-04 ;
                             result:hasTarget result:SolarSystem ;
                             result:hasTime "-4600000000 years" ;
                             rdfs:label "SolarSystem-formation" ;
                             base:fromStructure "SolarSystem-04" .


###  https://reference.tetras-libre.fr/expected-result#collapse-SolarSystem-04
result:collapse-SolarSystem-04 rdf:type owl:NamedIndividual ,
                                        owl:Individual ,
                                        base:Event ,
                                        result:molecular-interstellar-giant-cloud-collapse ;
                               result:hasCause result:gravity-SolarSystem-04 ;
                               result:hasTarget result:molecular-interstellar-giant-cloud ;
                               rdfs:label "collapse (SolarSystem-04)" ;
                               base:fromStructure "SolarSystem-04" .


###  https://reference.tetras-libre.fr/expected-result#giant
result:giant rdf:type owl:NamedIndividual ,
                      owl:Individual ,
                      base:Feature ;
             rdfs:label "giant" ;
             base:fromStructure "SolarSystem-04" .


###  https://reference.tetras-libre.fr/expected-result#gravity
result:gravity rdf:type owl:NamedIndividual .


###  https://reference.tetras-libre.fr/expected-result#gravity-SolarSystem-04
result:gravity-SolarSystem-04 rdf:type owl:NamedIndividual ,
                                       owl:Individual ,
                                       base:Entity ;
                              rdfs:label "gravity (SolarSystem-04)" ;
                              base:fromStructure "SolarSystem-04" .


###  https://reference.tetras-libre.fr/expected-result#interstellar
result:interstellar rdf:type owl:NamedIndividual ,
                             owl:Individual ,
                             base:Feature ;
                    rdfs:label "interstellar" ;
                    base:fromStructure "SolarSystem-04" .


###  https://reference.tetras-libre.fr/expected-result#molecular
result:molecular rdf:type owl:NamedIndividual ,
                          owl:Individual ,
                          base:Feature ;
                 rdfs:label "molecular" ;
                 base:fromStructure "SolarSystem-04" .


###  https://reference.tetras-libre.fr/expected-result#molecular-interstellar-giant-cloud
result:molecular-interstellar-giant-cloud rdf:type owl:NamedIndividual .


###  https://reference.tetras-libre.fr/expected-result#molecular-interstellar-giant-cloud-collapse
result:molecular-interstellar-giant-cloud-collapse rdf:type owl:NamedIndividual .


###  https://reference.tetras-libre.fr/expected-result#system
result:system rdf:type owl:NamedIndividual .


#################################################################
#    Annotations
#################################################################

result:gravity base:fromStructure "SolarSystem-04" ;
               rdfs:label "gravity" .


result:molecular-interstellar-giant-cloud base:fromStructure "SolarSystem-04" .


result:molecular-interstellar-giant-cloud-collapse base:fromStructure "SolarSystem-04" .


result:system base:fromStructure "SolarSystem-04" ;
              rdfs:label "system" .


###  Generated by the OWL API (version 4.5.9.2019-02-01T07:24:44Z) https://github.com/owlcs/owlapi