Union and Intersection of all Justifications
Published on Jun 22, 202210 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