## Non-standard inferences in description logics: The story so far (2005)

by
Franz Baader
,
Tu Dresden
,
Ralf Küsters

Venue: | Mathematical Problems from Applied Logic. New Logics for the XXIst Century, volume 4 of International Mathematical Series |

Citations: | 13 - 1 self |