Categorical Semantics for Model Comparison Games for Description Logics.

Mateusz Urbanczyk

Published in: CoRR (2022)

Keyphrases

description logics
conceptual model
reasoning tasks
computational properties
knowledge base
model theoretic
reasoning mechanism
web services
computational complexity
data management
np complete
production rules
automated reasoning
highly expressive