RE: All humans love (all) cats

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)

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 Tuesday, 26 October 2010 15:13:19 UTC