Fast Subsumption Checks Using Anti-Links.

Anavai Ramesh Bernhard Beckert Reiner Hähnle Neil V. Murray

Published in: J. Autom. Reason. (1997)

Keyphrases

description logics
np complete
genetic algorithm
search algorithm
real time
databases
decision making
knowledge base
data structure
information technology
transitive closure
refinement operators