Decidability Under the Well-Founded Semantics.

Natalia Cherchago Pascal Hitzler Steffen Hölldobler

Published in: RR (2007)

Keyphrases

description logics
query answering
type checking
decision procedures
databases
machine learning
computer vision
multimedia
case study
database systems
query processing
knowledge representation
management system
automata theoretic