ULKB Logic: A HOL-Based Framework for Reasoning over Knowledge Graphs.

Guilherme Lima Alexandre Rademaker Rosario Uceda-Sosa

Published in: SBMF (2023)

Keyphrases

logical rules
logical framework
conceptual framework
knowledge base
domain knowledge
knowledge representation
knowledge based systems
reasoning mechanism
reasoning engine
deductive reasoning
introduce a general framework