Vol-347⫷ Vol-348 ⫸Vol-349
urn:nbn:de:0074-348-0


Vol-348/paper-5⫷Vol-348/paper-6⫸Vol-348/paper-7

Deciding the logical difference problem for EL with role inclusions