Login / Signup
Model Comparison Games for Horn Description Logics: A Summary.
Jean Christoph Jung
Fabio Papacchini
Frank Wolter
Michael Zakharyaschev
Published in:
Description Logics (2019)
Keyphrases
</>
description logics
reasoning mechanism
knowledge representation
conceptual model