odungern
commented
5 years ago You are right, it is interesting where certain statements have been defined, especially in case of contradiction. You want to know which diagrams to look at and modify to resolve it. It is possible to restrict the possibility to certain statements such as SpecIF:shows by adding the permissible statementClasses to the subjectClasses or objectClasses of the respective statementClass. You are also right, that the schema supports this already, but the constraint check would not accept it. I agree and will make the modification of the constraint check as soon as I can. There is quite some work to be applied by now ..
In trying mapping some data to SpecIF, I have the problem, that sometimes it would be very helpful, if you could add a Statement, that comes or goes from or to another statement. I provided just one example here:
This diagram expresses, that the two resources and the writes-Statement are shown on the diagram. Currently this is not possible to express. You just can split the Statement between the two resources in two parts and add a "Dummy"-resource in the middle as Object for the shows statement. I think this is not a good solution to solve the problem.
No change at the schema definition is necessary. It is just a semantic change/extension, that a subject- or object-key in a statement can also reference to statements and not just to resources.
Any other suggestions?