Re: Modeling a specific construct - please help

this is a difficult one:

- I assume that Ab, B, and C are individuals, and that 'preceeds' is  
'directly preceeds' (otherwise, you should *not* conclude that A is  
ConcurrentWith C.

- you can introduce a transitive superproperty 'preceeds-trans' of  
preceeds and find all instances of the class (e.g., via OWL API and  
reasoner or via the DL query tab in Protege 4):

(preceeds-trans value C) or (Inv(preceeds-trans) value C)

if A is *not* in the answer to this query, then you can assume that it  
is ConcurrentWith C.

Cheers, Uli


On 11 Sep 2009, at 12:27, Milan Zdravkovic wrote:

> I am a beginner in OWL, working on specific process ontology. I have  
> a problem in inferring the concurrency of process activities, for  
> example - on basis of asserted A preeceds B and C preceeds B, I need  
> to infer that: A isConcurrentWith C.
> I was trying with modeling domain of isConcurrentWith with  
> (Manchester syntax):
> preceeds some (suceeds min 2 ProcessActivity)
> , where preceeds properties are asserted and suceeds is inferred  
> inverse property, but without success.
>
> Could you please help me on this ?
>
>
>