- 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