Nonstandard inferences in description logics

the story so far

Franz Baader, Ralf Küsters

pp. 1-75


This document is unfortunately not available for download at the moment.

Not implemented yet !