Update example splitting TBox and ABox

1 files changed, 3 insertions, 42 deletions

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 .