Skip to content

Commit

Permalink
Merge pull request #286 from mrnolte/master
Browse files Browse the repository at this point in the history
MOIN
  • Loading branch information
mpomarlan authored Mar 3, 2023
2 parents 11a8270 + fbe56f1 commit f2fb4fa
Show file tree
Hide file tree
Showing 11 changed files with 896 additions and 477 deletions.
4 changes: 2 additions & 2 deletions owl/DUL.owl
Original file line number Diff line number Diff line change
Expand Up @@ -555,7 +555,7 @@ SymmetricObjectProperty(<http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#h
ObjectPropertyDomain(<http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#hasCommonBoundary> <http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#Entity>)
ObjectPropertyRange(<http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#hasCommonBoundary> <http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#Entity>)

# Object Property: <http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#hasComponent> (ha componente)
# Object Property: <http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#hasComponent> (has component)

AnnotationAssertion(rdfs:comment <http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#hasComponent> "The hasProperPart relation without transitivity, holding between an Object (the system) and another (the component), and assuming a Design that structures the Object.")
AnnotationAssertion(rdfs:isDefinedBy <http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#hasComponent> <http://www.ontologydesignpatterns.org/ont/dul/DUL.owl>)
Expand Down Expand Up @@ -1394,7 +1394,7 @@ SubObjectPropertyOf(<http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#reali
ObjectPropertyDomain(<http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#realizesInformationAbout> <http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#InformationRealization>)
ObjectPropertyRange(<http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#realizesInformationAbout> <http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#Entity>)

# Object Property: <http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#realizesSelfInformation> (realizes self information)
# Object Property: <http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#realizesSelfInformation> (realizes self-information)

AnnotationAssertion(rdfs:comment <http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#realizesSelfInformation> "This relation is a workaround to enable local reflexivity axioms (Self) working with non-simple properties; in this case, dul:realizesInformation About.")
AnnotationAssertion(rdfs:isDefinedBy <http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#realizesSelfInformation> <http://www.ontologydesignpatterns.org/ont/dul/DUL.owl>)
Expand Down
524 changes: 421 additions & 103 deletions owl/SOMA-ACT.owl
100755 → 100644

Large diffs are not rendered by default.

171 changes: 89 additions & 82 deletions owl/SOMA-IO.owl

Large diffs are not rendered by default.

6 changes: 3 additions & 3 deletions owl/SOMA-NEEM.owl
Original file line number Diff line number Diff line change
Expand Up @@ -22,21 +22,21 @@ Declaration(Class(SOMA:VideoData))
# Classes
############################

# Class: <http://www.ease-crc.org/ont/SOMA.owl#KinoDynamicData> (Kino-dynamic data)
# Class: SOMA:KinoDynamicData (Kino-dynamic data)

AnnotationAssertion(rdfs:comment SOMA:KinoDynamicData "An InformationObject containing data about how a physical object is put together such that its parts may move relative to each other, and what the physical characteristics of those parts are.")
AnnotationAssertion(rdfs:label SOMA:KinoDynamicData "Kino-dynamic data"@en)
SubClassOf(SOMA:KinoDynamicData <http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#InformationObject>)
SubClassOf(SOMA:KinoDynamicData ObjectAllValuesFrom(<http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#isAbout> <http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#PhysicalObject>))

# Class: <http://www.ease-crc.org/ont/SOMA.owl#MeshShapeData> (Mesh-shape data)
# Class: SOMA:MeshShapeData (Mesh-shape data)

AnnotationAssertion(rdfs:comment SOMA:MeshShapeData "An InformationObject containing data about the geometry of a physical object.")
AnnotationAssertion(rdfs:label SOMA:MeshShapeData "Mesh-shape data"@en)
SubClassOf(SOMA:MeshShapeData <http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#InformationObject>)
SubClassOf(SOMA:MeshShapeData ObjectAllValuesFrom(<http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#isAbout> <http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#PhysicalObject>))

# Class: <http://www.ease-crc.org/ont/SOMA.owl#VideoData> (Video data)
# Class: SOMA:VideoData (Video data)

AnnotationAssertion(rdfs:comment SOMA:VideoData "An information object containing data for audio-visual modalities.")
AnnotationAssertion(rdfs:label SOMA:VideoData "Video data"@en)
Expand Down
279 changes: 165 additions & 114 deletions owl/SOMA-OBJ.owl

Large diffs are not rendered by default.

106 changes: 53 additions & 53 deletions owl/SOMA-PROC.owl

Large diffs are not rendered by default.

110 changes: 35 additions & 75 deletions owl/SOMA-SAY.owl

Large diffs are not rendered by default.

30 changes: 15 additions & 15 deletions owl/SOMA-STATE.owl
Original file line number Diff line number Diff line change
Expand Up @@ -62,7 +62,7 @@ Declaration(ObjectProperty(<http://www.ontologydesignpatterns.org/ont/dul/DUL.ow
# Object Properties
############################

# Object Property: <http://www.ease-crc.org/ont/SOMA.owl#hasStateType> (has state type)
# Object Property: SOMA:hasStateType (has state type)

AnnotationAssertion(rdfs:comment SOMA:hasStateType "A relation between roles and state types, e.g. 'the chair is the supporter of the person sitting on it'.")
AnnotationAssertion(rdfs:label SOMA:hasStateType "has state type")
Expand All @@ -71,7 +71,7 @@ InverseObjectProperties(SOMA:hasStateType SOMA:isStateTypeOf)
ObjectPropertyDomain(SOMA:hasStateType <http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#Role>)
ObjectPropertyRange(SOMA:hasStateType SOMA:StateType)

# Object Property: <http://www.ease-crc.org/ont/SOMA.owl#isStateTypeOf> (is state type of)
# Object Property: SOMA:isStateTypeOf (is state type of)

AnnotationAssertion(rdfs:comment SOMA:isStateTypeOf "A relation between roles and state types, e.g. 'the chair is the supporter of the person sitting on it'.")
AnnotationAssertion(rdfs:label SOMA:isStateTypeOf "is state type of")
Expand All @@ -85,14 +85,14 @@ ObjectPropertyRange(SOMA:isStateTypeOf <http://www.ontologydesignpatterns.org/on
# Classes
############################

# Class: <http://www.ease-crc.org/ont/SOMA-STATE.owl#ContainmentState> (Containment state)
# Class: :ContainmentState (Containment state)

AnnotationAssertion(rdfs:comment :ContainmentState "Classifies States in which an object is kept inside another object.")
AnnotationAssertion(rdfs:label :ContainmentState "Containment state"@en)
SubClassOf(:ContainmentState SOMA:FunctionalControl)
SubClassOf(:ContainmentState ObjectSomeValuesFrom(SOMA:isStateTypeOf ObjectIntersectionOf(SOMA:Container ObjectAllValuesFrom(<http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#classifies> ObjectSomeValuesFrom(SOMA:hasDisposition SOMA:Containment)))))

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

AnnotationAssertion(rdfs:comment SOMA:Configuration "A description of a State. This includes e.g. what acceptable regions for participant objects of the State might look like.
A configuration of the world is construed to be stable on its own. Outside disturbances may cause state transitions, and the settling into some other, self-stable configuration.
Expand All @@ -105,18 +105,18 @@ The second issue relates to what is \"outside\". The state is a configuration of
SubClassOf(SOMA:Configuration <http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#Description>)
SubClassOf(SOMA:Configuration ObjectSomeValuesFrom(<http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#describes> SOMA:StateType))

# Class: <http://www.ease-crc.org/ont/SOMA.owl#ContactState> (Contact state)
# Class: SOMA:ContactState (Contact state)

AnnotationAssertion(rdfs:comment SOMA:ContactState "Classifies States in which some objects are in contact.")
AnnotationAssertion(rdfs:label SOMA:ContactState "Contact state"@en)
SubClassOf(SOMA:ContactState SOMA:StateType)
SubClassOf(SOMA:ContactState ObjectAllValuesFrom(<http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#classifies> ObjectMinCardinality(2 <http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#hasParticipant> <http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#PhysicalObject>)))

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

AnnotationAssertion(rdfs:comment SOMA:Containment "Classifies States in which an object is placed inside another.")

# Class: <http://www.ease-crc.org/ont/SOMA.owl#FunctionalControl> (Functional state)
# Class: SOMA:FunctionalControl (Functional state)

AnnotationAssertion(rdfs:comment SOMA:FunctionalControl "Classifies States in which an object restricts the movement of another, at least partially. Usually neither object is construed to be an agent.

Expand All @@ -126,43 +126,43 @@ SubClassOf(SOMA:FunctionalControl SOMA:StateType)
SubClassOf(SOMA:FunctionalControl ObjectSomeValuesFrom(SOMA:isStateTypeOf SOMA:Item))
SubClassOf(SOMA:FunctionalControl ObjectSomeValuesFrom(SOMA:isStateTypeOf SOMA:Restrictor))

# Class: <http://www.ease-crc.org/ont/SOMA.owl#LinkageState> (Linkage state)
# Class: SOMA:LinkageState (Linkage state)

AnnotationAssertion(rdfs:comment SOMA:LinkageState "Classifies States in which two objects are in a rigid connection, such that the movement of one determines the movement of the other.")
AnnotationAssertion(rdfs:label SOMA:LinkageState "Linkage state"@en)
SubClassOf(SOMA:LinkageState SOMA:StateType)
SubClassOf(SOMA:LinkageState ObjectSomeValuesFrom(SOMA:isStateTypeOf SOMA:LinkedObject))

# Class: <http://www.ease-crc.org/ont/SOMA.owl#PhysicalAccessibility> (Physical accessibility)
# Class: SOMA:PhysicalAccessibility (Physical accessibility)

AnnotationAssertion(rdfs:comment SOMA:PhysicalAccessibility "Classifies States in which an item is placed in a container or protected by a protector, but the placement of the item and container is such that a, usually agentive, accessor may nevertheless reach the item in order to perform a task.")
AnnotationAssertion(rdfs:label SOMA:PhysicalAccessibility "Physical accessibility"@en)
SubClassOf(SOMA:PhysicalAccessibility SOMA:StateType)
SubClassOf(SOMA:PhysicalAccessibility ObjectSomeValuesFrom(SOMA:isStateTypeOf SOMA:Item))
SubClassOf(SOMA:PhysicalAccessibility ObjectSomeValuesFrom(SOMA:isStateTypeOf SOMA:Restrictor))

# Class: <http://www.ease-crc.org/ont/SOMA.owl#PhysicalBlockage> (Physical blockage)
# Class: SOMA:PhysicalBlockage (Physical blockage)

AnnotationAssertion(rdfs:comment SOMA:PhysicalBlockage "Classifies States in which an object, in general called restrictor, blocks access to an item. A usually agentive accessor, whose access is blocked, may be specified.")
AnnotationAssertion(rdfs:label SOMA:PhysicalBlockage "Physical blockage"@en)
SubClassOf(SOMA:PhysicalBlockage SOMA:StateType)
SubClassOf(SOMA:PhysicalBlockage ObjectSomeValuesFrom(SOMA:isStateTypeOf SOMA:Item))
SubClassOf(SOMA:PhysicalBlockage ObjectSomeValuesFrom(SOMA:isStateTypeOf SOMA:Restrictor))

# Class: <http://www.ease-crc.org/ont/SOMA.owl#PhysicalExistence> (Physical Existince)
# Class: SOMA:PhysicalExistence (Physical Existince)

AnnotationAssertion(rdfs:comment SOMA:PhysicalExistence "A State in which an Entity is said to exist in the physical world.")
AnnotationAssertion(rdfs:label SOMA:PhysicalExistence "Physical Existince"@en)
SubClassOf(SOMA:PhysicalExistence SOMA:PhysicalState)

# Class: <http://www.ease-crc.org/ont/SOMA.owl#PhysicalState> (Physical state)
# Class: SOMA:PhysicalState (Physical state)

AnnotationAssertion(rdfs:comment SOMA:PhysicalState "A State describing how Entities in the physical world relate to each other.")
AnnotationAssertion(rdfs:label SOMA:PhysicalState "Physical state")
SubClassOf(SOMA:PhysicalState SOMA:State)
SubClassOf(SOMA:PhysicalState ObjectSomeValuesFrom(<http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#hasParticipant> <http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#PhysicalObject>))

# Class: <http://www.ease-crc.org/ont/SOMA.owl#SocialState> (Social state)
# Class: SOMA:SocialState (Social state)

AnnotationAssertion(rdfs:comment SOMA:SocialState "A State which describes how Agents relate to each other.

Expand All @@ -174,15 +174,15 @@ AnnotationAssertion(rdfs:label SOMA:SocialState "Social state")
SubClassOf(SOMA:SocialState SOMA:State)
SubClassOf(SOMA:SocialState ObjectSomeValuesFrom(<http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#hasParticipant> <http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#Agent>))

# Class: <http://www.ease-crc.org/ont/SOMA.owl#StateType> (State type)
# Class: SOMA:StateType (State type)

AnnotationAssertion(rdfs:comment SOMA:StateType "An EventType that classifies States.")
AnnotationAssertion(rdfs:label SOMA:StateType "State type"@en)
SubClassOf(SOMA:StateType <http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#EventType>)
SubClassOf(SOMA:StateType ObjectAllValuesFrom(<http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#classifies> SOMA:State))
SubClassOf(SOMA:StateType ObjectAllValuesFrom(<http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#hasPart> SOMA:StateType))

# Class: <http://www.ease-crc.org/ont/SOMA.owl#SupportState> (Support state)
# Class: SOMA:SupportState (Support state)

AnnotationAssertion(rdfs:comment SOMA:SupportState "Classifies States in which an object is not able to move under gravity because of its placement relative to some other object.")
AnnotationAssertion(rdfs:label SOMA:SupportState "Support state"@en)
Expand Down
Loading

0 comments on commit f2fb4fa

Please sign in to comment.