Generalized satisfiability for the description logic ALC.

Arne Meier Thomas Schneider

Published in: Theor. Comput. Sci. (2013)

Keyphrases

description logic alc
modal logic
description logics
temporal logic
decision procedures
knowledge base
inference rules
normal form
prime implicates
orders of magnitude
computational properties
knowledge representation
reasoning tasks
terminological reasoning