From d2f987526e53e711fff54893c62b443503ea9454 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?J=C3=A9r=C3=B4me=20Euzenat?= <Jerome.Euzenat@inria.fr>
Date: Wed, 6 Mar 2013 20:25:54 +0000
Subject: [PATCH] - revised myOnto.owl for being loadable by HermiT

---
 html/tutorial/myOnto.owl | 10 ++++++----
 1 file changed, 6 insertions(+), 4 deletions(-)

diff --git a/html/tutorial/myOnto.owl b/html/tutorial/myOnto.owl
index 2bf54388..7a9a1f8a 100644
--- a/html/tutorial/myOnto.owl
+++ b/html/tutorial/myOnto.owl
@@ -238,8 +238,8 @@
 
   <owl:Class rdf:ID="Deliverable">
     <rdfs:subClassOf rdf:resource="#Informal" />
-    <rdfs:label xml:lang="en">Conference</rdfs:label>
-    <rdfs:comment xml:lang="en">TROUVER UNE DESCRIPTION POUR CA.</rdfs:comment>
+    <rdfs:label xml:lang="en">Deliverable</rdfs:label>
+    <rdfs:comment xml:lang="en">A document written as an output of a contract.</rdfs:comment>
   </owl:Class>
 
   <owl:Class rdf:ID="Part">
@@ -258,12 +258,14 @@
 	<owl:cardinality rdf:datatype="&xsd;nonNegativeInteger">1</owl:cardinality>
       </owl:Restriction>
     </rdfs:subClassOf>
-    <rdfs:subClassOf>
+    <!-- JE 2013: This constraint has been neutralised because HermiT does not accept
+    such constraints on TransitiveProperties -->
+    <!--rdfs:subClassOf>
       <owl:Restriction>
 	<owl:onProperty rdf:resource="#isPartOf" />
 	<owl:cardinality rdf:datatype="&xsd;nonNegativeInteger">1</owl:cardinality>
       </owl:Restriction>
-    </rdfs:subClassOf>
+    </rdfs:subClassOf-->
   </owl:Class>
 
   <owl:Class rdf:ID="BookPart">
-- 
GitLab