Fuzzy Description Logic Reasoning Using a Fixpoint Algorithm.

Uwe Keller Stijn Heymans

Published in: LFCS (2009)

Keyphrases

fixpoint
np hard
logic programs
databases
computational complexity
query processing
knowledge representation
reasoning systems