Vol-2662⫷ Vol-2663 ⫸Vol-2664
urn:nbn:de:0074-2663-0


Vol-2663/paper-12⫷Vol-2663/paper-13⫸Vol-2663/paper-14
Jakub Kuklis

Data Complexity of Finite Query Entailment in Description Logics with Transitive Roles