| Lines 10 - 14 |
Lines 10 - 62 |
| mit oder / negation |
mit oder / negation |
| |
|
| |
|
| |
|
| |
+++ primitive concept |
| |
|
| |
A | A^I untermenge_von DELTA^I |
| |
|
| |
|
| |
+++ primitive role |
| |
|
| |
R | R^I untermenge_von DELTA^I x DELTA^I |
| |
|
| |
|
| |
+++ top (=true) |
| |
|
| |
T | DELTA^I |
| |
|
| |
|
| |
+++ bottom (=false) |
| |
|
| |
(umgedrehtes T) | (durchgestrichene 0) |
| |
|
| |
|
| |
+++ complement |
| |
|
| |
NOT C | DELTA^I \ C^I |
| |
|
| |
|
| |
+++ conjunction (Schnitt) |
| |
|
| |
C |~| D (nach unten offenes quadrat) | C^I AND D^I |
| |
|
| |
|
| |
+++ disjunction (Vereinigung) |
| |
|
| |
C |_| D (nach oben offenes quadrat) | C^I OR D^I |
| |
|
| |
|
| |
+++ universal quant |
| |
|
| |
FORALL R, C | { x | FORALL y.R^I(x,y) -> C^I(y) } |
| |
|
| |
+++ existent quant |
| |
|
| |
EXISTS R, C | { x | EXISTS y.R^I(x,y) AND C^I (y) } |
| |
|
| |
|
| |
++ Komplexität |
| |
|
| |
die meisten Reasoning-Tasks sind p-space vollständig! |
| |
|
| |
|
WeitereDescriptionLogics
