Model Comparison Games for Horn Description Logics.

Jean Christoph Jung Fabio Papacchini Frank Wolter Michael Zakharyaschev

Published in: CoRR (2019)

Keyphrases

description logics
special case
reasoning mechanism
databases
knowledge base
knowledge representation
reasoning tasks
knowledge representation and reasoning