Unification of concepts terms in description logics (0)

by F Baader, P Narendran
Venue:J. of Symbolic Computation