Towards Explaining DL Non-entailments by Utilizing Subtree Isomorphisms.

Ivan Gocev Georgios Meditskos Nick Bassiliades

Published in: iiWAS (2022)

Keyphrases

description logics
expressive power
knowledge base
metadata
case study
ontological reasoning
real time
multimedia
search algorithm
computational complexity
search tree
formal logic