Vol-1349⫷ Vol-1350 ⫸Vol-1351
urn:nbn:de:0074-1350-0


Vol-1350/paper-52⫷Vol-1350/paper-53⫸Vol-1350/paper-54
Patrick KoopmannRenate A. Schmidt

Saturated-Based Forgetting in the Description Logic SIF