Union and Intersection of all Justifications
Published on 2022-06-2216 Views
We present new algorithms for computing the union and intersection of all justifications for a given ontological consequence without first computing the set of all justifications. Our goal is to use