Inference Rules for Binary Predicates in a Multigranular Framework

Stephen J. Hegner, M. Andrea Rodriguez

In a multigranular framework, the two most important binary predicates are those for subsumption and disjointness. In the first part of this work, a sound and complete inference sy…