Consistency Checking Reduced to Satisfiability of Concepts in Terminological Systems.

Bernhard Hollunder

Published in: Ann. Math. Artif. Intell. (1996)

Keyphrases

consistency checking
expert systems
stochastic search
knowledge representation
query answering
satisfiability problem
database
data sets
data mining
case study
multiagent systems
terminological reasoning