Vol-1576⫷ Vol-1577 ⫸Vol-1578
urn:nbn:de:0074-1577-0


Vol-1577/paper_42⫷Vol-1577/paper_17⫸Vol-1577/paper_3
Sebastian RudolphLukas SchweizerSarah Alice Gaggl

Fixed-Domain Reasoning for Description Logics