Tommaso Di Noia Eugenio Di Sciascio Francesco M. Donini Semantic Matchmaking as Non-Monotonic Reasoning: A Description Logic Approach. 269-307 2007 29 J. Artif. Intell. Res. (JAIR) http://www.jair.org/papers/paper2153.html db/journals/jair/jair29.html#NoiaSD07