From 4f8f627d91adb778824c4a98e836bd4c8fc7269b Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Aur=C3=A9lien=20Lamercerie?= <aurelien.lamercerie@tetras-libre.fr> Date: Tue, 10 Oct 2023 18:01:51 +0200 Subject: [PATCH] Update SolarSystem 2023-10-05: reference 11 to 14 --- .../SolarSystemProd_factoid_11.ttl | 221 +++++++++++++----- .../SolarSystemProd_factoid_12.ttl | 174 ++++++++++---- .../SolarSystemProd_factoid_13.ttl | 176 ++++++++------ .../SolarSystemProd_factoid_14.ttl | 197 +++++++++++----- 4 files changed, 534 insertions(+), 234 deletions(-) diff --git a/SolarSystem-20231005/reference-ontology-definitions/SolarSystemProd_factoid_11.ttl b/SolarSystem-20231005/reference-ontology-definitions/SolarSystemProd_factoid_11.ttl index 6a40fab..dd10518 100644 --- a/SolarSystem-20231005/reference-ontology-definitions/SolarSystemProd_factoid_11.ttl +++ b/SolarSystem-20231005/reference-ontology-definitions/SolarSystemProd_factoid_11.ttl @@ -1,68 +1,163 @@ -@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 . + + +### 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" . + + +### 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" . + + +### 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" . + + +################################################################# +# 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" . + + +### 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" . + + +### 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" . + +### 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" . + + +### 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" . + + +### 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" ; + base:fromStructure "SolarSystem-11" . + + +################################################################# +# 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" . + +### 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" . -result:compare a owl:ObjectProperty ; - rdfs:label "compare" ; - rdfs:subPropertyOf base:Out_ObjectProperty ; - base:fromStructure "SolarSystem-11" . - -result:hasFeature a owl:ObjectProperty ; - rdfs:label "hasFeature" ; - rdfs:subPropertyOf base:Out_ObjectProperty ; - 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" ; - rdfs:subPropertyOf base:Out_ObjectProperty ; - base:fromStructure "SolarSystem-11" . - -result:hydrogen a owl:Class ; - rdfs:label "hydrogen" ; - rdfs:subClassOf base:Entity ; - base:fromStructure "SolarSystem-11" . - -result:melt a owl:ObjectProperty ; - rdfs:label "melt" ; - rdfs:subPropertyOf base:Out_ObjectProperty ; - base:fromStructure "SolarSystem-11" . - -result:relative a owl:ObjectProperty ; - rdfs:label "relative" ; - rdfs:subPropertyOf base:Out_ObjectProperty ; - 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 ; - base:fromStructure "SolarSystem-11" . - -result:substance a owl:Class ; - rdfs:label "substance" ; - rdfs:subClassOf base:Entity ; - base:fromStructure "SolarSystem-11" . - -result:volatile a owl:Class ; - rdfs:label "volatile" ; - rdfs:subClassOf base:Entity ; - base:fromStructure "SolarSystem-11" . - -result:have a owl:ObjectProperty ; - rdfs:label "have" ; - rdfs:subPropertyOf base:Out_ObjectProperty ; - base:fromStructure "SolarSystem-11" . - -result:point a owl:Class ; - rdfs:label "point" ; - rdfs:subClassOf base:Entity ; - 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" . diff --git a/SolarSystem-20231005/reference-ontology-definitions/SolarSystemProd_factoid_12.ttl b/SolarSystem-20231005/reference-ontology-definitions/SolarSystemProd_factoid_12.ttl index b89fb55..f62d3dd 100644 --- a/SolarSystem-20231005/reference-ontology-definitions/SolarSystemProd_factoid_12.ttl +++ b/SolarSystem-20231005/reference-ontology-definitions/SolarSystemProd_factoid_12.ttl @@ -1,47 +1,137 @@ -@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 . + + +### 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" . + + +### 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" . + + +### 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" . + + +################################################################# +# 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" . + + +### 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" . + + +### 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" . + +### 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" . -result:all a owl:ObjectProperty ; - rdfs:label "all" ; - rdfs:subPropertyOf base:Out_ObjectProperty ; - 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" ; - rdfs:subPropertyOf base:Out_ObjectProperty ; - base:fromStructure "SolarSystem-12" . - -result:orbit a owl:ObjectProperty ; - rdfs:label "orbit" ; - rdfs:subPropertyOf base:Out_ObjectProperty ; - base:fromStructure "SolarSystem-12" . - -result:planet a owl:Class ; - rdfs:label "planet" ; - rdfs:subClassOf base:Entity ; - base:fromStructure "SolarSystem-12" . - -result:circular a owl:Class ; - rdfs:label "circular" ; - rdfs:subClassOf base:Undetermined_Thing ; - base:fromStructure "SolarSystem-12" . - -result:almost a 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" . +### Generated by the OWL API (version 4.5.9.2019-02-01T07:24:44Z) https://github.com/owlcs/owlapi diff --git a/SolarSystem-20231005/reference-ontology-definitions/SolarSystemProd_factoid_13.ttl b/SolarSystem-20231005/reference-ontology-definitions/SolarSystemProd_factoid_13.ttl index 1ba5c4e..da69d48 100644 --- a/SolarSystem-20231005/reference-ontology-definitions/SolarSystemProd_factoid_13.ttl +++ b/SolarSystem-20231005/reference-ontology-definitions/SolarSystemProd_factoid_13.ttl @@ -1,70 +1,116 @@ -@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 . + + +### 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#lie +result:lie rdf:type owl:ObjectProperty ; + rdfs:subPropertyOf base:Out_ObjectProperty ; + rdfs:label "lie" ; + base:fromStructure "SolarSystem-13" . + + +################################################################# +# 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/expected-result#disc +result:disc rdf:type owl:Class ; + rdfs:subClassOf base:Entity ; + rdfs:label "disc" ; + base:fromStructure "SolarSystem-13" . + + +### 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" . + + +### https://reference.tetras-libre.fr/expected-result#ecliptic +result:ecliptic rdf:type owl:NamedIndividual , + owl:Individual , + base:Entity , + result:near-flat-disc ; + rdfs:label "ecliptic" ; + base:fromStructure "SolarSystem-13" . + +### 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" . + +### 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" . -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 . - -result:flat a owl:ObjectProperty ; - rdfs:label "flat" ; - rdfs:subPropertyOf base:Out_ObjectProperty ; - base:fromStructure "SolarSystem-13" . - -result:hasFeature a owl:ObjectProperty ; - rdfs:label "hasFeature" ; - rdfs:subPropertyOf base:Out_ObjectProperty ; - 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" ; - rdfs:subPropertyOf base:Out_ObjectProperty ; - 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" . - -result:disc a owl:Class ; - rdfs:label "disc" ; - rdfs:subClassOf base:Entity ; - 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 ; - base:fromStructure "SolarSystem-13" . - -result:ecliptic a owl:Individual, - base:Entity, - result:thing ; - rdfs:label "ecliptic" ; - base:fromStructure "SolarSystem-13" . - -result:call a owl:ObjectProperty ; - rdfs:label "call" ; - rdfs:subPropertyOf base:Out_ObjectProperty ; - base:fromStructure "SolarSystem-13" . - -result:thing a owl:Class ; - rdfs:label "thing" ; - rdfs:subClassOf base:Entity ; - base:fromStructure "SolarSystem-13" . +### Generated by the OWL API (version 4.5.9.2019-02-01T07:24:44Z) https://github.com/owlcs/owlapi diff --git a/SolarSystem-20231005/reference-ontology-definitions/SolarSystemProd_factoid_14.ttl b/SolarSystem-20231005/reference-ontology-definitions/SolarSystemProd_factoid_14.ttl index 20ff0ad..dbd11e3 100644 --- a/SolarSystem-20231005/reference-ontology-definitions/SolarSystemProd_factoid_14.ttl +++ b/SolarSystem-20231005/reference-ontology-definitions/SolarSystemProd_factoid_14.ttl @@ -1,69 +1,138 @@ -@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 . + + +### 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" . + + +### 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" . + + +### 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" . + + +### 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 + ] ; + base:fromStructure "SolarSystem-14" . + + +################################################################# +# 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" . + + +### 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" . + + +### 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" . + + +### 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" . -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 . - -result:also a owl:Class ; - rdfs:label "also" ; - rdfs:subClassOf base:Undetermined_Thing ; - base:fromStructure "SolarSystem-14" . - -result:more a owl:Individual, - base:Degree ; - rdfs:label "more" ; - base:fromStructure "SolarSystem-14" . - -result:object a owl:Class ; - rdfs:label "object" ; - rdfs:subClassOf base:Entity ; - 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 ; - owl:onProperty result:contain ; - owl:someValuesFrom result:more-small-object ], - result:system ; - base:fromStructure "SolarSystem-14" . - -result:contain a owl:ObjectProperty ; - rdfs:label "contain" ; - rdfs:subPropertyOf base:Out_ObjectProperty ; - 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 ; - base:fromStructure "SolarSystem-14" . - -result:more-small a 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 ; - base:fromStructure "SolarSystem-14" . +### Generated by the OWL API (version 4.5.9.2019-02-01T07:24:44Z) https://github.com/owlcs/owlapi -- GitLab