The Decidability of the D0L-DT0L Equivalence Problem.

Published in: J. Comput. Syst. Sci. (1981)

Keyphrases

query containment
query answering
description logics
decision procedures
knowledge base
neural network
equivalence relation
conjunctive queries
rough sets
expert systems
data exchange
search algorithm
multiscale
website
datalog programs
genetic algorithm
real time