I am trying to design an ontology to represent the logics that an event is identified by a change to a specific property.
Currently, I have following : Classes:
- Event,
- PropertyChange (two subclass: PropertyIncrease, PropertyDecrease),
- Property
ObjectProperty:
- isIdentifiedBy: (domain: Event, range: PropertyChange)
- changedProperty: (domain:PropertyChange, range:Property).
I created a graph with instances:
- event1:Event, event2:Event add30:PropertyIncrease, property1:Property, Property2:Property
to repesent the fact "event1 is identified by adding 30 to property1", I found it is not possible as event1-isIdentifiedBy->add30 can only represent event1 is indentified by add30, if there are two edges from add30 to property1 and property2, then We can't tell from the graph which property is identifying event1 by adding 30.
I have tried to add an ObjectProperty from Event to Property to the ontology, but it makes the graph a circle, which is not good for the application of Model based QA.
It will be apprecatied if you could help, thanks!