From b94c9d8b10f6e59f8b2648c123caaa6d906ba7d9 Mon Sep 17 00:00:00 2001
From: David Rouquet <david.rouquet@tetras-libre.fr>
Date: Mon, 8 Aug 2022 16:45:50 +0200
Subject: [PATCH] SSC-07-01 et SSC-07-02 OWL sans comparaison 'more massive'
---
data/SSC-07/SSC-07-01/SSC-07-01.dr.owl.ttl | 80 ++++++++++------
data/SSC-07/SSC-07-02/SSC-07-01.dr.owl.ttl | 104 +++++++++++++++++++++
2 files changed, 158 insertions(+), 26 deletions(-)
create mode 100644 data/SSC-07/SSC-07-02/SSC-07-01.dr.owl.ttl
diff --git a/data/SSC-07/SSC-07-01/SSC-07-01.dr.owl.ttl b/data/SSC-07/SSC-07-01/SSC-07-01.dr.owl.ttl
index 620e8d1..b77b7d6 100644
--- a/data/SSC-07/SSC-07-01/SSC-07-01.dr.owl.ttl
+++ b/data/SSC-07/SSC-07-01/SSC-07-01.dr.owl.ttl
@@ -12,16 +12,36 @@
# Object Properties
#################################################################
-### https://tetras-libre.fr/mars/ssc#part_of
-:part_of rdf:type owl:ObjectProperty .
+### https://tetras-libre.fr/mars/tenet#part_of
+<https://tetras-libre.fr/mars/tenet#part_of> rdf:type owl:ObjectProperty .
+
+
+#################################################################
+# Data properties
+#################################################################
+
+### https://tetras-libre.fr/mars/ssc#massive
+:massive rdf:type owl:DatatypeProperty ;
+ rdfs:domain :domain-massive .
#################################################################
# Classes
#################################################################
-### https://tetras-libre.fr/mars/ssc#inner_system
-:inner_system rdf:type owl:Class ;
+### https://tetras-libre.fr/mars/ssc#domain-massive
+:domain-massive rdf:type owl:Class ;
+ rdfs:subClassOf <https://tetras-libre.fr/mars/tenet#propertyDomains> .
+
+
+### https://tetras-libre.fr/mars/ssc#giant_planet
+:giant_planet rdf:type owl:Class ;
+ rdfs:subClassOf :domain-massive ,
+ :planet .
+
+
+### https://tetras-libre.fr/mars/ssc#outer_system
+:outer_system rdf:type owl:Class ;
rdfs:subClassOf :system .
@@ -33,42 +53,50 @@
:system rdf:type owl:Class .
-### https://tetras-libre.fr/mars/ssc#terestrial_planet
-:terestrial_planet rdf:type owl:Class ;
- rdfs:subClassOf :planet .
+### https://tetras-libre.fr/mars/ssc#terestrial
+:terestrial rdf:type owl:Class .
+
+
+### https://tetras-libre.fr/mars/ssc#4_outer_system_planets
+<https://tetras-libre.fr/mars/ssc#4_outer_system_planets> rdf:type owl:Class ;
+ rdfs:subClassOf :giant_planet .
+
+
+### https://tetras-libre.fr/mars/tenet#propertyDomains
+<https://tetras-libre.fr/mars/tenet#propertyDomains> rdf:type owl:Class .
#################################################################
# Individuals
#################################################################
-### https://tetras-libre.fr/mars/ssc#Earth
-:Earth rdf:type owl:NamedIndividual ,
- :terestrial_planet ;
- :part_of :inner_system_01 .
+### https://tetras-libre.fr/mars/ssc#outer_system__01
+:outer_system__01 rdf:type owl:NamedIndividual ,
+ :outer_system .
-### https://tetras-libre.fr/mars/ssc#Mars
-:Mars rdf:type owl:NamedIndividual ,
- :terestrial_planet ;
- :part_of :inner_system_01 .
+### https://tetras-libre.fr/mars/ssc#4_outer_system_planets__1
+<https://tetras-libre.fr/mars/ssc#4_outer_system_planets__1> rdf:type owl:NamedIndividual ,
+ <https://tetras-libre.fr/mars/ssc#4_outer_system_planets> ;
+ <https://tetras-libre.fr/mars/tenet#part_of> :outer_system__01 .
-### https://tetras-libre.fr/mars/ssc#Mercury
-:Mercury rdf:type owl:NamedIndividual ,
- :terestrial_planet ;
- :part_of :inner_system_01 .
+### https://tetras-libre.fr/mars/ssc#4_outer_system_planets__2
+<https://tetras-libre.fr/mars/ssc#4_outer_system_planets__2> rdf:type owl:NamedIndividual ,
+ <https://tetras-libre.fr/mars/ssc#4_outer_system_planets> ;
+ <https://tetras-libre.fr/mars/tenet#part_of> :outer_system__01 .
-### https://tetras-libre.fr/mars/ssc#Venus
-:Venus rdf:type owl:NamedIndividual ,
- :terestrial_planet ;
- :part_of :inner_system_01 .
+### https://tetras-libre.fr/mars/ssc#4_outer_system_planets__3
+<https://tetras-libre.fr/mars/ssc#4_outer_system_planets__3> rdf:type owl:NamedIndividual ,
+ <https://tetras-libre.fr/mars/ssc#4_outer_system_planets> ;
+ <https://tetras-libre.fr/mars/tenet#part_of> :outer_system__01 .
-### https://tetras-libre.fr/mars/ssc#inner_system_01
-:inner_system_01 rdf:type owl:NamedIndividual ,
- :inner_system .
+### https://tetras-libre.fr/mars/ssc#4_outer_system_planets__4
+<https://tetras-libre.fr/mars/ssc#4_outer_system_planets__4> rdf:type owl:NamedIndividual ,
+ <https://tetras-libre.fr/mars/ssc#4_outer_system_planets> ;
+ <https://tetras-libre.fr/mars/tenet#part_of> :outer_system__01 .
### Generated by the OWL API (version 4.5.9.2019-02-01T07:24:44Z) https://github.com/owlcs/owlapi
diff --git a/data/SSC-07/SSC-07-02/SSC-07-01.dr.owl.ttl b/data/SSC-07/SSC-07-02/SSC-07-01.dr.owl.ttl
new file mode 100644
index 0000000..06ab357
--- /dev/null
+++ b/data/SSC-07/SSC-07-02/SSC-07-01.dr.owl.ttl
@@ -0,0 +1,104 @@
+@prefix : <https://tetras-libre.fr/mars/ssc#> .
+@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 rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
+@base <https://tetras-libre.fr/mars/ssc#> .
+
+<https://tetras-libre.fr/mars/ssc#> rdf:type owl:Ontology .
+
+#################################################################
+# Object Properties
+#################################################################
+
+### https://tetras-libre.fr/mars/tenet#part_of
+<https://tetras-libre.fr/mars/tenet#part_of> rdf:type owl:ObjectProperty .
+
+
+#################################################################
+# Data properties
+#################################################################
+
+### https://tetras-libre.fr/mars/ssc#massive
+:massive rdf:type owl:DatatypeProperty ;
+ rdfs:domain :domain-massive .
+
+
+#################################################################
+# Classes
+#################################################################
+
+### https://tetras-libre.fr/mars/ssc#domain-massive
+:domain-massive rdf:type owl:Class ;
+ rdfs:subClassOf <https://tetras-libre.fr/mars/tenet#propertyDomains> .
+
+
+### https://tetras-libre.fr/mars/ssc#giant_planet
+:giant_planet rdf:type owl:Class ;
+ rdfs:subClassOf :domain-massive ,
+ :planet .
+
+
+### https://tetras-libre.fr/mars/ssc#outer_system
+:outer_system rdf:type owl:Class ;
+ rdfs:subClassOf :system .
+
+
+### https://tetras-libre.fr/mars/ssc#planet
+:planet rdf:type owl:Class .
+
+
+### https://tetras-libre.fr/mars/ssc#system
+:system rdf:type owl:Class .
+
+
+### https://tetras-libre.fr/mars/ssc#terestrial_planet
+:terestrial_planet rdf:type owl:Class ;
+ rdfs:subClassOf :domain-massive ,
+ :planet .
+
+
+### https://tetras-libre.fr/mars/ssc#4_outer_system_planets
+<https://tetras-libre.fr/mars/ssc#4_outer_system_planets> rdf:type owl:Class ;
+ rdfs:subClassOf :giant_planet .
+
+
+### https://tetras-libre.fr/mars/tenet#propertyDomains
+<https://tetras-libre.fr/mars/tenet#propertyDomains> rdf:type owl:Class .
+
+
+#################################################################
+# Individuals
+#################################################################
+
+### https://tetras-libre.fr/mars/ssc#outer_system__01
+:outer_system__01 rdf:type owl:NamedIndividual ,
+ :outer_system .
+
+
+### https://tetras-libre.fr/mars/ssc#4_outer_system_planets__1
+<https://tetras-libre.fr/mars/ssc#4_outer_system_planets__1> rdf:type owl:NamedIndividual ,
+ <https://tetras-libre.fr/mars/ssc#4_outer_system_planets> ;
+ <https://tetras-libre.fr/mars/tenet#part_of> :outer_system__01 .
+
+
+### https://tetras-libre.fr/mars/ssc#4_outer_system_planets__2
+<https://tetras-libre.fr/mars/ssc#4_outer_system_planets__2> rdf:type owl:NamedIndividual ,
+ <https://tetras-libre.fr/mars/ssc#4_outer_system_planets> ;
+ <https://tetras-libre.fr/mars/tenet#part_of> :outer_system__01 .
+
+
+### https://tetras-libre.fr/mars/ssc#4_outer_system_planets__3
+<https://tetras-libre.fr/mars/ssc#4_outer_system_planets__3> rdf:type owl:NamedIndividual ,
+ <https://tetras-libre.fr/mars/ssc#4_outer_system_planets> ;
+ <https://tetras-libre.fr/mars/tenet#part_of> :outer_system__01 .
+
+
+### https://tetras-libre.fr/mars/ssc#4_outer_system_planets__4
+<https://tetras-libre.fr/mars/ssc#4_outer_system_planets__4> rdf:type owl:NamedIndividual ,
+ <https://tetras-libre.fr/mars/ssc#4_outer_system_planets> ;
+ <https://tetras-libre.fr/mars/tenet#part_of> :outer_system__01 .
+
+
+### Generated by the OWL API (version 4.5.9.2019-02-01T07:24:44Z) https://github.com/owlcs/owlapi
--
GitLab