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.
This PR attempts to solve #248: All SOMA Files have been saved as Functional Syntax. When generating the published files, the CI will still publish them in RDF XML.
Note that recently, there has been a PR to the OWL API that extends the Manchester Syntax such that it can express all of OWL DL 2, however, this has not been adopted to Protege yet.
I checked that the number of axioms stayed the same after rewriting SOMA; i.e., no axioms got lost during translation.
This PR attempts to solve #248: All SOMA Files have been saved as Functional Syntax. When generating the published files, the CI will still publish them in RDF XML.
Note that recently, there has been a PR to the OWL API that extends the Manchester Syntax such that it can express all of OWL DL 2, however, this has not been adopted to Protege yet.
I checked that the number of axioms stayed the same after rewriting SOMA; i.e., no axioms got lost during translation.