skip to main content

kiesler.at
WeitereDescriptionLogics
Back to Page | Back to History

Difference between revisions

Version 0, 2005-03-31 23:37 Version 1, 2005-04-02 18:21
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!