- From: Jie Bao <baojie@gmail.com>
- Date: Fri, 1 Oct 2010 11:13:10 -0400
- 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 UTC