Login / Signup
A Tableaux-based Method for Computing Least Common Subsumers for Expressive Description Logics.
Francesco M. Donini
Simona Colucci
Tommaso Di Noia
Eugenio Di Sciascio
Published in:
Description Logics (2009)
Keyphrases
</>
special case
matching algorithm
description logics
expressive description logics