A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf
.
Semantic Difference in ALN
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