Closed balhoff closed 4 years ago
Simplify absence reasoning, so that it is just a "reverse" query of presence inferences. Fix problems with missing materialized equivalent class triples.
Simplify absence reasoning, so that it is just a "reverse" query of presence inferences. Fix problems with missing materialized equivalent class triples.