Augmenting Concept Languages by Transitive Closure of Roles: An Alternative to Terminological Cycles.

Franz Baader

Browse the full IJCAI paper archive.