Mercurial > hg > duomoOWLProject

diff owlInput/knowledgeRepresenatation.owl @ 6:30fc93374f10

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
minor changes
author dwinter
date Wed, 09 Feb 2011 15:36:51 +0100
parents 923e73fa07f1
children
line wrap: on
line diff
--- a/owlInput/knowledgeRepresenatation.owl	Mon Feb 07 16:51:38 2011 +0100
+++ b/owlInput/knowledgeRepresenatation.owl	Wed Feb 09 15:36:51 2011 +0100
@@ -26,11 +26,14 @@
   <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: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:onProperty>
+          <owl:ObjectProperty rdf:ID="describes"/>
+        </owl:onProperty>
       </owl:Restriction>
     </rdfs:subClassOf>
     <rdfs:subClassOf>
@@ -42,26 +45,15 @@
     </rdfs:subClassOf>
     <rdfs:subClassOf>
       <owl:Restriction>
-        <owl:onProperty>
-          <owl:ObjectProperty rdf:ID="describes"/>
-        </owl:onProperty>
+        <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>
-      <owl:Restriction>
-        <owl:onProperty>
-          <owl:DatatypeProperty rdf:ID="Pointer"/>
-        </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"/>
     <rdfs:subClassOf>
       <owl:Restriction>
         <owl:onProperty>
@@ -71,28 +63,37 @@
         >1</owl:cardinality>
       </owl:Restriction>
     </rdfs:subClassOf>
-    <rdfs:subClassOf rdf:resource="#DigitalHPS_Object"/>
-  </owl:Class>
-  <owl:Class rdf:ID="VocabularyEntry">
     <rdfs:subClassOf>
       <owl:Restriction>
         <owl:cardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#int"
         >1</owl:cardinality>
         <owl:onProperty>
-          <owl:DatatypeProperty rdf:ID="hasTerm"/>
+          <owl:DatatypeProperty rdf:ID="Pointer"/>
         </owl:onProperty>
       </owl:Restriction>
     </rdfs:subClassOf>
+  </owl:Class>
+  <owl:Class rdf:ID="VocabularyEntry">
     <rdfs:subClassOf rdf:resource="#DigitalHPS_Object"/>
-  </owl:Class>
-  <owl:Class rdf:ID="Relation">
     <rdfs:subClassOf>
       <owl:Restriction>
+        <owl:onProperty>
+          <owl:DatatypeProperty rdf:ID="hasTerm"/>
+        </owl:onProperty>
         <owl:cardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#int"
         >1</owl:cardinality>
+      </owl:Restriction>
+    </rdfs:subClassOf>
+  </owl:Class>
+  <owl:Class rdf:ID="Relation">
+    <rdfs:subClassOf rdf:resource="#DigitalHPS_Object"/>
+    <rdfs:subClassOf>
+      <owl:Restriction>
         <owl:onProperty>
-          <owl:ObjectProperty rdf:ID="has_Subject"/>
+          <owl:ObjectProperty rdf:ID="has_Object"/>
         </owl:onProperty>
+        <owl:cardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#int"
+        >1</owl:cardinality>
       </owl:Restriction>
     </rdfs:subClassOf>
     <rdfs:subClassOf>
@@ -106,14 +107,13 @@
     </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,13 +122,14 @@
 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: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>
@@ -142,14 +143,13 @@
     </rdfs:subClassOf>
     <rdfs:subClassOf>
       <owl:Restriction>
-        <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:onProperty>
-          <owl:ObjectProperty rdf:ID="hasNormalizedRepresentation"/>
+          <owl:ObjectProperty rdf:ID="hasInterpretation"/>
         </owl:onProperty>
       </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,11 +164,18 @@
   <owl:ObjectProperty rdf:about="#has_Object">
     <rdfs:domain rdf:resource="#Relation"/>
   </owl:ObjectProperty>
-  <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 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>
   <owl:ObjectProperty rdf:about="#hasInterpretation">
     <owl:inverseOf>
@@ -204,8 +211,54 @@
     <rdfs:domain rdf:resource="#ReceptionEvent"/>
     <rdfs:range rdf:resource="#Relation"/>
   </owl:ObjectProperty>
-  <owl:ObjectProperty rdf:about="#witnessesReception">
-    <owl:inverseOf rdf:resource="#hasReference"/>
+  <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: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>
     <rdfs:range rdf:resource="#ReceptionEvent"/>
   </owl:ObjectProperty>
   <owl:ObjectProperty rdf:ID="inverse_of_I_is_about">
@@ -262,73 +315,20 @@
     <rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#string"/>
     <rdfs:domain rdf:resource="#ReferencePointer"/>
   </owl:DatatypeProperty>
-  <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"/>
+  <owl:FunctionalProperty rdf:about="#hasReference">
     <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#ObjectProperty"/>
-    <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>
+    <owl:inverseOf rdf:resource="#witnessesReception"/>
+  </owl:FunctionalProperty>
   <crm:E32_Authority_Document rdf:ID="E32_Authority_Document_7"/>
   <swrl:Imp rdf:ID="Rule-1">
     <swrl:body>
       <swrl:AtomList>
         <rdf:first>
           <swrl:IndividualPropertyAtom>
+            <swrl:propertyPredicate rdf:resource="#hasInterpretation"/>
             <swrl:argument2>
               <swrl:Variable rdf:ID="y"/>
             </swrl:argument2>
-            <swrl:propertyPredicate rdf:resource="#hasInterpretation"/>
             <swrl:argument1>
               <swrl:Variable rdf:ID="x"/>
             </swrl:argument1>
@@ -339,14 +339,14 @@
     </swrl:body>
     <swrl:head>
       <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="#isInterpretedIn"/>
+            <swrl:argument1 rdf:resource="#y"/>
             <swrl:argument2 rdf:resource="#x"/>
-            <swrl:argument1 rdf:resource="#y"/>
           </swrl:IndividualPropertyAtom>
         </rdf:first>
-        <rdf:rest rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#nil"/>
       </swrl:AtomList>
     </swrl:head>
   </swrl:Imp>