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

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