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


Vol-1350/paper-33⫷Vol-1350/paper-34⫸Vol-1350/paper-35
Mantas SimkusNhung NgoMagdalena Ortiz 0001

The Combined Complexity of Reasoning with Closed Predicates in Description Logics