Vol-274⫷ Vol-275 ⫸Vol-276
urn:nbn:de:0074-275-0


Vol-275/paper-1⫷Vol-275/paper-2⫸Vol-275/paper-3

Towards Novel Techniques for Reasoning in Expressive Description Logics based on Binary Decision Diagrams