Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Playground #27

Merged
merged 5 commits into from
May 14, 2024
Merged

Playground #27

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
5 commits
Select commit Hold shift + click to select a range
194091f
Revert "Update documentation.yml"
mrnolte May 14, 2024
1f4ae54
Revert "try and error"
mrnolte May 14, 2024
bc41d0d
Fixed the IRI of NonmanifestedSituation so that the Documentation may…
mrnolte May 14, 2024
96f0494
Update SOMA-vocabulary.tex
mrnolte May 14, 2024
f49eaf8
Merge branch 'master' into playground
mrnolte May 14, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
1 change: 0 additions & 1 deletion .github/workflows/documentation.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,5 @@
name: Documentation
on:
workflow_dispatch:
workflow_run:
workflows: ["Evaluation"]
types:
Expand Down
2 changes: 1 addition & 1 deletion docs/vocab/SOMA-vocabulary.tex
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -18,7 +18,7 @@
from owl_reader import OWLReader

OWL_FILES=[
"https://ease-crc.github.io/soma/owl/current/SOMA.owl"
"./build/owl/current/SOMA.owl"
]

reader = OWLReader(OWL_FILES)
Expand Down
3 changes: 2 additions & 1 deletion docs/vocab/owl_reader.py
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -21,7 +21,7 @@ def __init__(self, iri_list):
self.class_objects = []

def get_classes(self):
'''
'''
Gets the classes defined in the ontology their corresponding
superclass, label and comment
'''
Expand Down Expand Up @@ -54,6 +54,7 @@ def _create_class_objects(self):
return objects

def set_class_info(self, target_class):

comment = getattr(getattr(self.namespace, target_class), "comment")
if(comment):
comment = self.split_comment_into_sentences(comment[0])[0]
Expand Down
34 changes: 17 additions & 17 deletions owl/SOMA-ACT.owl
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -100,6 +100,7 @@ Declaration(Class(SOMA:ModifyingPhysicalObject))
Declaration(Class(SOMA:MonitoringJointState))
Declaration(Class(SOMA:MovingTo))
Declaration(Class(SOMA:Navigating))
Declaration(Class(SOMA:NonmanifestedSituation))
Declaration(Class(SOMA:Opening))
Declaration(Class(SOMA:Orienting))
Declaration(Class(SOMA:ParkingArms))
Expand Down Expand Up @@ -156,7 +157,6 @@ Declaration(Class(SOMA:ThinkAloudSceneKnowledgeTopic))
Declaration(Class(SOMA:ThinkAloudTopic))
Declaration(Class(SOMA:Throwing))
Declaration(Class(SOMA:Transporting))
Declaration(Class(<http://www.ease-crc.org/ont/SOMA.owl/NonmanifestedSituation>))
Declaration(ObjectProperty(SOMA:affects))
Declaration(ObjectProperty(SOMA:answers))
Declaration(ObjectProperty(SOMA:causes))
Expand Down Expand Up @@ -1049,6 +1049,19 @@ SubClassOf(SOMA:MovingTo SOMA:Navigating)
AnnotationAssertion(rdfs:comment SOMA:Navigating "A task in which an Agent moves through space so as to arrive at some location, follow some path, or increase its distance from some location or other entity. Often, navigation involves finding paths around obstacles and forbidden areas.")
SubClassOf(SOMA:Navigating SOMA:PhysicalTask)

# Class: SOMA:NonmanifestedSituation (Nonmanifested situation)

AnnotationAssertion(rdfs:comment SOMA:NonmanifestedSituation "A Situation which does not manifest in any event.

The main use case for this is to represent expectations that are not met, e.g. unfulfilled post-conditions of an action. An action with unmet postconditions is then a failure.

Because of open world semantics of DL, the default assumption for a Situation individual with no \"manifests in\" relations is simply that we don't know yet whether that Situation is manifested and if so by what Event.

As such, an explicit assertion is needed to make a Situation a nonmanifested one: either declare that individual's type NonmanifestedSituation, or assert that it has 0 manifestsIn relations.")
AnnotationAssertion(rdfs:label SOMA:NonmanifestedSituation "Nonmanifested situation"@en)
EquivalentClasses(SOMA:NonmanifestedSituation ObjectIntersectionOf(<http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#Situation> ObjectExactCardinality(0 <http://www.ease-crc.org/ont/SOMA.owl/manifestsIn> <http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#Event>)))
SubClassOf(SOMA:NonmanifestedSituation <http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#Situation>)

# Class: SOMA:Opening (SOMA:Opening)

AnnotationAssertion(rdfs:comment SOMA:Opening "A task in which an Agent manipulates a container so as to expose its interior.")
Expand Down Expand Up @@ -1404,19 +1417,6 @@ SubClassOf(SOMA:Throwing SOMA:Manipulating)
AnnotationAssertion(rdfs:comment SOMA:Transporting "A task by which an Agent carries an item from a source to a destination location.")
SubClassOf(SOMA:Transporting SOMA:ModifyingPhysicalObject)

# Class: <http://www.ease-crc.org/ont/SOMA.owl/NonmanifestedSituation> (Nonmanifested situation)

AnnotationAssertion(rdfs:comment <http://www.ease-crc.org/ont/SOMA.owl/NonmanifestedSituation> "A Situation which does not manifest in any event.

The main use case for this is to represent expectations that are not met, e.g. unfulfilled post-conditions of an action. An action with unmet postconditions is then a failure.

Because of open world semantics of DL, the default assumption for a Situation individual with no \"manifests in\" relations is simply that we don't know yet whether that Situation is manifested and if so by what Event.

As such, an explicit assertion is needed to make a Situation a nonmanifested one: either declare that individual's type NonmanifestedSituation, or assert that it has 0 manifestsIn relations.")
AnnotationAssertion(rdfs:label <http://www.ease-crc.org/ont/SOMA.owl/NonmanifestedSituation> "Nonmanifested situation"@en)
EquivalentClasses(<http://www.ease-crc.org/ont/SOMA.owl/NonmanifestedSituation> ObjectIntersectionOf(<http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#Situation> ObjectExactCardinality(0 <http://www.ease-crc.org/ont/SOMA.owl/manifestsIn> <http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#Event>)))
SubClassOf(<http://www.ease-crc.org/ont/SOMA.owl/NonmanifestedSituation> <http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#Situation>)


############################
# Named Individuals
Expand Down Expand Up @@ -1456,10 +1456,10 @@ ClassAssertion(SOMA:ExecutionStateRegion SOMA:ExecutionState_Succeeded)
SubClassOf(Annotation(rdfs:comment "If a SituationTransition manifests in some Event, then it also has an initial Situation and a terminal one.") ObjectIntersectionOf(SOMA:SituationTransition ObjectSomeValuesFrom(<http://www.ease-crc.org/ont/SOMA.owl/manifestsIn> <http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#Event>)) ObjectIntersectionOf(ObjectSomeValuesFrom(SOMA:hasInitialSituation <http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#Situation>) ObjectSomeValuesFrom(SOMA:hasTerminalSituation <http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#Situation>)))
SubClassOf(Annotation(rdfs:comment "A SituationTransition that manifests in some Event also includes an Action. (NOTE (MP): Typically, the Event manifesting it would be that included Action actually so perhaps we can just require that manifestations of SituationTransitions be Actions?)") ObjectIntersectionOf(SOMA:SituationTransition ObjectSomeValuesFrom(<http://www.ease-crc.org/ont/SOMA.owl/manifestsIn> <http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#Event>)) ObjectSomeValuesFrom(<http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#includesEvent> <http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#Action>))
SubClassOf(Annotation(rdfs:comment "By definition, there can be no prevention relation between Situations that manifest in Events. If Situation X prevents Y, then either X manifests and Y does not, or Y manifests and X does not (interpret as: X would have prevented Y from manifesting if X had manifested), or none of X and Y manifests in any Event.") ObjectIntersectionOf(<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>) ObjectSomeValuesFrom(<http://www.ease-crc.org/ont/SOMA.owl/prevents> ObjectSomeValuesFrom(<http://www.ease-crc.org/ont/SOMA.owl/manifestsIn> <http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#Event>))) owl:Nothing)
SubClassOf(Annotation(rdfs:comment "If a precondition is not met then a Situation cannot manifest.") ObjectIntersectionOf(ObjectSomeValuesFrom(<http://www.ease-crc.org/ont/SOMA.owl/manifestsIn> <http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#Event>) ObjectSomeValuesFrom(<http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#hasPrecondition> <http://www.ease-crc.org/ont/SOMA.owl/NonmanifestedSituation>)) owl:Nothing)
SubClassOf(Annotation(rdfs:comment "If something is an initial situation of some transition, then it must manifest.") ObjectSomeValuesFrom(SOMA:hasInitialSituation <http://www.ease-crc.org/ont/SOMA.owl/NonmanifestedSituation>) owl:Nothing)
SubClassOf(Annotation(rdfs:comment "If a precondition is not met then a Situation cannot manifest.") ObjectIntersectionOf(ObjectSomeValuesFrom(<http://www.ease-crc.org/ont/SOMA.owl/manifestsIn> <http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#Event>) ObjectSomeValuesFrom(<http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#hasPrecondition> SOMA:NonmanifestedSituation)) owl:Nothing)
SubClassOf(Annotation(rdfs:comment "If something is an initial situation of some transition, then it must manifest.") ObjectSomeValuesFrom(SOMA:hasInitialSituation SOMA:NonmanifestedSituation) owl:Nothing)
SubClassOf(Annotation(rdfs:comment "If a transition has an initial situation then it also has a manifestation.") ObjectSomeValuesFrom(SOMA:hasInitialSituation <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>))
SubClassOf(Annotation(rdfs:comment "If something is a terminal situation then it must be a manifested situation (regardless of whether it was expected or not).") ObjectSomeValuesFrom(SOMA:hasTerminalSituation <http://www.ease-crc.org/ont/SOMA.owl/NonmanifestedSituation>) owl:Nothing)
SubClassOf(Annotation(rdfs:comment "If something is a terminal situation then it must be a manifested situation (regardless of whether it was expected or not).") ObjectSomeValuesFrom(SOMA:hasTerminalSituation SOMA:NonmanifestedSituation) owl:Nothing)
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)
Expand Down
Loading