Update example splitting TBox and ABox

2 files changed, 3 insertions, 46 deletions

diff --git a/examples/example1.owl b/examples/example1.owl
index 605d96e..75a464e 100644
--- a/examples/example1.owl
+++ b/examples/example1.owl
@@ -14,8 +14,6 @@
     B ⊑ ∃ S.D
     R ⊑ T⁻
     S ⊑ T 
-
-    a : A
     -->
 
     <owl:Class rdf:ID="A">
@@ -79,6 +77,4 @@
         <rdfs:subPropertyOf rdf:resource="#T" />
     </owl:ObjectProperty> 
 
-    <A rdf:about="#a"> </A>
-
 </rdf:RDF>
diff --git a/examples/example1.ttl b/examples/example1.ttl
index 02148f0..f084b2d 100644
--- a/examples/example1.ttl
+++ b/examples/example1.ttl
@@ -2,50 +2,11 @@
 @prefix : <http://example.com/rsa_example.owl#> .
 @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 <http://example.com/rsa_example.owl> .
+@base <file:/home/fedgne/git/RSA-combined-approach/examples/example1.ttl> .
 
-# A ⊑ D
-# A ⊑ ∃ S⁻.C
-# ∃ S.A ⊑ D
-# D ⊑ ∃ R.B
-# B ⊑ ∃ S.D
-# R ⊑ T⁻
-# S ⊑ T 
-# 
-# a : A
-
-:A  rdf:type        owl:Class ;
-    rdfs:subClassOf :D ;
-    rdfs:subClassOf [ rdf:type owl:Restriction ;
-                               owl:onProperty [ owl:inverseOf :S ] ;
-                               owl:someValuesFrom :C
-                    ] .
-
-[ rdf:type  owl:Restriction ;
-            owl:onProperty  :S  ;
-            owl:someValuesFrom  :A
-] rdfs:subClassOf :D .
-
-:D  rdf:type        owl:Class ;
-    rdfs:subClassOf [ rdf:type owl:Restriction ;
-                               owl:onProperty :R ;
-                               owl:someValuesFrom :B
-                    ] .
-
-:B  rdf:type        owl:Class ;
-    rdfs:subClassOf [ rdf:type owl:Restriction ;
-                               owl:onProperty :S ;
-                               owl:someValuesFrom :D
-                    ] .
-
-:R  rdf:type owl:ObjectProperty ;
-    rdfs:subPropertyOf [ owl:inverseOf :T ] .
-
-:S  rdf:type owl:ObjectProperty ;
-    rdfs:subPropertyOf :T .
+<file:/home/fedgne/git/RSA-combined-approach/examples/example1.ttl> rdf:type owl:Ontology ;
+                                                                    owl:imports <file:/home/fedgne/git/RSA-combined-approach/examples/example1.owl> .
 
 :a rdf:type :A .