diff --git a/data/SSC-01/SSC-01-01/SSC-01-01.owl.nt b/data/SSC-01/SSC-01-01/SSC-01-01.owl.nt index 5386cbce4fba2e80ffb7b1f48854e28a3f02b0cd..8e316c70984e7ef29e6f7e82bba04bcdbb3e0eab 100644 --- a/data/SSC-01/SSC-01-01/SSC-01-01.owl.nt +++ b/data/SSC-01/SSC-01-01/SSC-01-01.owl.nt @@ -1,19 +1,29 @@ -solar-system is-a class. -system is-a class. -planet-system is-a class. -sun is-a class. -object-orbit-sun is-a class. -object-orbit-sun-direct is-a class. -object-orbit-sun-no-direct is-a class. -gravitation is-a class. +@base <https://tetras-libre.fr/mars/ssc.rdfs> . -bind is-a property. -orit is-a property. +@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> . +@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> . -planet-system subClass-Of system. -solar-system subClass-Of planet-system. -solar-system has-part sun. -solar-system has-part object-orbit-sun. -solar-system bind gravitation. -object-orbit-sun-direct subClass-Of object-orbit-sun. -object-orbit-sun-no-direct subClass-Of object-orbit-sun. +<solar-system> a rdfs:Class. +<system> a rdfs:Class. +<planet-system> a rdfs:Class. +<sun> a rdfs:Class. +<object> a rdfs:Class. +<object-orbit-sun> a rdfs:Class. +<object-orbit-sun-direct> a rdfs:Class. +<object-orbit-sun-no-direct> a rdfs:Class. +<gravitation> a rdfs:Class. + +<bind> a rdf:Property. +<orbit> a rdf:Property. + +<planet-system> rdfs:subClassOf <system>. +<solar-system> rdfs:subClassOf <planet-system>. +<object-orbit-sun> rdfs:subClassOf <object>. +<object-orbit-sun-direct> rdfs:subClassOf <object-orbit-sun>. +<object-orbit-sun-no-direct> rdfs:subClassOf <object-orbit-sun>. + +<solar-system> has-part <sun>. +<solar-system> has-part <object-orbit-sun>. + +<solar-system> <bind> <gravitation>. +<object-orbit-sun> <orbit> <sun>.