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

Update SolarSystem 2023-10-05: reference 11 to 14

parent edec9821
Branches
No related tags found
No related merge requests found
Show whitespace changes
Inline Side-by-side
SolarSystem-20231005/reference-ontology-definitions/SolarSystemProd_factoid_11.ttl
+ 158
− 63
View file @ 4f8f627d
@prefix base: <https://reference.tetras-libre.fr/base-ontology#> .
@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 .
result:compare a owl:ObjectProperty ;
rdfs:label "compare" ;
### https://reference.tetras-libre.fr/expected-result#compareTo
result:compareTo rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf base:Out_ObjectProperty ;
rdfs:label "compareTo" ;
base:fromStructure "SolarSystem-11" .
result:hasFeature a owl:ObjectProperty ;
rdfs:label "hasFeature" ;
### https://reference.tetras-libre.fr/expected-result#hasDegree
result:hasDegree rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf base:Out_ObjectProperty ;
rdfs:label "hasDegree" ;
base:fromStructure "predefinedProperty" .
result:helium a owl:Class ;
rdfs:label "helium" ;
rdfs:subClassOf base:Entity ;
base:fromStructure "SolarSystem-11" .
result:high a owl:ObjectProperty ;
rdfs:label "high" ;
### 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#have
result:have rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf base:Out_ObjectProperty ;
rdfs:label "have" ;
base:fromStructure "SolarSystem-11" .
result:hydrogen a owl:Class ;
rdfs:label "hydrogen" ;
#################################################################
# Classes
#################################################################
### 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#helium
result:helium rdf:type owl:Class ;
rdfs:subClassOf base:Entity ;
rdfs:label "helium" ;
base:fromStructure "SolarSystem-11" .
result:melt a owl:ObjectProperty ;
rdfs:label "melt" ;
rdfs:subPropertyOf base:Out_ObjectProperty ;
### https://reference.tetras-libre.fr/expected-result#hydrogen
result:hydrogen rdf:type owl:Class ;
rdfs:subClassOf base:Entity ;
rdfs:label "hydrogen" ;
base:fromStructure "SolarSystem-11" .
result:relative a owl:ObjectProperty ;
rdfs:label "relative" ;
rdfs:subPropertyOf base:Out_ObjectProperty ;
### https://reference.tetras-libre.fr/expected-result#point
result:point rdf:type owl:Class ;
rdfs:subClassOf base:Entity ;
rdfs:label "point" ;
base:fromStructure "SolarSystem-11" .
result:substance-have-point a owl:Class ;
rdfs:subClassOf [ a owl:Restriction ;
owl:onProperty result:have ;
owl:someValuesFrom result:point ],
result:substance,
result:volatile ;
### https://reference.tetras-libre.fr/expected-result#melt-point
result:melt-point rdf:type owl:Class ;
rdfs:subClassOf result:point ,
[ rdf:type owl:Restriction ;
owl:onProperty result:hasFeature ;
owl:hasValue result:melt
] ;
rdfs:label "melt-point" ;
base:fromStructure "SolarSystem-11" .
result:substance a owl:Class ;
rdfs:label "substance" ;
### https://reference.tetras-libre.fr/expected-result#substance
result:substance rdf:type owl:Class ;
rdfs:subClassOf base:Entity ;
rdfs:label "substance" ;
base:fromStructure "SolarSystem-11" .
result:volatile a owl:Class ;
### https://reference.tetras-libre.fr/expected-result#volatile
result:volatile rdf:type owl:Class ;
rdfs:subClassOf result:substance ,
[ rdf:type owl:Restriction ;
owl:onProperty result:have ;
owl:hasValue result:relative-high-melt-point
] ;
rdfs:label "volatile" ;
rdfs:subClassOf base:Entity ;
base:fromStructure "SolarSystem-11" .
result:have a owl:ObjectProperty ;
rdfs:label "have" ;
rdfs:subPropertyOf base:Out_ObjectProperty ;
#################################################################
# Individuals
#################################################################
### https://reference.tetras-libre.fr/expected-result#high
result:high rdf:type owl:NamedIndividual ,
owl:Individual ,
base:Feature ;
rdfs:label "high" ;
base:fromStructure "SolarSystem-11" .
result:point a owl:Class ;
rdfs:label "point" ;
rdfs:subClassOf base:Entity ;
### https://reference.tetras-libre.fr/expected-result#melt
result:melt rdf:type owl:NamedIndividual ,
owl:Individual ,
base:Feature ;
rdfs:label "melt" ;
base:fromStructure "SolarSystem-11" .
### https://reference.tetras-libre.fr/expected-result#relative
result:relative rdf:type owl:NamedIndividual ,
owl:Individual ,
base:Degree ;
rdfs:label "relative" ;
base:fromStructure "SolarSystem-11" .
### https://reference.tetras-libre.fr/expected-result#relative-high
result:relative-high rdf:type owl:NamedIndividual ,
owl:Individual ,
base:Feature ;
result:hasDegree result:relative ;
rdfs:label "relative-high" ;
base:fromStructure "SolarSystem-11" .
### https://reference.tetras-libre.fr/expected-result#relative-high-melt-point
result:relative-high-melt-point rdf:type owl:NamedIndividual ,
owl:Individual ,
base:Entity ,
result:melt-point ;
result:hasFeature result:relative-high ;
result:compareTo result:hydrogen,
result:helium ;
rdfs:label "relative-high-melt-point" ;
base:fromStructure "SolarSystem-11" .
SolarSystem-20231005/reference-ontology-definitions/SolarSystemProd_factoid_12.ttl
+ 132
− 42
View file @ 4f8f627d
@prefix base: <https://reference.tetras-libre.fr/base-ontology#> .
@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#> .
result:all a owl:ObjectProperty ;
rdfs:label "all" ;
[ 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#all
result:all rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf base:Out_ObjectProperty ;
rdfs:label "all" ;
base:fromStructure "SolarSystem-12" .
result:almost-circular a owl:Class ;
rdfs:subClassOf [ a owl:Restriction ;
owl:hasValue result:almost ;
owl:onProperty result:hasFeature ],
result:circular ;
base:fromStructure "SolarSystem-12" .
result:have a owl:ObjectProperty ;
rdfs:label "have" ;
### 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#have
result:have rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf base:Out_ObjectProperty ;
rdfs:label "have" ;
base:fromStructure "SolarSystem-12" .
result:orbit a owl:ObjectProperty ;
rdfs:label "orbit" ;
### https://reference.tetras-libre.fr/expected-result#orbit
result:orbit rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf base:Out_ObjectProperty ;
rdfs:label "orbit" ;
base:fromStructure "SolarSystem-12" .
result:planet a owl:Class ;
rdfs:label "planet" ;
#################################################################
# 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#Feature
base:Feature rdf:type owl:Class .
### https://reference.tetras-libre.fr/expected-result#orbit
result:orbit rdf:type owl:Class ;
rdfs:subClassOf base:Entity ;
rdfs:label "orbit" ;
base:fromStructure "SolarSystem-12" .
result:circular a owl:Class ;
rdfs:label "circular" ;
rdfs:subClassOf base:Undetermined_Thing ;
### https://reference.tetras-libre.fr/expected-result#circular-orbit
result:circular-orbit rdf:type owl:Class ;
rdfs:subClassOf result:orbit ,
[ rdf:type owl:Restriction ;
owl:onProperty result:hasFeature ;
owl:hasValue result:circular
] ;
rdfs:label "circular-orbit" ;
base:fromStructure "SolarSystem-12" .
### https://reference.tetras-libre.fr/expected-result#almost-circular-orbit
result:almost-circular-orbit rdf:type owl:Class ;
rdfs:subClassOf result:circular-orbit ,
[ rdf:type owl:Restriction ;
owl:onProperty result:hasFeature ;
owl:hasValue result:almost
] ;
rdfs:label "almost-circular-orbit" ;
base:fromStructure "SolarSystem-12" .
result:almost a owl:Individual,
### https://reference.tetras-libre.fr/expected-result#planet
result:planet rdf:type owl:Class ;
rdfs:subClassOf base:Entity ,
[ rdf:type owl:Restriction ;
owl:onProperty result:have ;
owl:hasValue result:almost-circular-orbit
] ;
rdfs:label "planet" ;
base:hasQuantity 8 ;
base:fromStructure "SolarSystem-12" .
#################################################################
# Individuals
#################################################################
### https://reference.tetras-libre.fr/expected-result#almost
result:almost rdf:type owl:NamedIndividual ,
owl:Individual ,
base:Feature ;
rdfs:label "almost" ;
base:fromStructure "SolarSystem-12" .
result:hasFeature a owl:ObjectProperty ;
rdfs:label "hasFeature" ;
rdfs:subPropertyOf base:Out_ObjectProperty ;
base:fromStructure "predefinedProperty" .
### https://reference.tetras-libre.fr/expected-result#circular
result:circular rdf:type owl:NamedIndividual ,
owl:Individual ,
base:Feature ;
rdfs:label "circular" ;
base:fromStructure "SolarSystem-12" .
### 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_13.ttl
+ 111
− 65
View file @ 4f8f627d
@prefix base: <https://reference.tetras-libre.fr/base-ontology#> .
@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#> .
result:disc-SolarSystem-13 a owl:Individual,
base:Entity,
result:disc-call-thing ;
rdfs:label "disc (SolarSystem-13)" ;
base:fromStructure "SolarSystem-13" ;
result:call result:ecliptic .
[ rdf:type owl:Ontology
] .
result:flat a owl:ObjectProperty ;
rdfs:label "flat" ;
rdfs:subPropertyOf base:Out_ObjectProperty ;
base:fromStructure "SolarSystem-13" .
#################################################################
# Annotation properties
#################################################################
result:hasFeature a owl:ObjectProperty ;
rdfs:label "hasFeature" ;
### 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" .
result:lie a owl:ObjectProperty ;
rdfs:label "lie" ;
rdfs:subPropertyOf base:Out_ObjectProperty ;
base:fromStructure "SolarSystem-13" .
result:near a owl:ObjectProperty ;
rdfs:label "near" ;
### https://reference.tetras-libre.fr/expected-result#lie
result:lie rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf base:Out_ObjectProperty ;
rdfs:label "lie" ;
base:fromStructure "SolarSystem-13" .
result:orbit a owl:ObjectProperty ;
rdfs:label "orbit" ;
rdfs:subPropertyOf base:Out_ObjectProperty ;
base:fromStructure "SolarSystem-13" .
result:this a owl:Class ;
rdfs:label "this" ;
rdfs:subClassOf base:Undetermined_Thing ;
base:fromStructure "SolarSystem-13" .
#################################################################
# Classes
#################################################################
result:disc a owl:Class ;
rdfs:label "disc" ;
### 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/expected-result#disc
result:disc rdf:type owl:Class ;
rdfs:subClassOf base:Entity ;
rdfs:label "disc" ;
base:fromStructure "SolarSystem-13" .
result:disc-call-thing a owl:Class ;
rdfs:subClassOf [ a owl:Restriction ;
owl:onProperty result:call ;
owl:someValuesFrom result:thing ],
result:disc ;
### https://reference.tetras-libre.fr/expected-result#near-flat-disc
result:near-flat-disc rdf:type owl:Class ;
rdfs:subClassOf result:disc ,
[ rdf:type owl:Restriction ;
owl:onProperty result:hasFeature ;
owl:hasValue result:near-flat
] ;
base:fromStructure "SolarSystem-13" .
### https://reference.tetras-libre.fr/expected-result#orbit
result:orbit rdf:type owl:Class ;
rdfs:subClassOf base:Entity .
#################################################################
# Individuals
#################################################################
### https://reference.tetras-libre.fr/expected-result#disc-SolarSystem-13
result:orbit-SolarSystem-13 rdf:type owl:NamedIndividual ,
owl:Individual ,
base:Entity ,
result:orbit ;
result:lie result:ecliptic ;
rdfs:label "orbit (SolarSystem-13)" ;
base:fromStructure "SolarSystem-13" .
result:ecliptic a owl:Individual,
### https://reference.tetras-libre.fr/expected-result#ecliptic
result:ecliptic rdf:type owl:NamedIndividual ,
owl:Individual ,
base:Entity ,
result:thing ;
result:near-flat-disc ;
rdfs:label "ecliptic" ;
base:fromStructure "SolarSystem-13" .
result:call a owl:ObjectProperty ;
rdfs:label "call" ;
rdfs:subPropertyOf base:Out_ObjectProperty ;
### https://reference.tetras-libre.fr/expected-result#near
result:near rdf:type owl:NamedIndividual ,
owl:Individual ,
base:Degree ;
rdfs:label "near" ;
base:fromStructure "SolarSystem-13" .
result:thing a owl:Class ;
rdfs:label "thing" ;
rdfs:subClassOf base:Entity ;
### https://reference.tetras-libre.fr/expected-result#near-flat
result:near-flat rdf:type owl:NamedIndividual ,
owl:Individual ,
base:Feature ;
rdfs:label "near-flat" ;
base:hasDegree result:near ;
base:fromStructure "SolarSystem-13" .
### 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_14.ttl
+ 133
− 64
View file @ 4f8f627d
@prefix base: <https://reference.tetras-libre.fr/base-ontology#> .
@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#> .
result:SolarSystem a owl:Individual,
base:Entity,
result:system,
result:system-contain-more-small-object ;
rdfs:label "SolarSystem" ;
base:fromStructure "SolarSystem-14" ;
result:contain result:object-SolarSystem-14 .
[ rdf:type owl:Ontology
] .
#################################################################
# Annotation properties
#################################################################
### https://reference.tetras-libre.fr/base-ontology#fromStructure
base:fromStructure rdf:type owl:AnnotationProperty .
result:also a owl:Class ;
rdfs:label "also" ;
rdfs:subClassOf base:Undetermined_Thing ;
#################################################################
# 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:label "contain" ;
base:fromStructure "SolarSystem-14" .
result:more a owl:Individual,
base:Degree ;
rdfs:label "more" ;
### 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" .
#################################################################
# 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#more-small-object
result:more-small-object rdf:type owl:Class ;
rdfs:subClassOf result:object ,
[ rdf:type owl:Restriction ;
owl:onProperty result:hasFeature ;
owl:hasValue result:more-small
] ;
base:fromStructure "SolarSystem-14" .
result:object a owl:Class ;
### https://reference.tetras-libre.fr/expected-result#object
result:object rdf:type owl:Class ;
rdfs:subClassOf base:Entity ;
rdfs:label "object" ;
base:fromStructure "SolarSystem-14" .
### https://reference.tetras-libre.fr/expected-result#system
result:system rdf:type owl:Class ;
rdfs:subClassOf base:Entity ;
rdfs:label "system" ;
base:fromStructure "SolarSystem-14" .
result:object-SolarSystem-14 a owl:Individual,
base:Entity,
result:more-small-object ;
rdfs:label "object (SolarSystem-14)" ;
base:fromStructure "SolarSystem-14" ;
result:hasFeature result:more-small .
result:system-contain-more-small-object a owl:Class ;
rdfs:subClassOf [ a owl:Restriction ;
### https://reference.tetras-libre.fr/expected-result#system-contain-more-small-object
result:system-contain-more-small-object rdf:type owl:Class ;
rdfs:subClassOf result:system ,
[ rdf:type owl:Restriction ;
owl:onProperty result:contain ;
owl:someValuesFrom result:more-small-object ],
result:system ;
owl:someValuesFrom result:more-small-object
] ;
base:fromStructure "SolarSystem-14" .
result:contain a owl:ObjectProperty ;
rdfs:label "contain" ;
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 ,
result:system-contain-more-small-object ;
result:contain result:object-SolarSystem-14 ;
rdfs:label "SolarSystem" ;
base:fromStructure "SolarSystem-14" .
result:hasFeature a owl:ObjectProperty ;
rdfs:label "hasFeature" ;
rdfs:subPropertyOf base:Out_ObjectProperty ;
base:fromStructure "predefinedProperty" .
result:system a owl:Class ;
rdfs:label "system" ;
rdfs:subClassOf base:Entity ;
### https://reference.tetras-libre.fr/expected-result#more
result:more rdf:type owl:NamedIndividual ,
owl:Individual ,
base:Degree ;
rdfs:label "more" ;
base:fromStructure "SolarSystem-14" .
result:more-small a owl:Individual,
### https://reference.tetras-libre.fr/expected-result#more-small
result:more-small rdf:type owl:NamedIndividual ,
owl:Individual ,
base:Feature ;
rdfs:label "more-small" ;
base:fromStructure "SolarSystem-14" .
result:more-small-object a owl:Class ;
rdfs:subClassOf [ a owl:Restriction ;
owl:hasValue result:more-small ;
owl:onProperty result:hasFeature ],
result:object ;
### https://reference.tetras-libre.fr/expected-result#object-SolarSystem-14
result:object-SolarSystem-14 rdf:type owl:NamedIndividual ,
owl:Individual ,
base:Entity ,
result:more-small-object ;
result:hasFeature result:more-small ;
rdfs:label "object (SolarSystem-14)" ;
base:fromStructure "SolarSystem-14" .
### 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