Login / Signup
Towards Implementing Finite Model Reasoning in Description Logics.
Marco Cadoli
Diego Calvanese
Giuseppe De Giacomo
Published in:
Description Logics (2004)
Keyphrases
</>
description logics
reasoning mechanism
reasoning tasks
reasoning systems
knowledge representation and reasoning
knowledge base
knowledge representation
computational properties
reasoning problems
conceptual model
reasoning engine
knowledge representation systems