Model Theoretic Characterisations of Description Logics

Published in: CoRR (2013)

Keyphrases

model theoretic
description logics
knowledge base
reasoning tasks
dl lite
knowledge representation
computational properties
reasoning mechanism
owl dl
semantic web
deductive databases
reasoning problems
search algorithm
action theories