From 10022b217100659a400afd4b52bf0d32dfd90602 Mon Sep 17 00:00:00 2001
From: Federico Igne <federico.igne@cs.ox.ac.uk>
Date: Mon, 31 May 2021 14:19:03 +0100
Subject: Update example splitting TBox and ABox

---
 examples/example1.owl | 4 ----
 1 file changed, 4 deletions(-)

(limited to 'examples/example1.owl')

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>
-- 
cgit v1.2.3