RE: All humans love (all) cats

Dear Uli, thank you.

Here's what I was doing wrong, and your email was very useful, even though
in somewhat an indirect way:

When you say "All humans love all cats" and then ask "Give me the list of
cats loved by some human," you gotta make sure that the class of humans is
not empty, otherwise the reasoner will return "no results" (unless, of
course, the class of cats is empty :-) ).

Cheers, and many thanks for all the replies.

C

> -----Original Message-----
> From: Uli Sattler [mailto:sattler@cs.man.ac.uk]
> Sent: Wednesday, October 27, 2010 6:58
> To: Cristian Cocos
> Subject: Re: All humans love (all) cats
> 
> Hi Cristian, I had a quick look at your ontology - where do you think
> you said ...
> 
> On 26 Oct 2010, at 16:12, Cristian Cocos wrote:
> 
> > I'm having trouble again with the cats. Please help!
> >
> > Here are the class and property restrictions in my ontology
> (following
> > Markus' suggestions):
> >
> > Classes: PatientDemographicData (containing a bunch of members),
> > ClearanceLevel1Role
> > Properties: hasReadAccessTo (with inverse readAccessibleBy)
> >
> 
> this? All I can find is that ...
> 
> ClearanceLevel1Role isEquivalentTo 'Worker in religion (occupation)'
> 
> but nothing like
> 
> ClearanceLevel1Role SubClassOf hasReadAccessTo some Thing
> 
> hence there seems to be missing something in your ontology?
> 
> Cheers, Uli
> 
> > I want to say that all members of ClearanceLevel1Role have read
> > access to
> > all (members of) PatientDemographicData.
> >
> > Following Markus' suggestion, I added a dummy individual
> > (AnIndividual) in
> > the root of "Thing," and two properties pClearanceLevel1Role and
> > pPatientDemographicData.
> >
> > The class/property restrictions are (in Manchester syntax):
> >
> > ClearanceLevel1Role EquivalentTo pClearanceLevel1Role value
> > AnIndividual
> > PatientDemographicData EquivalentTo pPatientDemographicData value
> > AnIndividual
> > pClearanceLevel1Role o inverse (pPatientDemographicData)
> SubPropertyOf
> > hasReadAccessTo
> >
> > If I now query the ontology with "readAccessibleBy some
> > ClearanceLevel1Role"
> > I get nothing (i.e. "No results"). No reasoner gives me any result.
> > That
> > should return all the members of PatientDemographicData, right?
> >
> > Many thanks,
> >
> > C
> >
> > 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 Wednesday, 27 October 2010 15:08:44 UTC