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

Massimo Coletti mailing.coletti at finnat.it
Fri Sep 8 03:01:34 PDT 2006


Daniel,

I don't think that is possible without coding at least a subproperty 
hasStartState with restriction(cardinality(1)). Then you can add 
someValue restrictions on the main property for EndState and normalState 
(all subclasses of State).

In the form, you will have to fill a "standard" widget with the start 
state, then it will appear in the graph, and you can populate the graph 
with the other states.

.. well I am not a guru :-)

Massimo

Daniel Goergen ha scritto:
>
> 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
>
> ------------------------------------------------------------------------
>
> _______________________________________________
> protege-owl mailing list
> protege-owl at lists.stanford.edu
> https://mailman.stanford.edu/mailman/listinfo/protege-owl
>   



This e-mail and any attachments may contain confidential and
privileged information. If you are not the intended recipient,
please notify the sender immediately by return e-mail, delete this
e-mail and destroy any copies. Any dissemination or use of this
information by a person other than the intended recipient is
unauthorized and may be illegal.



More information about the protege-owl mailing list