Search Mailing List Archives


Limit search to: Subject & Body Subject Author
Sort by: Reverse Sort
Limit to: All This Week Last Week This Month Last Month
Select Date Range     through    

[protege-owl] restrictions

Daniel Goergen daniel.goergen at biotronik.com
Thu Sep 7 05:41:48 PDT 2006


Hello!

I have a question concerning restrictions in OWL.
My model contains a Statemachine and a property hasStates.
There are different types of states (Start, End, Normal and Decision).

Now there are several restrictions because of the definition of a state 
machine:

* It has minimum one state (excluding start, end and decision states). => 
hasStates some NormalState
* It has exactly one start state
* It has minimum one end state

Is there a way to combine this in one restriction on hasStates? or another 
possibility?

I don´t want to use more properties like hasEndstates and hasStartState 
because I am using Graph Widget populate the model.


thanks for reading :O)

Daniel

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.stanford.edu/pipermail/protege-owl/attachments/20060907/89fcd58a/attachment.html>


More information about the protege-owl mailing list