Finite Query Answering in Expressive Description Logics with Transitive Roles

Devs

Finite Query Answering in Expressive Description Logics with Transitive Roles | Read Paper on Bytez