Vol-1948⫷ Vol-1949 ⫸Vol-1950
urn:nbn:de:0074-1949-0


Vol-1949/CILCpaper06⫷Vol-1949/CILCpaper07⫸Vol-1949/CILCpaper08

RAT-OWL: Reasoning with Rational Closure in Description Logics of Typicality