- From: Adrian Walker <adrianw@snet.net>
- Date: Mon, 08 Dec 2003 07:53:46 -0500
- 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 UTC