Unification of Concept Terms in Description Logics

Franz Baader, Paliath Narendran. Unification of Concept Terms in Description Logics. Journal of Symbolic Computation, 31(3):277-305, 2001.

Authors

Franz Baader

This author has not been identified. Look up 'Franz Baader' in Google

Paliath Narendran

This author has not been identified. Look up 'Paliath Narendran' in Google