Login / Signup
Exponential Speedup in UL Subsumption Checking relative to general TBoxes for the Constructive Semantics.
Michael Mendler
Stephan Scheele
Published in:
Description Logics (2009)
Keyphrases
</>
description logics
special case
highly expressive
model theoretic
orders of magnitude
reasoning tasks
information retrieval
genetic algorithm
expressive power
formal semantics