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. 227-259 2005 81 Studia Logica 2 http://dx.doi.org/10.1007/s11225-005-3705-5 db/journals/sLogica/sLogica81.html#KustersM05