Franz Baader;Bernhard Hollunder
-;-
Semantic matchmaking as non-monotonic reasoning: a description logic approach
Journal of Artificial Intelligence Research