Skip to content
Snippets Groups Projects
Commit 48764805 authored by David Rouquet's avatar David Rouquet
Browse files

SSC-06-01 OWL sans les assertions 'compose'

parent b94c9d8b
No related branches found
No related tags found
No related merge requests found
...@@ -12,62 +12,126 @@ ...@@ -12,62 +12,126 @@
# Object Properties # Object Properties
################################################################# #################################################################
### https://tetras-libre.fr/mars/ssc#compose_01
:compose_01 rdf:type owl:ObjectProperty .
### https://tetras-libre.fr/mars/ssc#part_of ### https://tetras-libre.fr/mars/ssc#part_of
:part_of rdf:type owl:ObjectProperty . :part_of rdf:type owl:ObjectProperty .
### https://tetras-libre.fr/mars/ssc#primary_compose-01
:primary_compose-01 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf :compose_01 .
#################################################################
# Data properties
#################################################################
### https://tetras-libre.fr/mars/ssc#small
:small rdf:type owl:DatatypeProperty .
################################################################# #################################################################
# Classes # Classes
################################################################# #################################################################
### https://tetras-libre.fr/mars/ssc#and_n_n2_n3_n4
:and_n_n2_n3_n4 rdf:type owl:Class ;
rdfs:subClassOf :range_primary_compose-01 ,
:terrestrial_planet .
### https://tetras-libre.fr/mars/ssc#and_r_m
:and_r_m rdf:type owl:Class .
### https://tetras-libre.fr/mars/ssc#domain_compose
:domain_compose rdf:type owl:Class ;
rdfs:subClassOf <https://tetras-libre.fr/mars/tenet#propertyDomain> .
### https://tetras-libre.fr/mars/ssc#domain_small
:domain_small rdf:type owl:Class ;
rdfs:subClassOf <https://tetras-libre.fr/mars/tenet#propertyDomain> .
### https://tetras-libre.fr/mars/ssc#inner_system ### https://tetras-libre.fr/mars/ssc#inner_system
:inner_system rdf:type owl:Class ; :inner_system rdf:type owl:Class ;
rdfs:subClassOf :system . rdfs:subClassOf :system .
### https://tetras-libre.fr/mars/ssc#metal
:metal rdf:type owl:Class ;
rdfs:subClassOf :and_r_m .
### https://tetras-libre.fr/mars/ssc#planet ### https://tetras-libre.fr/mars/ssc#planet
:planet rdf:type owl:Class . :planet rdf:type owl:Class .
### https://tetras-libre.fr/mars/ssc#range_primary_compose-01
:range_primary_compose-01 rdf:type owl:Class ;
rdfs:subClassOf <https://tetras-libre.fr/mars/tenet#propertyRange> .
### https://tetras-libre.fr/mars/ssc#rock
:rock rdf:type owl:Class ;
rdfs:subClassOf :and_r_m .
### https://tetras-libre.fr/mars/ssc#system ### https://tetras-libre.fr/mars/ssc#system
:system rdf:type owl:Class . :system rdf:type owl:Class .
### https://tetras-libre.fr/mars/ssc#terestrial_planet ### https://tetras-libre.fr/mars/ssc#terrestrial_planet
:terestrial_planet rdf:type owl:Class ; :terrestrial_planet rdf:type owl:Class ;
rdfs:subClassOf :planet . rdfs:subClassOf :planet .
### https://tetras-libre.fr/mars/tenet#propertyDomain
<https://tetras-libre.fr/mars/tenet#propertyDomain> rdf:type owl:Class .
### https://tetras-libre.fr/mars/tenet#propertyRange
<https://tetras-libre.fr/mars/tenet#propertyRange> rdf:type owl:Class .
################################################################# #################################################################
# Individuals # Individuals
################################################################# #################################################################
### https://tetras-libre.fr/mars/ssc#Earth ### https://tetras-libre.fr/mars/ssc#Earth
:Earth rdf:type owl:NamedIndividual , :Earth rdf:type owl:NamedIndividual ,
:terestrial_planet ; :and_n_n2_n3_n4 ,
:part_of :inner_system_01 . :planet ;
:part_of :inner_system__1 .
### https://tetras-libre.fr/mars/ssc#Mars ### https://tetras-libre.fr/mars/ssc#Mars
:Mars rdf:type owl:NamedIndividual , :Mars rdf:type owl:NamedIndividual ,
:terestrial_planet ; :and_n_n2_n3_n4 ,
:part_of :inner_system_01 . :planet ;
:part_of :inner_system__1 .
### https://tetras-libre.fr/mars/ssc#Mercury ### https://tetras-libre.fr/mars/ssc#Mercury
:Mercury rdf:type owl:NamedIndividual , :Mercury rdf:type owl:NamedIndividual ,
:terestrial_planet ; :and_n_n2_n3_n4 ,
:part_of :inner_system_01 . :planet ;
:part_of :inner_system__1 .
### https://tetras-libre.fr/mars/ssc#Venus ### https://tetras-libre.fr/mars/ssc#Venus
:Venus rdf:type owl:NamedIndividual , :Venus rdf:type owl:NamedIndividual ,
:terestrial_planet ; :and_n_n2_n3_n4 ,
:part_of :inner_system_01 . :planet ;
:part_of :inner_system__1 .
### https://tetras-libre.fr/mars/ssc#inner_system_01 ### https://tetras-libre.fr/mars/ssc#inner_system__1
:inner_system_01 rdf:type owl:NamedIndividual , :inner_system__1 rdf:type owl:NamedIndividual ,
:inner_system . :inner_system .
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment