Login / Signup
On the Decidability of the OL-DOL Equivalence Problem
Keijo Ruohonen
Published in:
Inf. Control. (1979)
Keyphrases
</>
query containment
description logics
query answering
conjunctive queries
data mining
datalog programs
decision procedures
interactive dynamic influence diagrams
search engine
data model