Deciding expressive description logics in the framework of resolution.

Ullrich Hustadt Boris Motik Ulrike Sattler

Published in: Inf. Comput. (2008)

Keyphrases

expressive description logics
database