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] Enumerated Classes and Special Relationships

Thomas Schneider schneidt at
Mon Jan 25 01:06:48 PST 2010

Hi Pooven,

On 22 Jan 2010, at 09:47, Poovendran Moodley wrote:

> [...] So I've read the material you've suggested (so grateful for  
> the link!!) and it was just what I was looking for. The paper was a  
> bit difficult for me to understand but the presentation was clear.  
> They suggest using an intermediate individual to allow, what they  
> call, a concept product - aptly named.
> So they suggest (on page 9 of the presentation) the use of roles R1  
> and R2 such that for A: R1 value x, and for B: R2 value x. Then R  
> can be defined to be the superclass of R1 ◦ Inv(R2). I'm not sure  
> what ◦ is suppose to mean but I've interpreted it as R being  
> equivalent to both R1 and Inv(R2) and, the subclass of these object  
> properties. I also made Inv(R2) transitive and the reasoner infers  
> that every individual in A has role R with every individual in class  
> B.

No, the circle denotes the concatenation of roles or, in OWL speak, an  
object property chain. The axiom "R1 o Inv(R2) subPropertyOf R" means  
that whenever an individual x has some individual y as R1-value and y  
has z as Inv(R2)-value, then x has z as R-value. Your modelling says  
something different.

> While it does give me the results I was searching for, are there any  
> shortcomings or reservations that I should be aware of? I was  
> thinking of a transitive role and an intermediate individual but  
> wasn't sure if it made sense to model knowledge in that way... but  
> it seems it's an effective work around :)

Well, if you use the solution as given in the paper, you might have to  
take care that the global restrictions on axioms in OWL 2 DL [1]  
aren't violated when you use the roles R, R1, R2 in other axioms.




> Kind regards
> Pooven
> _______________________________________________
> protege-owl mailing list
> protege-owl at
> Instructions for unsubscribing:

|  Dr Thomas Schneider                    schneider (at)  |
|  School of Computer Science  |
|  Kilburn Building, Room 2.114                 phone +44 161 2756136  |
|  University of Manchester                                            |
|  Oxford Road                                             _///_       |
|  Manchester M13 9PL                                      (o~o)       |

Dinder (vb.)
   To nod thoughtfully while someone gives you a long and complex set of
   directions which you know you're never going to remember.

                   Douglas Adams, John Lloyd: The Deeper Meaning of Liff

-------------- next part --------------
A non-text attachment was scrubbed...
Name: PGP.sig
Type: application/pgp-signature
Size: 203 bytes
Desc: This is a digitally signed message part
URL: <>

More information about the protege-owl mailing list