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

SSC-07-01 et SSC-07-02 OWL sans comparaison 'more massive'

parent 3b2b5e6c
No related branches found
No related tags found
No related merge requests found
Show whitespace changes
Inline Side-by-side
data/SSC-07/SSC-07-01/SSC-07-01.dr.owl.ttl
+ 54
− 26
View file @ b94c9d8b
......@@ -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
data/SSC-07/SSC-07-02/SSC-07-01.dr.owl.ttl 0 → 100644
+ 104
− 0
View file @ b94c9d8b
@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
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment