Semantic Difference in ALN

Alain Léger, Christophe Rey, Farouk Toumani
2007 International Workshop on Description Logics  
We study the semantic difference operator defined in [16] for ALN . We give a polynomial-time algorithm to compute it. We compare it with the syntactic difference operator defined in [7] , for which we also give a polynomial-time algorithm for ALN .
dblp:conf/dlog/LegerRT07 fatcat:k4elyx3gwnhldoohx4iwbvskoe