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

Update SSC-03-01, SSC-03-02, SSC-03-03

parent 73201883
No related branches found
No related tags found
No related merge requests found
......@@ -71,14 +71,53 @@
# ::comment "... the smallest planet, Mercury ..."
:planet a rdfs:Class .
:most-small-planet
a rdfs:Class ;
rdfs:subClassOf :planet .
:Mercury
a owl:individual ;
a :most-small-planet .
# ::comment "one, two objects ..."
:object-x
a owl:individual ;
a object-orbit-sun-not-directly .
:object-y
a owl:individual ;
a object-orbit-sun-not-directly .
:object-z
a owl:individual ;
a object-orbit-sun-not-directly .
# ::comment "two are larger than the smallest planet ..."
:large a owl:objectProperty .
:more-large
a owl:ObjectProperty ;
rdfs:subPropertyOf :equal .
:object-x :more-large :Mercury.
:object-y :more-large :Mercury.
# ::comment "one more almost equals it in size ..."
:equal a owl:objectProperty .
:almost-more-equal
a owl:ObjectProperty ;
rdfs:subPropertyOf :equal .
:object-z :almost-more-equal :Mercury.
# ::id SSC-03-02
# ::snt Two objects that orbit the Sun indirectly are larger than the smallest planet, Mercury.
@base <https://tetras-libre.fr/mars/ssc> .
@prefix : <https://tetras-libre.fr/mars/ssc#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
# ::predefined-property :has-part :part-of :manner
:part-of a owl:ObjectProperty .
:has-part
a owl:ObjectProperty ;
owl:inverseOf :part-of .
:manner a owl:DatatypeProperty .
# ::comment "... objects that orbit the Sun indirectly ..."
:object a rdfs:Class .
:orbit a owl:ObjectProperty .
:sun a owl:individual .
:object-orbit-sun a rdfs:Class ;
rdfs:subClassOf :object ;
rdfs:subClassOf [
a owl:Restriction ;
owl:onProperty :orbit ;
owl:hasValue :sun
] .
:object-orbit-sun-not-directly a rdfs:Class ;
rdfs:subClassOf :celestial-object-orbit-sun ;
rdfs:subClassOf [
a owl:Restriction ;
owl:onProperty :not-direct-orbit ;
owl:hasValue :sun
] .
:direct-orbit a owl:ObjectProperty ;
rdfs:subPropertyOf :orbit ;
:manner "direct" .
:not-direct-orbit a owl:ObjectProperty ;
owl:inverseOf :direct-orbit .
# ::comment "... the smallest planet, Mercury ..."
:planet a rdfs:Class .
:most-small-planet
a rdfs:Class ;
rdfs:subClassOf :planet .
:Mercury
a owl:individual ;
a :most-small-planet .
# ::comment "two objects ..."
:object-x
a owl:individual ;
a object-orbit-sun-not-directly .
:object-y
a owl:individual ;
a object-orbit-sun-not-directly .
# ::comment "[two] are larger than [Mercury] ..."
:large a owl:objectProperty .
:more-large
a owl:ObjectProperty ;
rdfs:subPropertyOf :equal .
:object-x :more-large :Mercury.
:object-y :more-large :Mercury.
# ::id SSC-03-03
# ::snt One object that orbit the Sun indirectly is more almost equals than the smallest planet, Mercury in size.
@base <https://tetras-libre.fr/mars/ssc> .
@prefix : <https://tetras-libre.fr/mars/ssc#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
# ::predefined-property :has-part :part-of :manner
:part-of a owl:ObjectProperty .
:has-part
a owl:ObjectProperty ;
owl:inverseOf :part-of .
:manner a owl:DatatypeProperty .
# ::comment "object that orbit the Sun indirectly ..."
:object a rdfs:Class .
:orbit a owl:ObjectProperty .
:sun a owl:individual .
:object-orbit-sun a rdfs:Class ;
rdfs:subClassOf :object ;
rdfs:subClassOf [
a owl:Restriction ;
owl:onProperty :orbit ;
owl:hasValue :sun
] .
:object-orbit-sun-not-directly a rdfs:Class ;
rdfs:subClassOf :celestial-object-orbit-sun ;
rdfs:subClassOf [
a owl:Restriction ;
owl:onProperty :not-direct-orbit ;
owl:hasValue :sun
] .
:direct-orbit a owl:ObjectProperty ;
rdfs:subPropertyOf :orbit ;
:manner "direct" .
:not-direct-orbit a owl:ObjectProperty ;
owl:inverseOf :direct-orbit .
# ::comment "One object ..."
:object-x
a owl:individual ;
a object-orbit-sun-not-directly .
# ::comment "... the smallest planet, Mercury ..."
:planet a rdfs:Class .
:most-small-planet
a rdfs:Class ;
rdfs:subClassOf :planet .
:Mercury
a owl:individual ;
a :most-small-planet .
# ::comment " [object] is more almost equals than [Mercury] ..."
:equal a owl:objectProperty .
:almost-more-equal
a owl:ObjectProperty ;
rdfs:subPropertyOf :equal .
:object-x :almost-more-equal :Mercury.
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment