W3C home > Mailing lists > Public > www-rdf-rules@w3.org > December 2003

RE: about last question / reasoning with rules

From: Adrian Walker <adrianw@snet.net>
Date: Mon, 08 Dec 2003 07:53:46 -0500
Message-Id: <5.0.2.1.2.20031208074620.02326710@pop.snet.net>
To: <minsu@etri.re.kr>, <zhubin@cai.pku.edu.cn>
Cc: www-rdf-rules@w3.org

Zhu Bin, Minsu --

You may be interested in the "Semantic Web Presentation" at 
www.reengineeringllc.com .

The examples in the presentation can be run by pointing a browser to the 
same site.

The example called SemanticWebOntology1 shows how to do recursive is-a 
reasoning over family relationships.

You can also write and run your own examples, such as Uncle, Homework etc.

                                 Best,  -- Adrian



                                            INTERNET BUSINESS LOGIC

                                              www.reengineeringllc.com

Dr. Adrian Walker
Reengineering LLC
PO Box 1412
Bristol
CT 06011-1412 USA

At 05:35 PM 12/8/03 +0900, you wrote:

>-----Original Message-----
> > From: www-rdf-rules-request@w3.org
>[mailto:www-rdf-rules-request@w3.org] On Behalf Of Zhu Bin
> > Sent: Monday, December 08, 2003 4:57 PM
> > To: www-rdf-rules@w3.org
> > Subject: about last question
> >
> >
> > The swrl example:
> > hasParent(?x1, ?x2)  ?  hasBrother(?x2, ?x3)  =>  hasUncle(?x1, ?x3)
> > can I only use OWL to assert these?
> >
>
>Hi Zhu Bin,
>
>You cannot use OWL to express the uncle relationship. OWL is
>based on description logics, and it is known that description logics
>bear a number of expressiveness restrictions. That is why we need
>a rules language.
>
>The following is another example which cannot be captured in
>OWL, which is adapted from [1]. According to [1], the following
>cannot be described in OWL because "it is impossible to describe
>classes whose instances are related to another anonymous individual
>via different property paths."
>
>if job:worksFor(?x,?y) and life:livesIn(?x,?z)
>   and geo:locatedIn(?y,?w) and geo:locatedIn(?z,?w)
>then
>   job:HomeWorker(?x);
>
>Here, job:HomeWorker can only be defined in SWRL or other rules
>language.
>
>regards,
>Minsu
>
>[1] B. Grosof, I. Horrocks et al. "Description Logic Programms"
>(http://www.cs.man.ac.uk/~horrocks/Publications/download/2003/p117-groso
>f.pdf)


Phone: USA 860 583 9677
Cell:    USA  860 830 2085
Fax:    USA  860 314 1029
Received on Monday, 8 December 2003 07:57:14 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:53:11 GMT