Integrating Time into Terminological Logics.

Albrecht Schmiedel

Published in: Description Logics (1991)

Keyphrases

knowledge base
modal logic
expressive power
inference rules
real world
feature selection
e learning
database systems
data structure
terminological reasoning