W3C home > Mailing lists > Public > public-owl-dev@w3.org > October to December 2010

Re: All humans love (all) cats

From: Jie Bao <baojie@gmail.com>
Date: Fri, 1 Oct 2010 11:13:10 -0400
Message-ID: <AANLkTi=1rwZTpvCmnrxJq+DvgNd+wW1FjxbmyXsZZW-5@mail.gmail.com>
To: Cristian Cocos <cristi@ieee.org>
Cc: public-owl-dev@w3.org, sandro@w3.org
Cristian

I guess you need a rule like Human(x),Cat(y) -> love(x,y)

The trick is to use self restrictions, the top property and property
chains to connect all x and y.

in Functional-Style Syntax

EquivalentClasses( Human ObjectHasSelf( ex:pHuman ) )
EquivalentClasses( Cat ObjectHasSelf( ex:pCat ) )
SubObjectPropertyOf( ObjectPropertyChain( ex:pHuman owl:topObjectProperty
ex:pCat ) ex:love)

or in Manchester Syntax

Class: Human EquivalentTo: ex:pHuman Self
Class: Cat EquivalentTo: ex:pCat Self
ObjectProperty: ex:love  SubPropertyChain: ex:pHuman o
owl:topObjectProperty o ex:pCat

Wish that helps

Jie

On Fri, Oct 1, 2010 at 10:51, Cristian Cocos <cristi@ieee.org> wrote:
> How would I write "All humans love all cats" in OWL2 please ? (I'd
> appreciate a Manchester syntax rendering.) I know how to trick OWL2 to say
> that some fixed specified individual loves all cats, though not the former.
>
> Many thanks,
>
> Cristian Cocos
> Post Doctoral Fellow
> Centre for Logic and Information, StFX University 54B St. Mary's Street,
> Antigonish NS, Canada B2G 2W5
> Tel: + 1 (902) 867-4931, Fax: +1 (902) 867-1397
>
> Current research: "Building Decision-Support Through Dynamic Workflow
> Systems for Health Care"
>
>
>
>
>
>
Received on Friday, 1 October 2010 15:14:02 GMT

This archive was generated by hypermail 2.3.1 : Wednesday, 27 March 2013 09:32:58 GMT