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


Vol-1879/paper43⫷Vol-1879/paper35⫸Vol-1879/paper44

Consequence-based Reasoning for Description Logics with Disjunction, Inverse Roles, and Nominals