DMCA

On the Non-Monotonic Description Logic ALC+Tmin

by Oliver Fernández Gil