How to Benefit from Terminological Logics?

Philipp Hanschke

Published in: Description Logics (1992)

Keyphrases

expressive power
knowledge base
modal logic
real time
query language
knowledge representation
inference rules
epistemic logic
propositional calculus
databases
information retrieval
video sequences
fuzzy logic
proof theory
terminological reasoning