On the Closure of Description Logics under Substitutions.

Jon Haël Brenas Rachid Echahed Martin Strecker

Published in: Description Logics (2016)

Keyphrases

description logics
knowledge base
knowledge representation
computing least common subsumers
reasoning problems
semantic web

reasoning tasks
computational properties
knowledge representation and reasoning
concept descriptions
reasoning systems
knowledge representation languages

model theoretic
reasoning mechanism
owl dl
knowledge representation formalisms
dl lite

ontology languages
knowledge representation systems
number restrictions
dl programs
artificial intelligence