Satisfiability and Query Answering in Description Logics with Global and Local Cardinality Constraints

Devs

Satisfiability and Query Answering in Description Logics with Global and Local Cardinality Constraints | Read Paper on Bytez