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.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.