MIPSs

The Defense Acquisition Executive (DAE) does not approve “MIPSs,” “MAPPS,” or “SAMPs.”

Let 𝒯 be an incoherent TBox. A TBox 𝒯′⊆𝒯 is a minimal incoherence-preserving sub-TBox (MIPS) of 𝒯 if 𝒯′ is incoherent, and every sub-TBox 𝒯′′⊆𝒯′ is coherent. The set of all MIPSs of 𝒯 is denoted as MI(𝒯).