Mercurial > hg > duomoOWLProject

diff owlInput/knowledgeRepresenatation.owl @ 3:d9fd32ecae24

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
minor bug identifieer
author dwinter
date Sun, 06 Feb 2011 20:22:20 +0100
parents fb3f3df002df
children 72004a788198
line wrap: on
line diff
--- a/owlInput/knowledgeRepresenatation.owl	Thu Feb 03 16:08:06 2011 +0100
+++ b/owlInput/knowledgeRepresenatation.owl	Sun Feb 06 20:22:20 2011 +0100
@@ -26,7 +26,20 @@
   <owl:Class rdf:ID="DigitalHPS_Object"/>
   <owl:Class rdf:ID="ReceptionEvent">
     <rdfs:subClassOf rdf:resource="http://erlangen-crm.org/101001/E7_Activity"/>
-    <rdfs:subClassOf rdf:resource="#DigitalHPS_Object"/>
+    <rdfs:subClassOf>
+      <owl:Restriction>
+        <owl:cardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#int"
+        >1</owl:cardinality>
+        <owl:onProperty rdf:resource="http://erlangen-crm.org/101001/P14_carried_out_by"/>
+      </owl:Restriction>
+    </rdfs:subClassOf>
+    <rdfs:subClassOf>
+      <owl:Restriction>
+        <owl:onProperty rdf:resource="http://erlangen-crm.org/101001/P70i_is_documented_in"/>
+        <owl:cardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#int"
+        >1</owl:cardinality>
+      </owl:Restriction>
+    </rdfs:subClassOf>
     <rdfs:subClassOf>
       <owl:Restriction>
         <owl:cardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#int"
@@ -36,33 +49,10 @@
         </owl:onProperty>
       </owl:Restriction>
     </rdfs:subClassOf>
-    <rdfs:subClassOf>
-      <owl:Restriction>
-        <owl:cardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#int"
-        >1</owl:cardinality>
-        <owl:onProperty rdf:resource="http://erlangen-crm.org/101001/P70i_is_documented_in"/>
-      </owl:Restriction>
-    </rdfs:subClassOf>
-    <rdfs:subClassOf>
-      <owl:Restriction>
-        <owl:onProperty rdf:resource="http://erlangen-crm.org/101001/P14_carried_out_by"/>
-        <owl:cardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#int"
-        >1</owl:cardinality>
-      </owl:Restriction>
-    </rdfs:subClassOf>
+    <rdfs:subClassOf rdf:resource="#DigitalHPS_Object"/>
   </owl:Class>
   <owl:Class rdf:ID="ReferencePointer">
     <rdfs:subClassOf rdf:resource="http://erlangen-crm.org/101001/E31_Document"/>
-    <rdfs:subClassOf rdf:resource="#DigitalHPS_Object"/>
-    <rdfs:subClassOf>
-      <owl:Restriction>
-        <owl:cardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#int"
-        >1</owl:cardinality>
-        <owl:onProperty>
-          <owl:ObjectProperty rdf:ID="isPartOf"/>
-        </owl:onProperty>
-      </owl:Restriction>
-    </rdfs:subClassOf>
     <rdfs:subClassOf>
       <owl:Restriction>
         <owl:cardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#int"
@@ -72,9 +62,18 @@
         </owl:onProperty>
       </owl:Restriction>
     </rdfs:subClassOf>
+    <rdfs:subClassOf>
+      <owl:Restriction>
+        <owl:onProperty>
+          <owl:ObjectProperty rdf:ID="isPartOf"/>
+        </owl:onProperty>
+        <owl:cardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#int"
+        >1</owl:cardinality>
+      </owl:Restriction>
+    </rdfs:subClassOf>
+    <rdfs:subClassOf rdf:resource="#DigitalHPS_Object"/>
   </owl:Class>
   <owl:Class rdf:ID="VocabularyEntry">
-    <rdfs:subClassOf rdf:resource="#DigitalHPS_Object"/>
     <rdfs:subClassOf>
       <owl:Restriction>
         <owl:onProperty>
@@ -84,16 +83,16 @@
         >1</owl:cardinality>
       </owl:Restriction>
     </rdfs:subClassOf>
+    <rdfs:subClassOf rdf:resource="#DigitalHPS_Object"/>
   </owl:Class>
   <owl:Class rdf:ID="Relation">
-    <rdfs:subClassOf rdf:resource="#DigitalHPS_Object"/>
     <rdfs:subClassOf>
       <owl:Restriction>
-        <owl:onProperty>
-          <owl:ObjectProperty rdf:ID="has_Object"/>
-        </owl:onProperty>
         <owl:cardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#int"
         >1</owl:cardinality>
+        <owl:onProperty>
+          <owl:ObjectProperty rdf:ID="has_Subject"/>
+        </owl:onProperty>
       </owl:Restriction>
     </rdfs:subClassOf>
     <rdfs:subClassOf>
@@ -107,13 +106,14 @@
     </rdfs:subClassOf>
     <rdfs:subClassOf>
       <owl:Restriction>
-        <owl:onProperty>
-          <owl:ObjectProperty rdf:ID="has_Subject"/>
-        </owl:onProperty>
         <owl:cardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#int"
         >1</owl:cardinality>
+        <owl:onProperty>
+          <owl:ObjectProperty rdf:ID="has_Object"/>
+        </owl:onProperty>
       </owl:Restriction>
     </rdfs:subClassOf>
+    <rdfs:subClassOf rdf:resource="#DigitalHPS_Object"/>
   </owl:Class>
   <owl:Class rdf:ID="Term">
     <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
@@ -122,14 +122,13 @@
 Z.B. Einstein könnte einen Term erhalten der auf "Albert Einstein" verweist oder auf "Hans Albert Einstein"
 
 Falls gar keine Interpreation bekannt ist bleibt die Interpretation leer.</rdfs:comment>
-    <rdfs:subClassOf rdf:resource="#DigitalHPS_Object"/>
     <rdfs:subClassOf>
       <owl:Restriction>
         <owl:onProperty>
-          <owl:ObjectProperty rdf:ID="hasNormalizedRepresentation"/>
+          <owl:ObjectProperty rdf:ID="hasInterpretation"/>
         </owl:onProperty>
-        <owl:cardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#int"
-        >1</owl:cardinality>
+        <owl:maxCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#int"
+        >1</owl:maxCardinality>
       </owl:Restriction>
     </rdfs:subClassOf>
     <rdfs:subClassOf>
@@ -143,13 +142,14 @@
     </rdfs:subClassOf>
     <rdfs:subClassOf>
       <owl:Restriction>
+        <owl:cardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#int"
+        >1</owl:cardinality>
         <owl:onProperty>
-          <owl:ObjectProperty rdf:ID="hasInterpretation"/>
+          <owl:ObjectProperty rdf:ID="hasNormalizedRepresentation"/>
         </owl:onProperty>
-        <owl:maxCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#int"
-        >1</owl:maxCardinality>
       </owl:Restriction>
     </rdfs:subClassOf>
+    <rdfs:subClassOf rdf:resource="#DigitalHPS_Object"/>
   </owl:Class>
   <owl:Class rdf:ID="OWLPP"/>
   <owl:ObjectProperty rdf:ID="is_described_in">
@@ -164,18 +164,11 @@
   <owl:ObjectProperty rdf:about="#has_Object">
     <rdfs:domain rdf:resource="#Relation"/>
   </owl:ObjectProperty>
-  <owl:ObjectProperty rdf:ID="represents">
-    <rdfs:range rdf:resource="http://erlangen-crm.org/101001/E39_Actor"/>
-    <rdfs:domain>
-      <owl:Class>
-        <owl:unionOf rdf:parseType="Collection">
-          <owl:Class rdf:about="#Concept_Actor"/>
-          <rdf:Description rdf:about="http://erlangen-crm.org/101001/E39_Actor"/>
-        </owl:unionOf>
-      </owl:Class>
-    </rdfs:domain>
-    <owl:inverseOf rdf:resource="#represents"/>
-    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#SymmetricProperty"/>
+  <owl:ObjectProperty rdf:ID="hasReference">
+    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#FunctionalProperty"/>
+    <owl:inverseOf>
+      <owl:ObjectProperty rdf:ID="witnessesReception"/>
+    </owl:inverseOf>
   </owl:ObjectProperty>
   <owl:ObjectProperty rdf:about="#hasInterpretation">
     <owl:inverseOf>
@@ -206,59 +199,13 @@
     <rdfs:range rdf:resource="http://erlangen-crm.org/101001/E31_Document"/>
     <rdfs:domain rdf:resource="#ReferencePointer"/>
   </owl:ObjectProperty>
-  <owl:ObjectProperty rdf:ID="is_same_object_as">
-    <rdfs:range rdf:resource="#Term"/>
-    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#SymmetricProperty"/>
-    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#TransitiveProperty"/>
-    <owl:inverseOf rdf:resource="#is_same_object_as"/>
-    <rdfs:comment xml:lang="de">&lt;p style="margin-top: 0"&gt;
-      Verbindet Terme die das selbe Objekte beschreiben, z.B.
-    &lt;/p&gt;
-    &lt;p style="margin-top: 0"&gt;
-      
-    &lt;/p&gt;
-    &lt;p style="margin-top: 0"&gt;
-      
-    &lt;/p&gt;
-    &lt;p style="margin-top: 0"&gt;
-      Die Strasse ist lang. Die Strasse ist nass. Sie ist sch&amp;#246;n.
-    &lt;/p&gt;
-    &lt;p style="margin-top: 0"&gt;
-      
-    &lt;/p&gt;
-    &lt;p style="margin-top: 0"&gt;
-      Und Term1 repr&amp;#228;sentiert Strasse im ersten Satz, Term2 Strasse im 
-      zweiten Satz, Term3 Sie 
-    &lt;/p&gt;
-    &lt;p style="margin-top: 0"&gt;
-       im dritten Satz, dann sind Term1, term2, term3 mit &amp;quot;is_same_object_as&amp;quot; 
-      verbunden.
-    &lt;/p&gt;
-    &lt;p style="margin-top: 0"&gt;
-      
-    &lt;/p&gt;</rdfs:comment>
-    <rdfs:domain rdf:resource="#Term"/>
-  </owl:ObjectProperty>
   <owl:ObjectProperty rdf:about="#describes">
     <owl:inverseOf rdf:resource="#is_described_in"/>
     <rdfs:domain rdf:resource="#ReceptionEvent"/>
     <rdfs:range rdf:resource="#Relation"/>
   </owl:ObjectProperty>
-  <owl:ObjectProperty rdf:ID="representsSKOSconcept">
-    <rdfs:range>
-      <owl:Class>
-        <owl:unionOf rdf:parseType="Collection">
-          <rdf:Description rdf:about="http://www.w3.org/2004/02/skos/core#Concept"/>
-          <rdf:Description rdf:about="http://www.w3.org/2004/02/skos/core#Collection"/>
-        </owl:unionOf>
-      </owl:Class>
-    </rdfs:range>
-    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#InverseFunctionalProperty"/>
-  </owl:ObjectProperty>
-  <owl:ObjectProperty rdf:ID="witnessesReception">
-    <owl:inverseOf>
-      <owl:FunctionalProperty rdf:ID="hasReference"/>
-    </owl:inverseOf>
+  <owl:ObjectProperty rdf:about="#witnessesReception">
+    <owl:inverseOf rdf:resource="#hasReference"/>
     <rdfs:range rdf:resource="#ReceptionEvent"/>
   </owl:ObjectProperty>
   <owl:ObjectProperty rdf:ID="inverse_of_I_is_about">
@@ -315,34 +262,87 @@
     <rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#string"/>
     <rdfs:domain rdf:resource="#ReferencePointer"/>
   </owl:DatatypeProperty>
-  <owl:FunctionalProperty rdf:about="#hasReference">
+  <owl:TransitiveProperty rdf:ID="is_same_object_as">
+    <rdfs:range rdf:resource="#Term"/>
+    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#SymmetricProperty"/>
     <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#ObjectProperty"/>
-    <owl:inverseOf rdf:resource="#witnessesReception"/>
-  </owl:FunctionalProperty>
+    <owl:inverseOf rdf:resource="#is_same_object_as"/>
+    <rdfs:comment xml:lang="de">&lt;p style="margin-top: 0"&gt;
+      Verbindet Terme die das selbe Objekte beschreiben, z.B.
+    &lt;/p&gt;
+    &lt;p style="margin-top: 0"&gt;
+      
+    &lt;/p&gt;
+    &lt;p style="margin-top: 0"&gt;
+      
+    &lt;/p&gt;
+    &lt;p style="margin-top: 0"&gt;
+      Die Strasse ist lang. Die Strasse ist nass. Sie ist sch&amp;#246;n.
+    &lt;/p&gt;
+    &lt;p style="margin-top: 0"&gt;
+      
+    &lt;/p&gt;
+    &lt;p style="margin-top: 0"&gt;
+      Und Term1 repr&amp;#228;sentiert Strasse im ersten Satz, Term2 Strasse im 
+      zweiten Satz, Term3 Sie 
+    &lt;/p&gt;
+    &lt;p style="margin-top: 0"&gt;
+       im dritten Satz, dann sind Term1, term2, term3 mit &amp;quot;is_same_object_as&amp;quot; 
+      verbunden.
+    &lt;/p&gt;
+    &lt;p style="margin-top: 0"&gt;
+      
+    &lt;/p&gt;</rdfs:comment>
+    <rdfs:domain rdf:resource="#Term"/>
+  </owl:TransitiveProperty>
+  <owl:SymmetricProperty rdf:ID="represents">
+    <rdfs:range rdf:resource="http://erlangen-crm.org/101001/E39_Actor"/>
+    <rdfs:domain>
+      <owl:Class>
+        <owl:unionOf rdf:parseType="Collection">
+          <owl:Class rdf:about="#Concept_Actor"/>
+          <rdf:Description rdf:about="http://erlangen-crm.org/101001/E39_Actor"/>
+        </owl:unionOf>
+      </owl:Class>
+    </rdfs:domain>
+    <owl:inverseOf rdf:resource="#represents"/>
+    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#ObjectProperty"/>
+  </owl:SymmetricProperty>
+  <owl:InverseFunctionalProperty rdf:ID="representsSKOSconcept">
+    <rdfs:range>
+      <owl:Class>
+        <owl:unionOf rdf:parseType="Collection">
+          <rdf:Description rdf:about="http://www.w3.org/2004/02/skos/core#Concept"/>
+          <rdf:Description rdf:about="http://www.w3.org/2004/02/skos/core#Collection"/>
+        </owl:unionOf>
+      </owl:Class>
+    </rdfs:range>
+    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#ObjectProperty"/>
+  </owl:InverseFunctionalProperty>
   <crm:E32_Authority_Document rdf:ID="E32_Authority_Document_7"/>
   <swrl:Imp rdf:ID="Rule-1">
     <swrl:body>
       <swrl:AtomList>
-        <rdf:rest rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#nil"/>
         <rdf:first>
           <swrl:IndividualPropertyAtom>
+            <swrl:propertyPredicate rdf:resource="#hasInterpretation"/>
             <swrl:argument2>
               <swrl:Variable rdf:ID="y"/>
             </swrl:argument2>
             <swrl:argument1>
               <swrl:Variable rdf:ID="x"/>
             </swrl:argument1>
-            <swrl:propertyPredicate rdf:resource="#hasInterpretation"/>
           </swrl:IndividualPropertyAtom>
         </rdf:first>
+        <rdf:rest rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#nil"/>
       </swrl:AtomList>
     </swrl:body>
     <swrl:head>
       <swrl:AtomList>
         <rdf:first>
           <swrl:IndividualPropertyAtom>
+            <swrl:propertyPredicate rdf:resource="#isInterpretedIn"/>
             <swrl:argument1 rdf:resource="#y"/>
-            <swrl:propertyPredicate rdf:resource="#isInterpretedIn"/>
             <swrl:argument2 rdf:resource="#x"/>
           </swrl:IndividualPropertyAtom>
         </rdf:first>