Login / Signup

Efficient TBox Reasoning with Value Restrictions - Introducing the ℱ}_o \textitwer Reasoner.

Friedrich MichelAnni-Yasmin TurhanBenjamin Zarrieß
Published in: RuleML+RR (2019)
Keyphrases
  • knowledge base
  • reasoning tasks
  • consistency checking
  • artificial intelligence
  • description logics
  • cost effective
  • data sets
  • computationally expensive