Hi Rob,
It was working just fine for minimum cardinality. If you have a rule that
says "must have at least one" and your instances says "I'm a subclass of
the things that have exactly zero", the validator will detect the error.
And we can do that because we know exactly what elements can potentia
*To be removed from our mailing list, please respond to this message with
UNSUBSCRIBE in the subject line*
*
9th INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS
LATA 2015
Nice, France
March 2
Rob,
Thanks for the great reference. Do you know whether Pellet and the ICV
extension is available for Protégé 5?
Tony
From: Robert Hausam [mailto:rrhau...@gmail.com]
Sent: Saturday, February 07, 2015 12:06 PM
To: Lloyd McKenzie
Cc: Anthony Mallia; Sajjad Hussain; David Booth; w3c semweb HCLS;
Thanks Lloyd,
I am using Hermit as the reasoner and will play with the declarations you
mentioned.
Tony
From: Lloyd McKenzie [mailto:ll...@lmckenzie.com]
Sent: Saturday, February 07, 2015 11:10 AM
To: Anthony Mallia
Cc: Sajjad Hussain; David Booth; w3c semweb HCLS; i...@lists.hl7.org
Subject: Re
Hi Tony,
If you declare an instance has 4 of something, that those instances are
disjoint and that the instance is a subclass of those instances that allow
only 3 of something, the reasoner *should* declare the instance invalid.
Certainly I was able to get that happening w/ Protege when I used tha
Lloyd,
This is the pattern that is used by TopQuadrant in its XSD to OWL conversion
and the FHIR generation was shared by Cecil. The advantage of this mechanism is
that all subclasses of Patient also are subclasses of the Anonymous Ancestor
which is the Class Expression “hasPhoneNumber max 3 Pho
Maybe in the light of the requirements 1 & 2 we can say that a FHIR resource
instance, conformant to a profile, when transformed to RDF will be conformant
to the OWL equivalent of the profile. Whether there is failure detection or not
by OWL itself would be out of scope and could be validated by
You can also close the world declaritively. If I have a Patient with 3
phone numbers, the instance can declare it's a subclass of Patients with an
upper bound of 3 on the number of phone numbers. You can do similar things
for the vocabulary. It's verbose, but it works.
*Lloyd McKenzie*Consultan
