W3C home > Mailing lists > Public > www-webont-wg@w3.org > September 2002

Re: Re: oneOf (2.4) - medical use case

From: Jonathan Borden <jonathan@openhealth.org>
Date: Thu, 12 Sep 2002 07:52:57 -0400
Message-ID: <023e01c25a52$f0b7a320$af363418@ne.mediaone.net>
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>

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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:57:52 GMT