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

asked 19 Dec '12, 09:26

Roberta%20Perrone's gravatar image

Roberta Perrone
415
accept rate: 0%


if patient has symptom B, then I'm sure that patient will not belong to a certain class.

Let us name the "certain class" X. Then, in Turtle:

[  a owl:Restriction;
   owl:onProperty  ex:hasSymptom;
   owl:hasValue  B  ]  rdfs:subClassOf  [  owl:complementOf  X  ] .

Which can be written more abstractly like this, in Description Logic notations:

∃hasSymptom.{A} ⊑ ¬X
permanent link

answered 20 Dec '12, 06:54

Antoine%20Zimmermann's gravatar image

Antoine Zimm... ♦
10.2k514
accept rate: 32%

Your answer
toggle preview

Follow this question

By Email:

Once you sign in you will be able to subscribe for any updates here

By RSS:

Answers

Answers and Comments

Markdown Basics

  • *italic* or _italic_
  • **bold** or __bold__
  • link:[text](http://url.com/ "title")
  • image?![alt text](/path/img.jpg "title")
  • numbered list: 1. Foo 2. Bar
  • to add a line break simply add two spaces to where you would like the new line to be.
  • basic HTML tags are also supported

Question tags:

×662
×604
×112

question asked: 19 Dec '12, 09:26

question was seen: 1,306 times

last updated: 20 Dec '12, 06:54