Login / Signup

Checking Consistency of an ABox w.r.t. Global Assumptions in PDL.

Linh Anh NguyenAndrzej Szalas
Published in: Fundam. Informaticae (2010)
Keyphrases
  • consistency checking
  • description logics
  • global consistency
  • query answering
  • neural network
  • expert systems
  • case study
  • expressive description logics
  • maintaining consistency
  • terminological reasoning