[seek-kr-sms] my emails on SWRL: lost images

[Serguei Krivov]

has_uncle(X1,X3) :- has_parent(X1,X2), has_brother(X2,X3).

 

This is as clear as it gets. It's human readable, easy to parse, and I

don't see how it can be improved (if it ain't broken don't fix it ;-).

 

Hi Bertram,

I apologize again about the mess around html format.

 

I love prolog syntax. If this syntax could be extended to cleanly describe
OWL-DL constructs, such as unions, complements, enumerations, and worst of
all-  property restrictions, then it would be the best for SWRL. Currently
SWRL abstract syntax   uses OWL abstract syntax for this purpose. ( It is
called abstract because rdfs based syntax, which is the worst is assumed to
be concrete)

 

 I love to use my LaTeX editor and paste images from pdf files to email, but
I would much prefer not to do it. But how could I describe concisely in
ascii the example of rule as follows ( I added it also in attachments): 

The question is actually how to describe property restrictions that could be
nested and combined with Boolean operations in any  manner.

 

 

serguei

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mercury.nceas.ucsb.edu/ecoinformatics/pipermail/seek-kr-sms/attachments/20050424/22a6f085/attachment-0001.htm
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: image/jpeg
Size: 5370 bytes
Desc: not available
Url : http://mercury.nceas.ucsb.edu/ecoinformatics/pipermail/seek-kr-sms/attachments/20050424/22a6f085/attachment-0001.jpg
-------------- next part --------------
A non-text attachment was scrubbed...
Name: exrule.jpg
Type: image/jpeg
Size: 11272 bytes
Desc: not available
Url : http://mercury.nceas.ucsb.edu/ecoinformatics/pipermail/seek-kr-sms/attachments/20050424/22a6f085/exrule-0001.jpg