Vol-3262⫷ Vol-3263 ⫸Vol-3264
urn:nbn:de:0074-3263-0


Vol-3263/abstract-6⫷Vol-3263/abstract-7⫸Vol-3263/abstract-8
Ludovic BrieulleChan Le DucPascal Vaillant

Reasoning in the Description Logic ALC under Category Semantics (Extended Abstract)