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

Updtae SolarSystem 2023-10-05: reference 3 to 8

parent 2b2d5aa8
Branches
No related tags found
No related merge requests found
Expand all Show whitespace changes
Inline Side-by-side
Showing
with 1123 additions and 517 deletions
SolarSystem-20231005/reference-ontology-definitions/SolarSystemProd_factoid_3.ttl
+ 13
− 0
View file @ 440fd629
...@@ -68,6 +68,19 @@ result:orbit rdf:type owl:ObjectProperty ; ...@@ -68,6 +68,19 @@ result:orbit rdf:type owl:ObjectProperty ;
base:fromStructure "SolarSystem-03" . base:fromStructure "SolarSystem-03" .
#################################################################
# 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#hasQuantity
result:hasQuantity rdf:type owl:DatatypeProperty ;
rdfs:subPropertyOf base:Out_DataProperty .
################################################################# #################################################################
# Classes # Classes
################################################################# #################################################################
......
SolarSystem-20231005/reference-ontology-definitions/SolarSystemProd_factoid_4.ttl
+ 258
− 89
View file @ 440fd629
@prefix base: <https://reference.tetras-libre.fr/base-ontology#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> . @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 rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix result: <https://reference.tetras-libre.fr/expected-result#> . @prefix result: <https://reference.tetras-libre.fr/expected-result#> .
@base <http://www.w3.org/2002/07/owl#> .
result:SolarSystem a owl:Individual, [ rdf:type owl:Ontology
base:Entity, ] .
result:system ;
rdfs:label "SolarSystem" ; #################################################################
base:fromStructure "SolarSystem-04" . # 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 .
result:before a owl:Class ;
rdfs:label "before" ;
rdfs:subClassOf base:Undetermined_Thing ;
base:fromStructure "SolarSystem-04" .
result:cause a owl:ObjectProperty ; ### https://reference.tetras-libre.fr/expected-result#hasCause
rdfs:label "cause" ; result:hasCause rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf base:Out_ObjectProperty ; rdfs:subPropertyOf base:Out_ObjectProperty ;
base:fromStructure "SolarSystem-04" . rdfs:label "hasCause" ;
base:fromStructure "predefinedProperty" .
result:collapse a owl:ObjectProperty ; ### https://reference.tetras-libre.fr/expected-result#hasFeature
rdfs:label "collapse" ; result:hasFeature rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf base:Out_ObjectProperty ; rdfs:subPropertyOf base:Out_ObjectProperty ;
base:fromStructure "SolarSystem-04" . rdfs:label "hasFeature" ;
base:fromStructure "predefinedProperty" .
result:form a owl:ObjectProperty ;
rdfs:label "form" ; ### https://reference.tetras-libre.fr/expected-result#hasSource
result:hasSource rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf base:Out_ObjectProperty ; rdfs:subPropertyOf base:Out_ObjectProperty ;
base:fromStructure "SolarSystem-04" . 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 .
result:gravity a owl:Class ;
rdfs:label "gravity" ; ### 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:subClassOf base:Entity ;
rdfs:label "cloud" ;
base:fromStructure "SolarSystem-04" . base:fromStructure "SolarSystem-04" .
result:molecular-interstellar-giant-cloud a owl:Class ;
rdfs:subClassOf [ a owl:Restriction ;
owl:hasValue result:giant ;
owl:onProperty result:hasFeature ],
[ a owl:Restriction ;
owl:hasValue result:interstellar ;
owl:onProperty result:hasFeature ],
[ a owl:Restriction ;
owl:hasValue result:molecular ;
owl:onProperty result:hasFeature ],
result:cloud ;
base:fromStructure "SolarSystem-04" .
result:now a owl:Class ; ### https://reference.tetras-libre.fr/expected-result#collapse
rdfs:label "now" ; result:collapse rdf:type owl:Class ;
rdfs:subClassOf base:Undetermined_Thing ; rdfs:subClassOf base:Event .
base:fromStructure "SolarSystem-04" .
### https://reference.tetras-libre.fr/expected-result#formation
result:formation rdf:type owl:Class ;
rdfs:subClassOf base:Event .
result:temporal-quantity a owl:Class ; ### https://reference.tetras-libre.fr/expected-result#gravity
rdfs:label "temporal-quantity" ; result:gravity rdf:type owl:Class ;
rdfs:subClassOf base:Undetermined_Thing ; 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" . base:fromStructure "SolarSystem-04" .
result:year a owl:ObjectProperty ;
rdfs:label "year" ; #################################################################
rdfs:subPropertyOf base:Out_ObjectProperty ; # 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" . base:fromStructure "SolarSystem-04" .
result:cloud a owl:Class ;
rdfs:label "cloud" ; ### https://reference.tetras-libre.fr/expected-result#SolarSystem-formation
rdfs:subClassOf base:Entity ; 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" . base:fromStructure "SolarSystem-04" .
result:system a owl:Class ;
rdfs:label "system" ; ### https://reference.tetras-libre.fr/expected-result#collapse-SolarSystem-04
rdfs:subClassOf base:Entity ; 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" . base:fromStructure "SolarSystem-04" .
result:giant a owl:Individual,
### https://reference.tetras-libre.fr/expected-result#giant
result:giant rdf:type owl:NamedIndividual ,
owl:Individual ,
base:Feature ; base:Feature ;
rdfs:label "giant" ; rdfs:label "giant" ;
base:fromStructure "SolarSystem-04" . base:fromStructure "SolarSystem-04" .
result:interstellar a owl:Individual,
### 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 ; base:Feature ;
rdfs:label "interstellar" ; rdfs:label "interstellar" ;
base:fromStructure "SolarSystem-04" . base:fromStructure "SolarSystem-04" .
result:molecular a owl:Individual,
### https://reference.tetras-libre.fr/expected-result#molecular
result:molecular rdf:type owl:NamedIndividual ,
owl:Individual ,
base:Feature ; base:Feature ;
rdfs:label "molecular" ; rdfs:label "molecular" ;
base:fromStructure "SolarSystem-04" . base:fromStructure "SolarSystem-04" .
result:hasFeature a owl:ObjectProperty ;
rdfs:label "hasFeature" ;
rdfs:subPropertyOf base:Out_ObjectProperty ;
base:fromStructure "predefinedProperty" .
### 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
SolarSystem-20231005/reference-ontology-definitions/SolarSystemProd_factoid_5.ttl
+ 154
− 71
View file @ 440fd629
@prefix base: <https://reference.tetras-libre.fr/base-ontology#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> . @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 rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix result: <https://reference.tetras-libre.fr/expected-result#> . @prefix result: <https://reference.tetras-libre.fr/expected-result#> .
@base <http://www.w3.org/2002/07/owl#> .
result:system-hasPart-mass-be-sun a owl:Class ; [ rdf:type owl:Ontology
rdfs:subClassOf [ a owl:Restriction ; ] .
owl:onProperty result:hasPart ;
owl:someValuesFrom result:mass-be-sun ], #################################################################
result:system-hasPart-mass ; # 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#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#hasPart
result:hasPart rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf base:Out_ObjectProperty ;
rdfs:label "hasPart" ;
base:fromStructure "SolarSystem-05" . base:fromStructure "SolarSystem-05" .
result:vast-majority a owl:Class ;
rdfs:subClassOf [ a owl:Restriction ; ### https://reference.tetras-libre.fr/expected-result#isLocatedAt
owl:hasValue result:vast ; result:isLocatedAt rdf:type owl:ObjectProperty ;
owl:onProperty result:hasFeature ], rdfs:subPropertyOf base:Out_ObjectProperty ;
result:majority ; rdfs:label "isLocatedAt" ;
base:fromStructure "SolarSystem-05" . base:fromStructure "SolarSystem-05" .
result:majority a owl:Class ;
#################################################################
# Classes
#################################################################
### http://www.w3.org/2002/07/owl#Individual
owl:Individual rdf:type owl:Class .
### https://reference.tetras-libre.fr/base-ontology#Degree
base:Degree 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#Feature
base:Feature rdf:type owl:Class .
### https://reference.tetras-libre.fr/expected-result#majority
result:majority rdf:type owl:Class ;
rdfs:subClassOf base:Feature ;
rdfs:label "majority" ; rdfs:label "majority" ;
rdfs:subClassOf base:Undetermined_Thing ;
base:fromStructure "SolarSystem-05" . base:fromStructure "SolarSystem-05" .
result:system a owl:Class ;
rdfs:label "system" ; ### https://reference.tetras-libre.fr/expected-result#mass
result:mass rdf:type owl:Class ;
rdfs:subClassOf base:Entity ;
rdfs:label "mass" ;
base:fromStructure "SolarSystem-05" .
### https://reference.tetras-libre.fr/expected-result#sun
result:sun rdf:type owl:Class ;
rdfs:subClassOf base:Entity ; rdfs:subClassOf base:Entity ;
rdfs:label "sun" ;
base:fromStructure "SolarSystem-05" . base:fromStructure "SolarSystem-05" .
result:system-hasPart-mass a owl:Class ;
rdfs:subClassOf [ a owl:Restriction ; ### https://reference.tetras-libre.fr/expected-result#system
owl:onProperty result:hasPart ; result:system rdf:type owl:Class ;
owl:someValuesFrom result:mass ], rdfs:subClassOf base:Entity ;
[ a owl:Restriction ; rdfs:label "system" ;
owl:onProperty result:hasPart ;
owl:someValuesFrom result:mass ],
result:system ;
base:fromStructure "SolarSystem-05" . base:fromStructure "SolarSystem-05" .
result:be a owl:ObjectProperty ;
rdfs:label "be" ; ### https://reference.tetras-libre.fr/expected-result#system-hasPart-mass
rdfs:subPropertyOf base:Out_ObjectProperty ; result:system-hasPart-mass rdf:type owl:Class ;
rdfs:subClassOf result:system ,
[ rdf:type owl:Restriction ;
owl:onProperty result:hasPart ;
owl:someValuesFrom result:mass
] ;
base:fromStructure "SolarSystem-05" . base:fromStructure "SolarSystem-05" .
result:hasFeature a owl:ObjectProperty ;
rdfs:label "hasFeature" ;
rdfs:subPropertyOf base:Out_ObjectProperty ;
base:fromStructure "predefinedProperty" .
result:mass-be-sun a owl:Class ; ### https://reference.tetras-libre.fr/expected-result#system-hasPart-vast-majority-mass
rdfs:subClassOf [ a owl:Restriction ; result:system-hasPart-vast-majority-mass rdf:type owl:Class ;
owl:onProperty result:be ; rdfs:subClassOf result:system-hasPart-mass ,
owl:someValuesFrom result:sun ], [ rdf:type owl:Restriction ;
result:mass ; owl:onProperty result:hasPart ;
owl:someValuesFrom result:vast-majority-mass
] ;
base:fromStructure "SolarSystem-05" . base:fromStructure "SolarSystem-05" .
result:sun a owl:Class ;
rdfs:label "sun" ; ### https://reference.tetras-libre.fr/expected-result#vast-majority-mass
rdfs:subClassOf base:Entity ; result:vast-majority-mass rdf:type owl:Class ;
rdfs:subClassOf result:mass ,
[ rdf:type owl:Restriction ;
owl:onProperty result:isLocatedAt ;
owl:someValuesFrom result:sun
] ,
[ rdf:type owl:Restriction ;
owl:onProperty result:hasFeature ;
owl:hasValue result:vast-majority
] ;
base:fromStructure "SolarSystem-05" . base:fromStructure "SolarSystem-05" .
result:vast a owl:Individual,
base:Feature ; #################################################################
# Individuals
#################################################################
### https://reference.tetras-libre.fr/expected-result#vast
result:vast rdf:type owl:NamedIndividual ,
owl:Individual ,
base:Degree ;
rdfs:label "vast" ; rdfs:label "vast" ;
base:fromStructure "SolarSystem-05" . base:fromStructure "SolarSystem-05" .
result:mass a owl:Class ;
rdfs:label "mass" ;
rdfs:subClassOf base:Entity ;
base:fromStructure "SolarSystem-05" .
result:hasPart a owl:ObjectProperty ; ### https://reference.tetras-libre.fr/expected-result#vast-majority
rdfs:label "hasPart" ; result:vast-majority rdf:type owl:NamedIndividual ,
rdfs:subPropertyOf base:Out_ObjectProperty ; owl:Individual ,
base:Feature ,
result:majority ;
result:hasFeature result:vast .
#################################################################
# Annotations
#################################################################
result:vast-majority rdfs:label "vast-majority" ;
base:fromStructure "SolarSystem-05" . base:fromStructure "SolarSystem-05" .
### Generated by the OWL API (version 4.5.9.2019-02-01T07:24:44Z) https://github.com/owlcs/owlapi
SolarSystem-20231005/reference-ontology-definitions/SolarSystemProd_factoid_6.ttl
+ 150
− 51
View file @ 440fd629
@prefix base: <https://reference.tetras-libre.fr/base-ontology#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> . @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 rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix result: <https://reference.tetras-libre.fr/expected-result#> . @prefix result: <https://reference.tetras-libre.fr/expected-result#> .
@base <http://www.w3.org/2002/07/owl#> .
result:Jupiter a owl:Individual, [ rdf:type owl:Ontology
base:Entity, ] .
result:planet,
result:planet-contain-mass ;
rdfs:label "Jupiter" ;
base:fromStructure "SolarSystem-06" ;
result:contain result:mass-SolarSystem-06 .
result:hasFeature a owl:ObjectProperty ; #################################################################
rdfs:label "hasFeature" ; # 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#contain
result:contain rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf base:Out_ObjectProperty ; rdfs:subPropertyOf base:Out_ObjectProperty ;
rdfs:label "contain" ;
base:fromStructure "SolarSystem-06" .
### 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" . base:fromStructure "predefinedProperty" .
result:majority a owl:Class ;
#################################################################
# Classes
#################################################################
### http://www.w3.org/2002/07/owl#Individual
owl:Individual rdf:type owl:Class .
### https://reference.tetras-libre.fr/base-ontology#Degree
base:Degree 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#Feature
base:Feature rdf:type owl:Class .
### https://reference.tetras-libre.fr/expected-result#majority
result:majority rdf:type owl:Class ;
rdfs:label "majority" ; rdfs:label "majority" ;
rdfs:subClassOf base:Undetermined_Thing ;
base:fromStructure "SolarSystem-06" . base:fromStructure "SolarSystem-06" .
result:remain a owl:ObjectProperty ;
rdfs:label "remain" ; ### https://reference.tetras-libre.fr/expected-result#mass
rdfs:subPropertyOf base:Out_ObjectProperty ; result:mass rdf:type owl:Class ;
rdfs:subClassOf base:Entity ;
rdfs:label "mass" ;
base:fromStructure "SolarSystem-06" . base:fromStructure "SolarSystem-06" .
result:mass-SolarSystem-06 a owl:Individual,
base:Entity, ### https://reference.tetras-libre.fr/expected-result#planet
result:mass ; result:planet rdf:type owl:Class ;
rdfs:label "mass (SolarSystem-06)" ; rdfs:subClassOf base:Entity ;
rdfs:label "planet" ;
base:fromStructure "SolarSystem-06" . base:fromStructure "SolarSystem-06" .
result:planet-contain-mass a owl:Class ;
rdfs:subClassOf [ a owl:Restriction ; ### https://reference.tetras-libre.fr/expected-result#planet-contain-mass
result:planet-contain-mass rdf:type owl:Class ;
rdfs:subClassOf result:planet ,
[ rdf:type owl:Restriction ;
owl:onProperty result:contain ; owl:onProperty result:contain ;
owl:someValuesFrom result:mass ], owl:someValuesFrom result:mass
result:planet ; ] ;
base:fromStructure "SolarSystem-06" . base:fromStructure "SolarSystem-06" .
result:contain a owl:ObjectProperty ;
rdfs:label "contain" ; ### https://reference.tetras-libre.fr/expected-result#planet-contain-remain-majority-mass
rdfs:subPropertyOf base:Out_ObjectProperty ; result:planet-contain-remain-majority-mass rdf:type owl:Class ;
rdfs:subClassOf result:planet-contain-mass ,
[ rdf:type owl:Restriction ;
owl:onProperty result:contain ;
owl:someValuesFrom result:remain-majority-mass
] ;
base:fromStructure "SolarSystem-06" . base:fromStructure "SolarSystem-06" .
result:planet a owl:Class ;
rdfs:label "planet" ; ### https://reference.tetras-libre.fr/expected-result#remain-majority-mass
rdfs:subClassOf base:Entity ; result:remain-majority-mass rdf:type owl:Class ;
rdfs:subClassOf result:mass ,
[ rdf:type owl:Restriction ;
owl:onProperty result:hasFeature ;
owl:hasValue result:remain-majority
] ;
base:fromStructure "SolarSystem-06" . base:fromStructure "SolarSystem-06" .
result:mass a owl:Class ;
rdfs:label "mass" ; #################################################################
rdfs:subClassOf base:Entity ; # Individuals
#################################################################
### https://reference.tetras-libre.fr/expected-result#Jupiter
result:Jupiter rdf:type owl:NamedIndividual ,
owl:Individual ,
base:Entity ,
result:planet ,
result:planet-contain-mass ,
result:planet-contain-remain-majority-mass ;
result:contain result:mass-SolarSystem-06 ;
rdfs:label "Jupiter" ;
base:fromStructure "SolarSystem-06" . base:fromStructure "SolarSystem-06" .
### https://reference.tetras-libre.fr/expected-result#mass-SolarSystem-06
result:mass-SolarSystem-06 rdf:type owl:NamedIndividual ,
owl:Individual ,
base:Entity ,
result:remain-majority-mass ;
result:hasFeature result:remain-majority ;
rdfs:label "mass (SolarSystem-06)" ;
base:fromStructure "SolarSystem-06" .
### https://reference.tetras-libre.fr/expected-result#remain
result:remain rdf:type owl:NamedIndividual ,
owl:Individual ,
base:Degree .
### https://reference.tetras-libre.fr/expected-result#remain-majority
result:remain-majority rdf:type owl:NamedIndividual ,
owl:Individual ,
base:Feature ,
result:majority ;
result:hasFeature result:remain ;
rdfs:label "remain-majority" ;
base:fromStructure "SolarSystem-05" .
### Generated by the OWL API (version 4.5.9.2019-02-01T07:24:44Z) https://github.com/owlcs/owlapi
SolarSystem-20231005/reference-ontology-definitions/SolarSystemProd_factoid_8.ttl
+ 209
− 111
View file @ 440fd629
@prefix base: <https://reference.tetras-libre.fr/base-ontology#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> . @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 rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix result: <https://reference.tetras-libre.fr/expected-result#> . @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 .
### https://reference.tetras-libre.fr/base-ontology#hasQuantity
base:hasQuantity 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#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#hasPart
result:hasPart rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf base:Out_ObjectProperty ;
rdfs:label "hasPart" ;
base:fromStructure "SolarSystem-07" .
### https://reference.tetras-libre.fr/expected-result#isSubstantialMoreMassiveThan
result:isSubstantialMoreMassiveThan rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf base:Out_ObjectProperty ;
base:fromStructure "SolarSystem-07" .
#################################################################
# Classes
#################################################################
### http://www.w3.org/2002/07/owl#Individual
owl:Individual rdf:type owl:Class .
### https://reference.tetras-libre.fr/base-ontology#Degree
base:Degree rdf:type owl:Class .
result:more a owl:Individual,
base:Degree ;
rdfs:label "more" ;
base:fromStructure "SolarSystem-08" .
result:outer-system-hasPart-giant-planet a owl:Class ; ### https://reference.tetras-libre.fr/base-ontology#Entity
rdfs:subClassOf [ a owl:Restriction ; base:Entity 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#giant-planet
result:giant-planet rdf:type owl:Class ;
rdfs:subClassOf result:planet ,
[ rdf:type owl:Restriction ;
owl:onProperty result:isSubstantialMoreMassiveThan ;
owl:someValuesFrom result:terrestrial-planet
] ,
[ rdf:type owl:Restriction ;
owl:onProperty result:hasFeature ;
owl:hasValue result:giant
] ,
[ rdf:type owl:Restriction ;
owl:onProperty result:hasFeature ;
owl:hasValue result:substantial-more-massive
] ;
base:fromStructure "SolarSystem-07" ;
base:hasQuantity 4 .
### https://reference.tetras-libre.fr/expected-result#outer-system
result:outer-system rdf:type owl:Class ;
rdfs:subClassOf result:system ,
[ rdf:type owl:Restriction ;
owl:onProperty result:hasFeature ;
owl:hasValue result:outer
] ;
base:fromStructure "SolarSystem-07" .
### https://reference.tetras-libre.fr/expected-result#outer-system-hasPart-giant-planet
result:outer-system-hasPart-giant-planet rdf:type owl:Class ;
rdfs:subClassOf result:outer-system-hasPart-planet ,
[ rdf:type owl:Restriction ;
owl:onProperty result:hasPart ; owl:onProperty result:hasPart ;
owl:someValuesFrom result:giant-planet ], owl:someValuesFrom result:giant-planet
result:outer-system-hasPart-planet ; ] ;
base:fromStructure "SolarSystem-08" . base:fromStructure "SolarSystem-07" .
result:outer-system-hasPart-more-massive-giant-planet a owl:Class ; ### https://reference.tetras-libre.fr/expected-result#outer-system-hasPart-planet
rdfs:subClassOf [ a owl:Restriction ; result:outer-system-hasPart-planet rdf:type owl:Class ;
rdfs:subClassOf result:outer-system ,
[ rdf:type owl:Restriction ;
owl:onProperty result:hasPart ; owl:onProperty result:hasPart ;
owl:someValuesFrom result:more-massive-giant-planet ], owl:someValuesFrom result:planet
result:outer-system-hasPart-planet ; ] ;
base:fromStructure "SolarSystem-08" . base:fromStructure "SolarSystem-07" .
result:substantial a owl:Class ;
rdfs:label "substantial" ;
rdfs:subClassOf base:Undetermined_Thing ;
base:fromStructure "SolarSystem-08" .
result:outer-system a owl:Class ; ### https://reference.tetras-libre.fr/expected-result#planet
rdfs:subClassOf [ a owl:Restriction ; result:planet rdf:type owl:Class ;
owl:hasValue result:outer ; rdfs:subClassOf base:Entity ;
owl:onProperty result:hasFeature ], rdfs:label "planet" ;
result:system ; base:fromStructure "SolarSystem-07" .
base:fromStructure "SolarSystem-08" .
result:system a owl:Class ;
rdfs:label "system" ; ### https://reference.tetras-libre.fr/expected-result#system
result:system rdf:type owl:Class ;
rdfs:subClassOf base:Entity ; rdfs:subClassOf base:Entity ;
base:fromStructure "SolarSystem-08" . rdfs:label "system" ;
base:fromStructure "SolarSystem-07" .
### https://reference.tetras-libre.fr/expected-result#terrestrial-planet
result:terrestrial-planet rdf:type owl:Class ;
rdfs:subClassOf result:planet ,
[ rdf:type owl:Restriction ;
owl:onProperty result:hasFeature ;
owl:hasValue result:terrestrial
] ;
base:fromStructure "SolarSystem-07" .
#################################################################
# Individuals
#################################################################
result:giant a owl:Individual, ### https://reference.tetras-libre.fr/expected-result#giant
result:giant rdf:type owl:NamedIndividual ,
owl:Individual ,
base:Feature ; base:Feature ;
rdfs:label "giant" ; rdfs:label "giant" ;
base:fromStructure "SolarSystem-08" . base:fromStructure "SolarSystem-07" .
result:isMoreMassiveThan rdfs:subPropertyOf base:Out_ObjectProperty ;
base:fromStructure "SolarSystem-08" .
result:more-massive a owl:Individual, ### https://reference.tetras-libre.fr/expected-result#more
result:more rdf:type owl:NamedIndividual ,
owl:Individual ,
base:Degree ;
rdfs:label "more" ;
base:fromStructure "SolarSystem-07" .
### https://reference.tetras-libre.fr/expected-result#more-massive
result:more-massive rdf:type owl:NamedIndividual ,
owl:Individual ,
base:Feature ; base:Feature ;
rdfs:label "more-massive" ; rdfs:label "more-massive" ;
base:fromStructure "SolarSystem-08" . base:fromStructure "SolarSystem-07" .
result:more-massive-giant-planet a owl:Class ;
rdfs:subClassOf [ a owl:Restriction ; ### https://reference.tetras-libre.fr/expected-result#substantial-more-massive
owl:onProperty result:isMoreMassiveThan ; result:substantial-more-massive rdf:type owl:NamedIndividual ,
owl:someValuesFrom result:terrestrial-planet ], owl:Individual ,
[ a owl:Restriction ;
owl:hasValue result:more-massive ;
owl:onProperty result:hasFeature ],
result:giant-planet,
result:planet ;
base:fromStructure "SolarSystem-08" .
result:outer a owl:Individual,
base:Feature ; base:Feature ;
rdfs:label "outer" ; rdfs:label "substantial-more-massive" ;
base:fromStructure "SolarSystem-08" . base:fromStructure "SolarSystem-07" .
result:terrestrial a owl:Individual,
### https://reference.tetras-libre.fr/expected-result#outer
result:outer rdf:type owl:NamedIndividual ,
owl:Individual ,
base:Feature ; base:Feature ;
rdfs:label "terrestrial" ; rdfs:label "outer" ;
base:fromStructure "SolarSystem-08" . base:fromStructure "SolarSystem-07" .
result:terrestrial-planet a owl:Class ;
rdfs:subClassOf [ a owl:Restriction ;
owl:hasValue result:terrestrial ;
owl:onProperty result:hasFeature ],
result:planet ;
base:fromStructure "SolarSystem-08" .
result:giant-planet a owl:Class ;
rdfs:subClassOf [ a owl:Restriction ;
owl:hasValue result:giant ;
owl:onProperty result:hasFeature ],
result:planet ;
base:fromStructure "SolarSystem-08" .
result:outer-system-hasPart-planet a owl:Class ;
rdfs:subClassOf [ a owl:Restriction ;
owl:onProperty result:hasPart ;
owl:someValuesFrom result:planet ],
[ a owl:Restriction ;
owl:onProperty result:hasPart ;
owl:someValuesFrom result:planet ],
result:outer-system,
result:outer-system-hasPart-planet ;
base:fromStructure "SolarSystem-08" .
result:planet a owl:Class ;
rdfs:label "planet" ;
rdfs:subClassOf base:Entity,
base:Undetermined_Thing ;
base:fromStructure "SolarSystem-08" .
result:hasFeature a owl:ObjectProperty ; ### https://reference.tetras-libre.fr/expected-result#substantial
rdfs:label "hasFeature" ; result:substantial rdf:type owl:NamedIndividual ,
rdfs:subPropertyOf base:Out_ObjectProperty ; owl:Individual ,
base:fromStructure "predefinedProperty" . base:Degree ;
rdfs:label "substantial" ;
base:fromStructure "SolarSystem-07" .
### https://reference.tetras-libre.fr/expected-result#substantial-more
result:substantial-more rdf:type owl:NamedIndividual ,
owl:Individual ,
base:Degree ;
rdfs:label "substantial-more" ;
base:fromStructure "SolarSystem-07" .
### https://reference.tetras-libre.fr/expected-result#terrestrial
result:terrestrial rdf:type owl:NamedIndividual ,
owl:Individual ,
base:Feature ;
rdfs:label "terrestrial" ;
base:fromStructure "SolarSystem-07" .
result:hasPart a owl:ObjectProperty ;
rdfs:label "hasPart" ;
rdfs:subPropertyOf base:Out_ObjectProperty ;
base:fromStructure "SolarSystem-08" .
### Generated by the OWL API (version 4.5.9.2019-02-01T07:24:44Z) https://github.com/owlcs/owlapi
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment