Global Caching, Inverse Roles and Fixpoint Logics.

Published in: Description Logics (2009)

Keyphrases

fixpoint
number restrictions
proof theoretic
logic programs
deductive databases
description logics
finite state machines
model theoretic
inference rules
stable models
modal logic
decision procedures
datalog programs
answer sets
sql queries
artificial intelligence
first order logic
logic programming
knowledge base