Vol-0⫷ Vol-1 ⫸Vol-2
urn:nbn:de:0074-1-0


Vol-1/paper-7⫷Vol-1/paper-8⫸Vol-1/paper-9
K. Schild

Tractable reasoning in a universal description logic