Login / Signup
Efficient TBox Reasoning with Value Restrictions using the $\mathcal{FL}_{o}$wer reasoner.
Franz Baader
Patrick Koopmann
Friedrich Michel
Anni-Yasmin Turhan
Benjamin Zarrieß
Published in:
CoRR (2021)
Keyphrases
</>
knowledge base
reasoning tasks
description logics
consistency checking
fuzzy logic
qualitative reasoning
reasoning process
artificial intelligence
expert systems
temporal reasoning