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

Update SolarSystem (2023-09-22): reference 1 to 6

parent de7a49c4
Branches
No related tags found
No related merge requests found
Show whitespace changes
Inline Side-by-side
Showing
with 898 additions and 459 deletions
Coling23-v1-SolarSystem-20230922/reference-ontology-definitions/SolarSystemProd_factoid_1.ttl
+ 20
− 6
View file @ bd073cef
......@@ -40,7 +40,8 @@ result:SolarSystem a owl:Individual,
result:system-hasPart-sun ;
rdfs:label "SolarSystem" ;
base:fromStructure "WikiAbstract-SolarSystem-01" ;
result:hasPart result:object-WikiAbstract-SolarSystem-01,
result:hasPart result:object-WikiAbstract-SolarSystem-01-a,
result:object-WikiAbstract-SolarSystem-01-b,
result:sun-WikiAbstract-SolarSystem-01 .
result:gravitation a owl:Class ;
......@@ -65,11 +66,17 @@ result:gravitation-bind-system-hasPart-sun a owl:Class ;
result:object-WikiAbstract-SolarSystem-01 a owl:Individual,
base:Entity,
result:object,
result:object-orbit-hasManner-direct-sun,
result:object-orbit-hasManner-direct-sun ;
rdfs:label "object 1 (WikiAbstract-SolarSystem-01)" ;
base:fromStructure "WikiAbstract-SolarSystem-01" ;
result:orbit-hasManner-direct result:sun-WikiAbstract-SolarSystem-01 .
result:object-WikiAbstract-SolarSystem-01-2 a owl:Individual,
base:Entity,
result:object,
result:object-orbit-hasManner-not-direct-sun ;
rdfs:label "object (WikiAbstract-SolarSystem-01)" ;
rdfs:label "object 2 (WikiAbstract-SolarSystem-01)" ;
base:fromStructure "WikiAbstract-SolarSystem-01" ;
result:orbit-hasManner-direct result:sun-WikiAbstract-SolarSystem-01 ;
result:orbit-hasManner-not-direct result:sun-WikiAbstract-SolarSystem-01 .
result:system-hasPart-object-orbit-hasManner-direct-sun a owl:Class ;
......@@ -109,18 +116,25 @@ result:gravitation-bind-system a owl:Class ;
result:gravitation ;
base:fromStructure "WikiAbstract-SolarSystem-01" .
result:object-orbit-sun a owl:Class ;
rdfs:subClassOf [ a owl:Restriction ;
owl:onProperty result:orbit ;
owl:someValuesFrom result:sun ],
result:object ;
base:fromStructure "WikiAbstract-SolarSystem-01" .
result:object-orbit-hasManner-direct-sun a owl:Class ;
rdfs:subClassOf [ a owl:Restriction ;
owl:onProperty result:orbit-hasManner-direct ;
owl:someValuesFrom result:sun ],
result:object ;
result:object-orbit-sun ;
base:fromStructure "WikiAbstract-SolarSystem-01" .
result:object-orbit-hasManner-not-direct-sun a owl:Class ;
rdfs:subClassOf [ a owl:Restriction ;
owl:onProperty result:orbit-hasManner-not-direct ;
owl:someValuesFrom result:sun ],
result:object ;
result:object-orbit-sun ;
base:fromStructure "WikiAbstract-SolarSystem-01" .
result:sun-WikiAbstract-SolarSystem-01 a owl:Individual,
......
Coling23-v1-SolarSystem-20230922/reference-ontology-definitions/SolarSystemProd_factoid_2.ttl
+ 1
− 0
View file @ bd073cef
......@@ -54,6 +54,7 @@ result:most-large-planet a owl:Class ;
owl:onProperty result:hasFeature ],
result:object-direct-orbit-sun,
result:planet ;
base:hasQuantity "8" ;
base:fromStructure "WikiAbstract-SolarSystem-02" .
result:body a owl:Class ;
......
Coling23-v1-SolarSystem-20230922/reference-ontology-definitions/SolarSystemProd_factoid_3.ttl
+ 299
− 147
View file @ bd073cef
@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:almost a owl:Class ;
rdfs:label "almost" ;
rdfs:subClassOf base:Undetermined_Thing ;
base:fromStructure "WikiAbstract-SolarSystem-03" .
[ rdf:type owl:Ontology
] .
result:equal a owl:ObjectProperty ;
rdfs:label "equal" ;
#################################################################
# 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#equal
result:equal rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf base:Out_ObjectProperty ;
rdfs:label "equal" ;
base:fromStructure "WikiAbstract-SolarSystem-03" .
result:include a 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#include
result:include rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf base:Out_ObjectProperty ;
rdfs:label "include" ;
base:fromStructure "WikiAbstract-SolarSystem-03" .
### https://reference.tetras-libre.fr/expected-result#isMoreLargeThan
result:isMoreLargeThan rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf base:Out_ObjectProperty ;
base:fromStructure "WikiAbstract-SolarSystem-03" .
result:mean a owl:ObjectProperty ;
rdfs:label "mean" ;
### https://reference.tetras-libre.fr/expected-result#mean
result:mean rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf base:Out_ObjectProperty ;
rdfs:label "mean" ;
base:fromStructure "WikiAbstract-SolarSystem-03" .
result:more a owl:Individual,
owl:ObjectProperty,
base:Degree ;
rdfs:label "more" ;
### https://reference.tetras-libre.fr/expected-result#more
result:more rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf base:Out_ObjectProperty .
### https://reference.tetras-libre.fr/expected-result#natural
result:natural rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf base:Out_ObjectProperty ;
rdfs:label "natural" ;
base:fromStructure "WikiAbstract-SolarSystem-03" .
result:most a owl:Individual,
base:Degree ;
rdfs:label "most" ;
### https://reference.tetras-libre.fr/expected-result#not-direct-orbit
result:not-direct-orbit rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf result:orbit ;
base:fromStructure "WikiAbstract-SolarSystem-03" .
result:natural a owl:ObjectProperty ;
rdfs:label "natural" ;
### https://reference.tetras-libre.fr/expected-result#orbit
result:orbit rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf base:Out_ObjectProperty ;
rdfs:label "orbit" ;
base:fromStructure "WikiAbstract-SolarSystem-03" .
result:not-direct a owl:Individual,
base:Feature ;
rdfs:label "not-direct" ;
#################################################################
# Classes
#################################################################
### http://www.co-ode.org/ontologies/ont.owl#object-isAlmostSizeEqualThan-most-small-planet
result:object-isSizeAlmostEqualThan-most-small-planet rdf:type owl:Class ;
rdfs:subClassOf result:more-large-object ,
[ rdf:type owl:Restriction ;
owl:onProperty result:isSizeAlmostEqualLargeThan ;
owl:someValuesFrom result:most-small-planet
] ;
rdfs:subClassOf result:object-not-direct-orbit-sun ;
base:hasQuantity "1" ;
base:fromStructure "WikiAbstract-SolarSystem-03" .
result:object-WikiAbstract-SolarSystem-03 a owl:Individual,
base:Entity,
result:more-large-object,
result:object-isMoreLargeThan-most-small-planet ;
rdfs:label "object (WikiAbstract-SolarSystem-03)" ;
### 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#almost
result:almost rdf:type owl:Class ;
rdfs:subClassOf base:Degree ;
rdfs:label "almost" ;
base:fromStructure "WikiAbstract-SolarSystem-03" .
### https://reference.tetras-libre.fr/expected-result#more-large-object
result:more-large-object rdf:type owl:Class ;
rdfs:subClassOf result:object-not-direct-orbit-sun ,
[ rdf:type owl:Restriction ;
owl:onProperty result:isMoreLargeThan ;
owl:someValuesFrom result:planet
] ,
[ rdf:type owl:Restriction ;
owl:onProperty result:hasFeature ;
owl:hasValue result:more-large
] ;
base:fromStructure "WikiAbstract-SolarSystem-03" .
### https://reference.tetras-libre.fr/expected-result#most-small-planet
result:most-small-planet rdf:type owl:Class ;
rdfs:subClassOf result:planet ,
[ rdf:type owl:Restriction ;
owl:onProperty result:hasFeature ;
owl:hasValue result:most-small
] ;
base:fromStructure "WikiAbstract-SolarSystem-03" .
### https://reference.tetras-libre.fr/expected-result#natural-satellite
result:natural-satellite rdf:type owl:Class ;
owl:equivalentClass result:object-not-direct-orbit-sun ;
rdfs:subClassOf result:object ,
result:satellite ;
base:fromStructure "WikiAbstract-SolarSystem-03" .
### https://reference.tetras-libre.fr/expected-result#object
result:object rdf:type owl:Class ;
rdfs:subClassOf base:Entity ;
rdfs:label "object" ;
base:fromStructure "WikiAbstract-SolarSystem-03" .
### https://reference.tetras-libre.fr/expected-result#object-isMoreLargeThan-most-small-planet
result:object-isMoreLargeThan-most-small-planet rdf:type owl:Class ;
rdfs:subClassOf result:more-large-object ,
[ rdf:type owl:Restriction ;
owl:onProperty result:isMoreLargeThan ;
owl:someValuesFrom result:most-small-planet
] ;
base:fromStructure "WikiAbstract-SolarSystem-03" ;
result:hasFeature result:more-large ;
result:isMoreLargeThan result:Mercury .
base:hasQuantity "2" .
result:object-not-direct-orbit-sun a owl:Class ;
rdfs:subClassOf [ a owl:Restriction ;
### https://reference.tetras-libre.fr/expected-result#object-not-direct-orbit-sun
result:object-not-direct-orbit-sun rdf:type owl:Class ;
rdfs:subClassOf result:object ,
[ rdf:type owl:Restriction ;
owl:onProperty result:not-direct-orbit ;
owl:someValuesFrom result:sun ],
result:object ;
owl:someValuesFrom result:sun
] ;
base:fromStructure "WikiAbstract-SolarSystem-03" .
result:satellite a owl:Class ;
rdfs:label "satellite" ;
### https://reference.tetras-libre.fr/expected-result#planet
result:planet rdf:type owl:Class ;
rdfs:subClassOf base:Entity ;
rdfs:label "planet" ;
base:fromStructure "WikiAbstract-SolarSystem-03" .
### https://reference.tetras-libre.fr/expected-result#satellite
result:satellite rdf:type owl:Class ;
rdfs:subClassOf base:Entity ;
rdfs:label "satellite" ;
base:fromStructure "WikiAbstract-SolarSystem-03" .
result:size a owl:Class ;
### https://reference.tetras-libre.fr/expected-result#size
result:size rdf:type owl:Class ;
rdfs:subClassOf base:Feature ;
rdfs:label "size" ;
rdfs:subClassOf base:Undetermined_Thing ;
base:fromStructure "WikiAbstract-SolarSystem-03" .
result:Mercury a owl:Individual,
### https://reference.tetras-libre.fr/expected-result#sun
result:sun rdf:type owl:Class ;
rdfs:subClassOf base:Entity ;
rdfs:label "sun" ;
base:fromStructure "WikiAbstract-SolarSystem-03" .
#################################################################
# Individuals
#################################################################
### https://reference.tetras-libre.fr/expected-result#Mercury
result:Mercury rdf:type owl:NamedIndividual ,
owl:Individual ,
base:Entity ,
result:most-small-planet ,
result:planet ;
result:hasFeature result:most-small ;
rdfs:label "Mercury" ;
base:fromStructure "WikiAbstract-SolarSystem-03" ;
result:hasFeature result:most-small .
result:object-isMoreLargeThan-most-small-planet a owl:Class ;
rdfs:subClassOf [ a owl:Restriction ;
owl:onProperty result:isMoreLargeThan ;
owl:someValuesFrom result:most-small-planet ],
result:more-large-object ;
base:fromStructure "WikiAbstract-SolarSystem-03" .
result:orbit a owl:ObjectProperty ;
rdfs:label "orbit" ;
rdfs:subPropertyOf base:Out_ObjectProperty ;
base:fromStructure "WikiAbstract-SolarSystem-03" .
result:more-large-object a owl:Class ;
rdfs:subClassOf [ a owl:Restriction ;
owl:hasValue result:more-large ;
owl:onProperty result:hasFeature ],
[ a owl:Restriction ;
owl:onProperty result:isMoreLargeThan ;
owl:someValuesFrom result:planet ],
[ a owl:Restriction ;
owl:onProperty result:isMoreLargeThan ;
owl:someValuesFrom result:planet ],
[ a owl:Restriction ;
owl:hasValue result:more-large ;
owl:onProperty result:hasFeature ],
result:object ;
base:fromStructure "WikiAbstract-SolarSystem-03" .
### https://reference.tetras-libre.fr/expected-result#more
result:more rdf:type owl:NamedIndividual ,
owl:Individual ,
base:Degree .
result:not-direct-orbit rdfs:subPropertyOf result:orbit ;
base:fromStructure "WikiAbstract-SolarSystem-03" .
result:object a owl:Class ;
rdfs:label "object" ;
rdfs:subClassOf base:Entity ;
### https://reference.tetras-libre.fr/expected-result#more-large
result:more-large rdf:type owl:NamedIndividual ,
owl:Individual ,
base:Feature ;
rdfs:label "more-large" ;
base:fromStructure "WikiAbstract-SolarSystem-03" .
result:sun a owl:Class ;
rdfs:label "sun" ;
rdfs:subClassOf base:Entity ;
### https://reference.tetras-libre.fr/expected-result#most
result:most rdf:type owl:NamedIndividual ,
owl:Individual ,
base:Degree ;
rdfs:label "most" ;
base:fromStructure "WikiAbstract-SolarSystem-03" .
result:most-small a owl:Individual,
### https://reference.tetras-libre.fr/expected-result#most-small
result:most-small rdf:type owl:NamedIndividual ,
owl:Individual ,
base:Feature ;
rdfs:label "most-small" ;
base:fromStructure "WikiAbstract-SolarSystem-03" .
result:most-small-planet a owl:Class ;
rdfs:subClassOf [ a owl:Restriction ;
owl:hasValue result:most-small ;
owl:onProperty result:hasFeature ],
result:planet ;
base:fromStructure "WikiAbstract-SolarSystem-03" .
result:more-large a owl:Individual,
### https://reference.tetras-libre.fr/expected-result#not-direct
result:not-direct rdf:type owl:NamedIndividual ,
owl:Individual ,
base:Feature ;
rdfs:label "more-large" ;
rdfs:label "not-direct" ;
base:fromStructure "WikiAbstract-SolarSystem-03" .
result:hasFeature a owl:ObjectProperty ;
rdfs:label "hasFeature" ;
rdfs:subPropertyOf base:Out_ObjectProperty ;
base:fromStructure "predefinedProperty" .
result:isMoreLargeThan rdfs:subPropertyOf base:Out_ObjectProperty ;
### https://reference.tetras-libre.fr/expected-result#object-WikiAbstract-SolarSystem-03
result:object-WikiAbstract-SolarSystem-03 rdf:type owl:NamedIndividual ,
owl:Individual ,
base:Entity ,
result:more-large-object ,
result:object-isMoreLargeThan-most-small-planet ;
result:hasFeature result:more-large ;
result:isMoreLargeThan result:Mercury ;
rdfs:label "object 1 (WikiAbstract-SolarSystem-03)" ;
base:fromStructure "WikiAbstract-SolarSystem-03" .
result:planet a owl:Class ;
rdfs:label "planet" ;
rdfs:subClassOf base:Entity ;
### https://reference.tetras-libre.fr/expected-result#object-WikiAbstract-SolarSystem-03
result:object-WikiAbstract-SolarSystem-03-2 rdf:type owl:NamedIndividual ,
owl:Individual ,
base:Entity ,
result:more-large-object ,
result:object-isMoreLargeThan-most-small-planet ;
result:hasFeature result:more-large ;
result:isMoreLargeThan result:Mercury ;
rdfs:label "object 2 (WikiAbstract-SolarSystem-03)" ;
base:fromStructure "WikiAbstract-SolarSystem-03" .
#################################################################
# Annotations
#################################################################
result:more rdfs:label "more" ;
base:fromStructure "WikiAbstract-SolarSystem-03" .
### Generated by the OWL API (version 4.5.9.2019-02-01T07:24:44Z) https://github.com/owlcs/owlapi
Coling23-v1-SolarSystem-20230922/reference-ontology-definitions/SolarSystemProd_factoid_5.ttl
+ 251
− 111
View file @ bd073cef
@prefix base: <https://reference.tetras-libre.fr/base-ontology#> .
@prefix : <http://www.semanticweb.org/owl/owlapi/turtle#> .
@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:Jupiter a owl:Individual,
base:Entity,
result:planet,
result:planet-contain-mass ;
rdfs:label "Jupiter" ;
base:fromStructure "WikiAbstract-SolarSystem-05" ;
result:contain result:mass-WikiAbstract-SolarSystem-05 .
[ rdf:type owl:Ontology
] .
result:remain a owl:ObjectProperty ;
rdfs:label "remain" ;
#################################################################
# 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#be
result:be rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf base:Out_ObjectProperty ;
rdfs:label "be" ;
base:fromStructure "WikiAbstract-SolarSystem-05" .
result:system-hasPart-mass-be-sun a owl:Class ;
rdfs:subClassOf [ a owl:Restriction ;
owl:onProperty result:hasPart ;
owl:someValuesFrom result:mass-be-sun ],
result:system-hasPart-mass ;
### https://reference.tetras-libre.fr/expected-result#contain
result:contain rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf base:Out_ObjectProperty ;
rdfs:label "contain" ;
base:fromStructure "WikiAbstract-SolarSystem-05" .
result:vast-majority a owl:Class ;
rdfs:subClassOf [ a owl:Restriction ;
owl:hasValue result:vast ;
owl:onProperty result:hasFeature ],
result:majority ;
### 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 "WikiAbstract-SolarSystem-05" .
<n87d54cae6f0a40de86eadb92ea06b7f3b1> a owl:Restriction ;
owl:onProperty result:hasPart ;
owl:someValuesFrom result:mass-be-sun .
result:majority a owl:Class ;
### https://reference.tetras-libre.fr/expected-result#isLocatedAt
result:isLocatedAt rdf:type owl:ObjectProperty .
#################################################################
# 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:subClassOf base:Undetermined_Thing ;
base:fromStructure "WikiAbstract-SolarSystem-05" .
result:mass-WikiAbstract-SolarSystem-05 a owl:Individual,
base:Entity,
result:mass ;
rdfs:label "mass (WikiAbstract-SolarSystem-05)" ;
### https://reference.tetras-libre.fr/expected-result#mass
result:mass rdf:type owl:Class ;
rdfs:subClassOf base:Entity ;
rdfs:label "mass" ;
base:fromStructure "WikiAbstract-SolarSystem-05" .
result:planet-contain-mass a owl:Class ;
rdfs:subClassOf [ a owl:Restriction ;
### https://reference.tetras-libre.fr/expected-result#planet
result:planet rdf:type owl:Class ;
rdfs:subClassOf base:Entity ;
rdfs:label "planet" ;
base:fromStructure "WikiAbstract-SolarSystem-05" .
### 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:someValuesFrom result:mass ],
result:planet ;
owl:someValuesFrom result:mass
] ;
base:fromStructure "WikiAbstract-SolarSystem-05" .
result:system a owl:Class ;
rdfs:label "system" ;
### https://reference.tetras-libre.fr/expected-result#planet-contain-remain-majority-mass
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
] .
### https://reference.tetras-libre.fr/expected-result#remain-majority-mass
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
] .
### https://reference.tetras-libre.fr/expected-result#sun
result:sun rdf:type owl:Class ;
rdfs:subClassOf base:Entity ;
rdfs:label "sun" ;
base:fromStructure "WikiAbstract-SolarSystem-05" .
result:system-hasPart-mass a owl:Class ;
rdfs:subClassOf [ a owl:Restriction ;
### https://reference.tetras-libre.fr/expected-result#system
result:system rdf:type owl:Class ;
rdfs:subClassOf base:Entity ;
rdfs:label "system" ;
base:fromStructure "WikiAbstract-SolarSystem-05" .
### https://reference.tetras-libre.fr/expected-result#system-hasPart-mass
result:system-hasPart-mass rdf:type owl:Class ;
rdfs:subClassOf result:system ,
[ rdf:type owl:Restriction ;
owl:onProperty result:hasPart ;
owl:someValuesFrom result:mass ],
[ a owl:Restriction ;
owl:someValuesFrom result:mass
] ;
base:fromStructure "WikiAbstract-SolarSystem-05" .
### https://reference.tetras-libre.fr/expected-result#system-hasPart-vast-majority-mass
result:system-hasPart-vast-majority-mass rdf:type owl:Class ;
rdfs:subClassOf result:system-hasPart-mass ,
[ rdf:type owl:Restriction ;
owl:onProperty result:hasPart ;
owl:someValuesFrom result:mass ],
result:system ;
owl:someValuesFrom result:vast-majority-mass
] ;
base:fromStructure "WikiAbstract-SolarSystem-05" .
result:be a owl:ObjectProperty ;
rdfs:label "be" ;
rdfs:subPropertyOf base:Out_ObjectProperty ;
### https://reference.tetras-libre.fr/expected-result#vast-majority-mass
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 "WikiAbstract-SolarSystem-05" .
result:contain a owl:ObjectProperty ;
rdfs:label "contain" ;
rdfs:subPropertyOf base:Out_ObjectProperty ;
#################################################################
# 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-WikiAbstract-SolarSystem-05 ;
rdfs:label "Jupiter" ;
base:fromStructure "WikiAbstract-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 ;
rdfs:subClassOf [ a owl:Restriction ;
owl:onProperty result:be ;
owl:someValuesFrom result:sun ],
### https://reference.tetras-libre.fr/expected-result#mass-WikiAbstract-SolarSystem-05
result:mass-WikiAbstract-SolarSystem-05 rdf:type owl:NamedIndividual ,
owl:Individual ,
base:Entity ,
result:mass ;
rdfs:label "mass (WikiAbstract-SolarSystem-05)" ;
base:fromStructure "WikiAbstract-SolarSystem-05" .
result:planet a owl:Class ;
rdfs:label "planet" ;
rdfs:subClassOf base:Entity ;
### https://reference.tetras-libre.fr/expected-result#planet-contain-remain-majority-mass
result:planet-contain-remain-majority-mass-WikiAbstract-SolarSystem-05 rdf:type owl:NamedIndividual ,
owl:Individual ,
result:planet-contain-remain-majority-mass ;
rdfs:label "planet-contain-remain-majority-mass (WikiAbstract-SolarSystem-05)" ;
result:contain result:remain-majority-mass-WikiAbstract-SolarSystem-05 .
### https://reference.tetras-libre.fr/expected-result#remain
result:remain rdf:type owl:NamedIndividual ,
owl:Individual ,
base:Degree ;
rdfs:label "remain" ;
base:fromStructure "WikiAbstract-SolarSystem-05" .
result:sun a owl:Class ;
rdfs:label "sun" ;
rdfs:subClassOf base:Entity ;
### 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 "WikiAbstract-SolarSystem-05" .
result:vast a owl:Individual,
base:Feature ;
rdfs:label "vast" ;
### https://reference.tetras-libre.fr/expected-result#remain-majority-mass
result:remain-majority-mass-WikiAbstract-SolarSystem-05 rdf:type owl:NamedIndividual ,
owl:Individual ,
result:remain-majority-mass ;
rdfs:label "remain-majority-mass (WikiAbstract-SolarSystem-05)" ;
base:fromStructure "WikiAbstract-SolarSystem-05" .
result:hasPart a owl:ObjectProperty ;
rdfs:label "hasPart" ;
rdfs:subPropertyOf base:Out_ObjectProperty ;
### https://reference.tetras-libre.fr/expected-result#vast
result:vast rdf:type owl:NamedIndividual ,
owl:Individual ,
base:Degree ;
rdfs:label "vast" ;
base:fromStructure "WikiAbstract-SolarSystem-05" .
result:mass a owl:Class ;
rdfs:label "mass" ;
rdfs:subClassOf base:Entity ;
### https://reference.tetras-libre.fr/expected-result#vast-majority
result:vast-majority rdf:type owl:NamedIndividual ,
owl:Individual ,
base:Feature ,
result:majority ;
result:hasFeature result:vast ;
rdfs:label "vast-majority" ;
base:fromStructure "WikiAbstract-SolarSystem-05" .
### Generated by the OWL API (version 4.5.9.2019-02-01T07:24:44Z) https://github.com/owlcs/owlapi
Coling23-v1-SolarSystem-20230922/reference-ontology-definitions/SolarSystemProd_factoid_6.ttl
+ 327
− 195
View file @ bd073cef
@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:more a owl:ObjectProperty ;
rdfs:label "more" ;
### https://reference.tetras-libre.fr/expected-result#compose-of
result:compose-of rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf base:Out_ObjectProperty ;
rdfs:label "compose-of" ;
base:fromStructure "WikiAbstract-SolarSystem-06" .
result:primary a owl:Class ;
rdfs:label "primary" ;
rdfs:subClassOf base:Undetermined_Thing ;
### 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 "WikiAbstract-SolarSystem-06" .
result:small a owl:Class ;
rdfs:label "small" ;
### https://reference.tetras-libre.fr/expected-result#primary-compose-of
result:primary-compose-of rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf result:compose-of ;
rdfs:label "primary-compose-of" ;
base:fromStructure "WikiAbstract-SolarSystem-06" .
#################################################################
# 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#inner-system
result:inner-system rdf:type owl:Class ;
rdfs:subClassOf result:system ,
[ rdf:type owl:Restriction ;
owl:onProperty result:hasFeature ;
owl:hasValue result:inner
] ;
base:fromStructure "WikiAbstract-SolarSystem-06" .
### https://reference.tetras-libre.fr/expected-result#inner-system-hasPart-planet
result:inner-system-hasPart-planet rdf:type owl:Class ;
rdfs:subClassOf result:inner-system ,
[ rdf:type owl:Restriction ;
owl:onProperty result:hasPart ;
owl:someValuesFrom result:planet
] ;
base:fromStructure "WikiAbstract-SolarSystem-06" .
### https://reference.tetras-libre.fr/expected-result#inner-system-hasPart-terrestrial-planet
result:inner-system-hasPart-terrestrial-planet rdf:type owl:Class ;
rdfs:subClassOf result:inner-system-hasPart-planet ,
[ rdf:type owl:Restriction ;
owl:onProperty result:hasPart ;
owl:someValuesFrom result:terrestrial-planet
] ;
base:fromStructure "WikiAbstract-SolarSystem-06" .
### https://reference.tetras-libre.fr/expected-result#metal
result:metal rdf:type owl:Class ;
rdfs:subClassOf base:Entity ;
rdfs:label "metal" ;
base:fromStructure "WikiAbstract-SolarSystem-06" .
### https://reference.tetras-libre.fr/expected-result#more-small-planet
result:more-small-planet rdf:type owl:Class ;
rdfs:subClassOf result:terrestrial-planet ,
[ rdf:type owl:Restriction ;
owl:onProperty result:hasFeature ;
owl:hasValue result:more-small
] ;
base:fromStructure "WikiAbstract-SolarSystem-06" .
### https://reference.tetras-libre.fr/expected-result#planet
result:planet rdf:type owl:Class ;
rdfs:subClassOf base:Entity ;
rdfs:label "planet" ;
base:fromStructure "WikiAbstract-SolarSystem-06" .
### https://reference.tetras-libre.fr/expected-result#planet-compose-of-metal
result:planet-compose-of-metal rdf:type owl:Class ;
rdfs:subClassOf result:terrestrial-planet ,
[ rdf:type owl:Restriction ;
owl:onProperty result:compose-of ;
owl:someValuesFrom result:metal
] ;
base:fromStructure "WikiAbstract-SolarSystem-06" .
### https://reference.tetras-libre.fr/expected-result#planet-compose-of-rock
result:planet-compose-of-rock rdf:type owl:Class ;
rdfs:subClassOf result:terrestrial-planet ,
[ rdf:type owl:Restriction ;
owl:onProperty result:compose-of ;
owl:someValuesFrom result:rock
] ;
base:fromStructure "WikiAbstract-SolarSystem-06" .
### https://reference.tetras-libre.fr/expected-result#planet-primary-compose-of-metal
result:planet-primary-compose-of-metal rdf:type owl:Class ;
rdfs:subClassOf result:planet-compose-of-metal ,
[ rdf:type owl:Restriction ;
owl:onProperty result:primary-compose-of ;
owl:someValuesFrom result:metal
] ;
base:fromStructure "WikiAbstract-SolarSystem-06" .
### https://reference.tetras-libre.fr/expected-result#planet-primary-compose-of-rock
result:planet-primary-compose-of-rock rdf:type owl:Class ;
rdfs:subClassOf result:planet-compose-of-rock ,
[ rdf:type owl:Restriction ;
owl:onProperty result:primary-compose-of ;
owl:someValuesFrom result:rock
] ;
base:fromStructure "WikiAbstract-SolarSystem-06" .
result:system-WikiAbstract-SolarSystem-06 a owl:Individual,
base:Entity,
result:inner-system-hasPart-planet,
result:inner-system-hasPart-planet-compose-metal,
result:inner-system-hasPart-planet-compose-rock ;
rdfs:label "system (WikiAbstract-SolarSystem-06)" ;
base:fromStructure "WikiAbstract-SolarSystem-06" ;
result:hasPart result:Earth,
result:Mars,
result:Mercury,
result:Venus .
result:terrestrial-planet a owl:Class ;
rdfs:subClassOf [ a owl:Restriction ;
owl:hasValue result:terrestrial ;
owl:onProperty result:hasFeature ],
result:planet ;
### https://reference.tetras-libre.fr/expected-result#rock
result:rock rdf:type owl:Class ;
rdfs:subClassOf base:Entity ;
rdfs:label "rock" ;
base:fromStructure "WikiAbstract-SolarSystem-06" .
### https://reference.tetras-libre.fr/expected-result#system
result:system rdf:type owl:Class ;
rdfs:subClassOf base:Entity ;
rdfs:label "system" ;
base:fromStructure "WikiAbstract-SolarSystem-06" .
### 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 "WikiAbstract-SolarSystem-06" .
result:Earth a owl:Individual,
#################################################################
# Individuals
#################################################################
### https://reference.tetras-libre.fr/expected-result#Earth
result:Earth rdf:type owl:NamedIndividual ,
owl:Individual ,
base:Entity ,
result:planet ,
result:planet-compose-metal,
result:planet-compose-rock ;
result:planet-primary-compose-of-metal ,
result:planet-primary-compose-of-rock ,
result:terrestrial-planet ;
result:compose-of result:metal-WikiAbstract-SolarSystem-06 ,
result:rock-WikiAbstract-SolarSystem-06 ;
rdfs:label "Earth" ;
base:fromStructure "WikiAbstract-SolarSystem-06" ;
result:compose result:metal-WikiAbstract-SolarSystem-06,
result:rock-WikiAbstract-SolarSystem-06 .
base:fromStructure "WikiAbstract-SolarSystem-06" .
result:Mars a owl:Individual,
### https://reference.tetras-libre.fr/expected-result#Mars
result:Mars rdf:type owl:NamedIndividual ,
owl:Individual ,
base:Entity ,
result:planet ,
result:planet-compose-metal,
result:planet-compose-rock ;
result:planet-primary-compose-of-metal ,
result:planet-primary-compose-of-rock ,
result:terrestrial-planet ;
result:compose-of result:metal-WikiAbstract-SolarSystem-06 ,
result:rock-WikiAbstract-SolarSystem-06 ;
rdfs:label "Mars" ;
base:fromStructure "WikiAbstract-SolarSystem-06" ;
result:compose result:metal-WikiAbstract-SolarSystem-06,
result:rock-WikiAbstract-SolarSystem-06 .
base:fromStructure "WikiAbstract-SolarSystem-06" .
result:Mercury a owl:Individual,
### https://reference.tetras-libre.fr/expected-result#Mercury
result:Mercury rdf:type owl:NamedIndividual ,
owl:Individual ,
base:Entity ,
result:planet ,
result:planet-compose-metal,
result:planet-compose-rock ;
result:planet-primary-compose-of-metal ,
result:planet-primary-compose-of-rock ,
result:terrestrial-planet ;
result:compose-of result:metal-WikiAbstract-SolarSystem-06 ,
result:rock-WikiAbstract-SolarSystem-06 ;
rdfs:label "Mercury" ;
base:fromStructure "WikiAbstract-SolarSystem-06" ;
result:compose result:metal-WikiAbstract-SolarSystem-06,
result:rock-WikiAbstract-SolarSystem-06 .
base:fromStructure "WikiAbstract-SolarSystem-06" .
result:Venus a owl:Individual,
### https://reference.tetras-libre.fr/expected-result#Venus
result:Venus rdf:type owl:NamedIndividual ,
owl:Individual ,
base:Entity ,
result:planet ,
result:planet-compose-metal,
result:planet-compose-rock ;
result:planet-primary-compose-of-metal ,
result:planet-primary-compose-of-rock ,
result:terrestrial-planet ;
result:compose-of result:metal-WikiAbstract-SolarSystem-06 ,
result:rock-WikiAbstract-SolarSystem-06 ;
rdfs:label "Venus" ;
base:fromStructure "WikiAbstract-SolarSystem-06" ;
result:compose result:metal-WikiAbstract-SolarSystem-06,
result:rock-WikiAbstract-SolarSystem-06 .
result:inner-system a owl:Class ;
rdfs:subClassOf [ a owl:Restriction ;
owl:hasValue result:inner ;
owl:onProperty result:hasFeature ],
result:system ;
base:fromStructure "WikiAbstract-SolarSystem-06" .
result:inner-system-hasPart-planet-compose-metal a owl:Class ;
rdfs:subClassOf [ a owl:Restriction ;
owl:onProperty result:hasPart ;
owl:someValuesFrom result:planet-compose-metal ],
result:inner-system-hasPart-planet ;
base:fromStructure "WikiAbstract-SolarSystem-06" .
result:inner-system-hasPart-planet-compose-rock a owl:Class ;
rdfs:subClassOf [ a owl:Restriction ;
owl:onProperty result:hasPart ;
owl:someValuesFrom result:planet-compose-rock ],
result:inner-system-hasPart-planet ;
base:fromStructure "WikiAbstract-SolarSystem-06" .
result:system a owl:Class ;
rdfs:label "system" ;
rdfs:subClassOf base:Entity ;
base:fromStructure "WikiAbstract-SolarSystem-06" .
result:inner a owl:Individual,
### https://reference.tetras-libre.fr/expected-result#inner
result:inner rdf:type owl:NamedIndividual ,
owl:Individual ,
base:Feature ;
rdfs:label "inner" ;
base:fromStructure "WikiAbstract-SolarSystem-06" .
result:terrestrial a owl:Individual,
base:Feature ;
rdfs:label "terrestrial" ;
### https://reference.tetras-libre.fr/expected-result#metal-WikiAbstract-SolarSystem-06
result:metal-WikiAbstract-SolarSystem-06 rdf:type owl:NamedIndividual ,
owl:Individual ,
base:Entity ,
result:metal ;
rdfs:label "metal (WikiAbstract-SolarSystem-06)" ;
base:fromStructure "WikiAbstract-SolarSystem-06" .
result:inner-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:inner-system ;
### https://reference.tetras-libre.fr/expected-result#more
result:more rdf:type owl:NamedIndividual ,
owl:Individual ,
base:Degree .
### 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 "WikiAbstract-SolarSystem-06" .
result:hasFeature a owl:ObjectProperty ;
rdfs:label "hasFeature" ;
rdfs:subPropertyOf base:Out_ObjectProperty ;
base:fromStructure "predefinedProperty" .
result:metal-WikiAbstract-SolarSystem-06 a owl:Individual,
base:Entity,
result:metal ;
rdfs:label "metal (WikiAbstract-SolarSystem-06)" ;
### https://reference.tetras-libre.fr/expected-result#primary
result:primary rdf:type owl:NamedIndividual ,
owl:Individual ,
base:Degree ;
rdfs:label "primary" ;
base:fromStructure "WikiAbstract-SolarSystem-06" .
result:rock-WikiAbstract-SolarSystem-06 a owl:Individual,
### https://reference.tetras-libre.fr/expected-result#rock-WikiAbstract-SolarSystem-06
result:rock-WikiAbstract-SolarSystem-06 rdf:type owl:NamedIndividual ,
owl:Individual ,
base:Entity ,
result:rock ;
rdfs:label "rock (WikiAbstract-SolarSystem-06)" ;
base:fromStructure "WikiAbstract-SolarSystem-06" .
result:planet-compose-metal a owl:Class ;
rdfs:subClassOf [ a owl:Restriction ;
owl:onProperty result:compose ;
owl:someValuesFrom result:metal ],
[ a owl:Restriction ;
owl:onProperty result:compose ;
owl:someValuesFrom result:metal ],
[ a owl:Restriction ;
owl:onProperty result:compose ;
owl:someValuesFrom result:metal ],
[ a owl:Restriction ;
owl:onProperty result:compose ;
owl:someValuesFrom result:metal ],
result:planet ;
base:fromStructure "WikiAbstract-SolarSystem-06" .
result:planet-compose-rock a owl:Class ;
rdfs:subClassOf [ a owl:Restriction ;
owl:onProperty result:compose ;
owl:someValuesFrom result:rock ],
[ a owl:Restriction ;
owl:onProperty result:compose ;
owl:someValuesFrom result:rock ],
[ a owl:Restriction ;
owl:onProperty result:compose ;
owl:someValuesFrom result:rock ],
[ a owl:Restriction ;
owl:onProperty result:compose ;
owl:someValuesFrom result:rock ],
result:planet ;
base:fromStructure "WikiAbstract-SolarSystem-06" .
result:hasPart a owl:ObjectProperty ;
rdfs:label "hasPart" ;
rdfs:subPropertyOf base:Out_ObjectProperty ;
base:fromStructure "WikiAbstract-SolarSystem-06" .
result:metal a owl:Class ;
rdfs:label "metal" ;
rdfs:subClassOf base:Entity ;
### https://reference.tetras-libre.fr/expected-result#small
result:small rdf:type owl:NamedIndividual ,
owl:Individual ,
base:Feature ;
rdfs:label "small" ;
base:fromStructure "WikiAbstract-SolarSystem-06" .
result:rock a owl:Class ;
rdfs:label "rock" ;
rdfs:subClassOf base:Entity ;
base:fromStructure "WikiAbstract-SolarSystem-06" .
result:planet a owl:Class ;
rdfs:label "planet" ;
rdfs:subClassOf base:Entity,
base:Undetermined_Thing ;
### https://reference.tetras-libre.fr/expected-result#system-WikiAbstract-SolarSystem-06
result:system-WikiAbstract-SolarSystem-06 rdf:type owl:NamedIndividual ,
owl:Individual ,
base:Entity ,
result:inner-system-hasPart-terrestrial-planet ;
result:hasPart result:Earth ,
result:Mars ,
result:Mercury ,
result:Venus ;
rdfs:label "system (WikiAbstract-SolarSystem-06)" ;
base:fromStructure "WikiAbstract-SolarSystem-06" .
result:compose a owl:ObjectProperty ;
rdfs:label "compose" ;
rdfs:subPropertyOf base:Out_ObjectProperty ;
### https://reference.tetras-libre.fr/expected-result#terrestrial
result:terrestrial rdf:type owl:NamedIndividual ,
owl:Individual ,
base:Feature ;
rdfs:label "terrestrial" ;
base:fromStructure "WikiAbstract-SolarSystem-06" .
### 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