Login / Signup
Efficient TBox Reasoning with Value Restrictions Using the FL0wer Reasoner (Extended Abstract).
Franz Baader
Patrick Koopmann
Friedrich Michel
Anni-Yasmin Turhan
Benjamin Zarrieß
Published in:
Description Logics (2022)
Keyphrases
</>
extended abstract
knowledge base
description logics
consistency checking
speech recognition
reasoning tasks
case based reasoning
temporal reasoning
genetic algorithm
knowledge representation
fuzzy logic
production rules
meta reasoning