Fixes to Mihais Comments

mrnolte · Oct 3, 2023 · 5563910 · 5563910
1 parent 50a0cbb
commit 5563910
Show file tree

Hide file tree

Showing 3 changed files with 8 additions and 6 deletions.
diff --git a/owl/SOMA-ACT.owl b/owl/SOMA-ACT.owl
@@ -211,7 +211,7 @@ AnnotationAssertion(rdfs:label SOMA:answers "The relation between an answering m
 AnnotationAssertion(rdfs:label SOMA:answers "answers")
 SubObjectPropertyOf(SOMA:answers SOMA:relatesToAnotherRole)
 InverseObjectProperties(SOMA:answers SOMA:hasAnswer)
-ObjectPropertyDomain(SOMA:answers SOMA:Message)
+ObjectPropertyDomain(SOMA:answers SOMA:Answer)
 ObjectPropertyRange(SOMA:answers SOMA:Message)
 
 # Object Property: SOMA:causes (causes)
@@ -259,7 +259,7 @@ ObjectPropertyRange(SOMA:hasAction <http://www.ontologydesignpatterns.org/ont/du
 AnnotationAssertion(rdfs:comment SOMA:hasAnswer "The relation between a message and its answer.")
 AnnotationAssertion(rdfs:label SOMA:hasAnswer "has answer")
 SubObjectPropertyOf(SOMA:hasAnswer SOMA:relatesToAnotherRole)
-ObjectPropertyDomain(SOMA:hasAnswer SOMA:Answer)
+ObjectPropertyDomain(SOMA:hasAnswer SOMA:Message)
 ObjectPropertyRange(SOMA:hasAnswer SOMA:Answer)
 
 # Object Property: SOMA:hasExecutionState (has execution state)
@@ -1463,7 +1463,7 @@ SubClassOf(Annotation(rdfs:comment "If something is a terminal situation then it
 SubClassOf(Annotation(rdfs:comment "If a transition has a terminal situation then it also has a manifestation.") ObjectSomeValuesFrom(SOMA:hasTerminalSituation <http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#Situation>) ObjectSomeValuesFrom(<http://www.ease-crc.org/ont/SOMA.owl/manifestsIn> <http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#Event>))
 SubObjectPropertyOf(ObjectPropertyChain(SOMA:causesTransition SOMA:hasInitialSituation <http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#includesEvent>) SOMA:terminates)
 SubObjectPropertyOf(ObjectPropertyChain(SOMA:causesTransition SOMA:hasTerminalScene <http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#includesEvent>) SOMA:directlyCauses)
-SubObjectPropertyOf(ObjectPropertyChain(<http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#includesEvent> SOMA:hasInitialSituation SOMA:hasTerminalSituation <http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#includesEvent>) SOMA:isReplacedBy)
-SubObjectPropertyOf(ObjectPropertyChain(<http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#includesEvent> SOMA:hasTerminalSituation SOMA:hasInitialSituation <http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#includesEvent>) SOMA:replaces)
+SubObjectPropertyOf(ObjectPropertyChain(<http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#isEventIncludedIn> SOMA:isInitialSituationOf SOMA:hasTerminalSituation <http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#includesEvent>) SOMA:isReplacedBy)
+SubObjectPropertyOf(ObjectPropertyChain(<http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#isEventIncludedIn> SOMA:isTerminalSituationOf SOMA:hasInitialSituation <http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#includesEvent>) SOMA:replaces)
 SubObjectPropertyOf(ObjectPropertyChain(<http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#isRealizedBy> <http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#hasRole> SOMA:isInputRoleOf SOMA:isTaskOfCreatedRole <http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#isRoleOf> <http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#realizes>) SOMA:isDirectSourceFor)
 )
diff --git a/owl/SOMA-OBJ.owl b/owl/SOMA-OBJ.owl
@@ -1700,7 +1700,7 @@ SubClassOf(SOMA:Gripper SOMA:PrehensileEffector)
 AnnotationAssertion(rdfs:comment SOMA:Hand "A prehensile effector including palm, fingers, and thumb.")
 SubClassOf(SOMA:Hand SOMA:PrehensileEffector)
 
-# Class: SOMA:HasQualityRegion (SOMA:HasQualityRegion)
+# Class: SOMA:HasQualityRegion (Has quality region)
 
 AnnotationAssertion(rdfs:comment SOMA:HasQualityRegion "The relation between an individual quality and a region.")
 AnnotationAssertion(rdfs:comment SOMA:HasQualityRegion "todo(DB): added for NEEMs (quale change), but not sure yet about it...")
@@ -1899,7 +1899,7 @@ SubClassOf(SOMA:Patient SOMA:EventAdjacentRole)
 
 AnnotationAssertion(rdfs:comment SOMA:PerformerRole "A role classifying an Agent responsible for performing an Action.
 
-The entity playing an AgentRole is endowed with sentience and the capacity to deliberately choose actions in pursuit of goals. This distinguishes Agents from other causes that could bring an event about.")
+The entity playing an PerformerRole is endowed with sentience and the capacity to deliberately choose actions in pursuit of goals. This distinguishes Agents from other causes that could bring an event about.")
 AnnotationAssertion(rdfs:label SOMA:PerformerRole "Performer role"@en)
 SubClassOf(SOMA:PerformerRole SOMA:CausativeRole)
 SubClassOf(SOMA:PerformerRole ObjectAllValuesFrom(<http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#classifies> <http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#Agent>))

diff --git a/owl/SOMA.owl b/owl/SOMA.owl
@@ -558,6 +558,8 @@ AnnotationAssertion(rdfs:comment SOMA:isSourceFor "The (transitive) relation bet
 AnnotationAssertion(rdfs:label SOMA:isSourceFor "is source for")
 SubObjectPropertyOf(SOMA:isSourceFor <http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#associatedWith>)
 TransitiveObjectProperty(SOMA:isSourceFor)
+ObjectPropertyDomain(SOMA:isSourceFor <http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#InformationObject>)
+ObjectPropertyRange(SOMA:isSourceFor <http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#InformationObject>)
 
 # Object Property: SOMA:isTaskOfInputRole (is task of input role)