Vol-1911⫷ Vol-1912 ⫸Vol-1913
urn:nbn:de:0074-1912-0


Vol-1912/paper7⫷Vol-1912/paper8⫸Vol-1912/paper9

Practical Fixed-Domain Reasoning for Description Logics – Extended Abstract