From 0b7514b3d84f92b4c3ca1a5b436fa77145bf49b8 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Aur=C3=A9lien=20Lamercerie?=
 <aurelien.lamercerie@tetras-libre.fr>
Date: Tue, 12 Jul 2022 16:01:19 +0200
Subject: [PATCH] Update data SSC-01 (minor)

---
 data/SSC-01/SSC-01-01/SSC-01-01.al.owl.ttl | 15 +++++++--------
 1 file changed, 7 insertions(+), 8 deletions(-)

diff --git a/data/SSC-01/SSC-01-01/SSC-01-01.al.owl.ttl b/data/SSC-01/SSC-01-01/SSC-01-01.al.owl.ttl
index a46edc8..b3e2012 100644
--- a/data/SSC-01/SSC-01-01/SSC-01-01.al.owl.ttl
+++ b/data/SSC-01/SSC-01-01/SSC-01-01.al.owl.ttl
@@ -9,6 +9,7 @@
 
 
 # ::predefined-property :has-part :part-of :manner
+
 :part-of a owl:ObjectProperty .
 
 :has-part
@@ -95,19 +96,17 @@
 		owl:hasValue :sun
 	] .
 
-:direct-orbit a rdf:Property ;
+:direct-orbit a owl:ObjectProperty ;
 	rdfs:subPropertyOf :orbit ;
 	:manner :direct .
 
-:indirect-orbit a rdf:Property ;
+:indirect-orbit a owl:ObjectProperty ;
 	rdfs:subPropertyOf :orbit ;
 	:manner :indirect .
 
-:direct a rdfs:Class .
+:direct a owl:ObjectProperty .
 
-:indirect a rdfs:Class ;
-	owl:equivalentClass [
-		a owl:Class ;
-		owl:complementOf :direct
-	] .
+:indirect
+	a owl:ObjectProperty ;
+	owl:inverseOf :part-of .
 
-- 
GitLab