Finite Model Reasoning in Horn Description Logics.

Yazmín Angélica Ibáñez-García Carsten Lutz Thomas Schneider

Published in: KR (2014)

Keyphrases

description logics
reasoning mechanism
knowledge representation
reasoning tasks
expressive description logics
knowledge base
computational properties
reasoning systems
knowledge representation systems
np hard
conceptual model
reasoning problems
owl dl
uml class diagrams
fuzzy description logics