search

ease-crc / soma

The Socio-physical Model of Activities (SOMA) is a formal activity model for embodied agents that need to operate their body to generate motions that cause intentional effects in the physical and social world.
GNU Lesser General Public License v3.0
16 stars 22 forks source link

soma:'manifestsIn' has no domain and no range #311

Open JeremiasThun opened 7 months ago

JeremiasThun commented 7 months ago

Even though, the object property soma:'manifestsIn' has a clearly defined domain and range given in the comment:

"A relationship indicating that a Situation is realized in an Event that actually happened."

both are not modeled in OWL:

https://github.com/ease-crc/soma/blob/fc29af07925f8cdaaa63cbad5a61d9d5fbdbdbfd/owl/SOMA-ACT.owl#L441-L447

I suggest adding these two lines:

ObjectPropertyDomain(<http://www.ease-crc.org/ont/SOMA.owl/manifestsIn> <http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#Situation>)
ObjectPropertyRange(<http://www.ease-crc.org/ont/SOMA.owl/manifestsIn> <http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#Event>)