Login / Signup
Reasoning about Explanations for Non-validation in SHACL (Extended Abstract).
Shqiponja Ahmetaj
Robert David
Magdalena Ortiz
Axel Polleres
Bojken Shehu
Mantas Simkus
Published in:
Description Logics (2021)
Keyphrases
</>
extended abstract
formal theory
generating explanations
special case
spatial reasoning
qualitative reasoning
causal reasoning
database
real time
computer vision
image processing
decision trees
multiresolution
probability distribution
logic programming