[seek-kr-sms] owl 1.1

[Sergey Krivov]

Wow! 
I think that the addition of role inclusion with role compositions 
(Aka R1*R2<S) adds a lot of expressive power. Now we can model  composition
of n-ary relations, such as: Q(X,Y):-r(X,Z),p(Z,Y).
(sometimes, perhaps).

Cheers,
sergey
 
 

> -----Original Message-----
> From: seek-kr-sms-bounces at ecoinformatics.org [mailto:seek-kr-sms-
> bounces at ecoinformatics.org] On Behalf Of Shawn Bowers
> Sent: Friday, August 11, 2006 11:37 AM
> To: seek-kr-sms at ecoinformatics.org
> Subject: [seek-kr-sms] owl 1.1
> 
> 
> If you haven't already seen this, here is the owl 1.1 documentation:
> 
> http://owl1_1.cs.manchester.ac.uk/
> 
> 
> -shawn
> _______________________________________________
> Seek-kr-sms mailing list
> Seek-kr-sms at ecoinformatics.org
> http://mercury.nceas.ucsb.edu/ecoinformatics/mailman/listinfo/seek-kr-sms