Select Git revision
SolarSystemProd_factoid_4.ttl
Aurélien Lamercerie authored
SolarSystemProd_factoid_4.ttl 10.97 KiB
@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