I believe Robert correctly analyzed the situation, and I am not sanguine about
prospects for "determining equivalence" of any "expressions" that use RIM or
SNOMED "codes" inside some kind of OWL-like syntax.
Two expressions "are equivalent" in OWL/RDF if they denote sets that have the
same memb
Clarification...
The first one means:
Act.participant[@typeCode='verifier']
The second one means:
Act.relationship[@typeCode='verifier'].Act[@code='verification',
@moodCode='EVN'].participant[@typeCode='performer']
Is there any reasoning that can be done to determine equivalence between the
> < example, VRF (verifier) hanging off an Act, vs. Act being subject of a
> Verification act with a performer of the verifier. >>
Is there any way of telling these two things are the same in OWL, short of
using a rule?
"VRF (verifier) hanging off an Act", in OWL speak, means you have an Act wi