|
Dear all, I have this problem: I would like to infer with ontology something like this: Patient has symptons A,B,C,D: if patient has symptom B, then I'm sure that patient will not belong to a certain class. What would be the property inferred? maybe disjoint? But the problem is that we are talking about individual! quite strange! can you help me!? thanks roberta |
Let us name the "certain class" Which can be written more abstractly like this, in Description Logic notations: |
