Extended Caching and Backjumping for Expressive Description Logics.

Andreas Steigmiller Thorsten Liebig Birte Glimm

Published in: Description Logics (2012)

Keyphrases

expressive description logics
description logics
owl dl
databases
query language
constraint satisfaction problems
semantic information
transitive closure
regular path queries