Mercurial > hg > duomoOWLProject

diff owlInput/knowledgeRepresenatation.owl @ 5:923e73fa07f1

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Minor changes, Suche nach Objekten nach readableId jetzt einschraenkbar, nicht auf subclassen ausweiten.
author dwinter
date Mon, 07 Feb 2011 16:51:38 +0100
parents 72004a788198
children 30fc93374f10
line wrap: on
line diff
--- a/owlInput/knowledgeRepresenatation.owl	Sun Feb 06 21:19:48 2011 +0100
+++ b/owlInput/knowledgeRepresenatation.owl	Mon Feb 07 16:51:38 2011 +0100
@@ -28,25 +28,25 @@
     <rdfs:subClassOf rdf:resource="http://erlangen-crm.org/101001/E7_Activity"/>
     <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 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:onProperty rdf:resource="http://erlangen-crm.org/101001/P70i_is_documented_in"/>
       </owl:Restriction>
     </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="describes"/>
         </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"/>
@@ -64,11 +64,11 @@
     </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="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"/>
@@ -88,9 +88,18 @@
   <owl:Class rdf:ID="Relation">
     <rdfs:subClassOf>
       <owl:Restriction>
+        <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>
+      <owl:Restriction>
+        <owl:onProperty>
+          <owl:ObjectProperty rdf:ID="has_Predicate"/>
+        </owl:onProperty>
         <owl:cardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#int"
         >1</owl:cardinality>
       </owl:Restriction>
@@ -100,17 +109,8 @@
         <owl:cardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#int"
         >1</owl:cardinality>
         <owl:onProperty>
-          <owl:ObjectProperty rdf:ID="has_Predicate"/>
-        </owl:onProperty>
-      </owl:Restriction>
-    </rdfs:subClassOf>
-    <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:Restriction>
     </rdfs:subClassOf>
     <rdfs:subClassOf rdf:resource="#DigitalHPS_Object"/>
@@ -325,13 +325,13 @@
       <swrl:AtomList>
         <rdf:first>
           <swrl:IndividualPropertyAtom>
+            <swrl:argument2>
+              <swrl:Variable rdf:ID="y"/>
+            </swrl:argument2>
             <swrl:propertyPredicate rdf:resource="#hasInterpretation"/>
             <swrl:argument1>
               <swrl:Variable rdf:ID="x"/>
             </swrl:argument1>
-            <swrl:argument2>
-              <swrl:Variable rdf:ID="y"/>
-            </swrl:argument2>
           </swrl:IndividualPropertyAtom>
         </rdf:first>
         <rdf:rest rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#nil"/>
@@ -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:argument2 rdf:resource="#x"/>
             <swrl:argument1 rdf:resource="#y"/>
-            <swrl:propertyPredicate rdf:resource="#isInterpretedIn"/>
           </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>