A formal framework for description logics with uncertainty.

Volker Haarslev Hsueh-Ieng Pai Nematollaah Shiri

Published in: Int. J. Approx. Reason. (2009)

Keyphrases

description logics
knowledge base
computational properties
reasoning mechanism
knowledge representation
highly expressive
taxonomic reasoning
reasoning systems
dl lite
first order logic
model theoretic
reasoning problems