Structural Subsumption and Least Common Subsumers in a Description Logic with Existential and Number Restrictions

Ralf Küsters, Ralf Molitor. Structural Subsumption and Least Common Subsumers in a Description Logic with Existential and Number Restrictions. Studia Logica, 81(2):227-259, 2005. [doi]

Abstract

Abstract is missing.