Re: Re: oneOf (2.4) - medical use case from Jonathan Borden on 2002-09-12 (www-webont-wg@w3.org from September 2002)

From: Jonathan Borden <jonathan@openhealth.org>
Date: Thu, 12 Sep 2002 07:52:57 -0400
To: "Deborah McGuinness" <dlm@KSL.Stanford.EDU>, "Ian Horrocks" <horrocks@cs.man.ac.uk>
Cc: "Peter F. Patel-Schneider" <pfps@research.bell-labs.com>, <www-webont-wg@w3.org>
Message-ID: <023e01c25a52$f0b7a320$af363418@ne.mediaone.net>

I wrote:

>
> Suppose the single membered class defined by:
>
> oneOf(individualPatient)
>
> where "individualPatient" is some individual with a collection of
symptoms,
> signs and lab tests
>
> Given this and an ontology e.g. GALEN or SNOMED, I'd like a reasoner to be
> able to entail:
>
> sameClassAs(mostSpecificDiagnosticClass)

That's not quite right. I should be:

oneOf(individualPatient)

entails

subClassOf(mostSpecificDiagnosticClass)

Jonathan

Received on Thursday, 12 September 2002 08:10:14 UTC