Vol-1878⫷ Vol-1879 ⫸Vol-1880
urn:nbn:de:0074-1879-0


Vol-1879/paper39⫷Vol-1879/paper25⫸Vol-1879/paper14

An Efficient Reasoner for Description Logics of Typicality and Rational Closure