MIPSs

Noun

 * 1) * 1999, Defense Systems Management College, Acquisition Strategy Guide, 1999 (Fourth Edition), Government Printing Office (2000), page 3-1:
 * The Defense Acquisition Executive (DAE) does not approve “MIPSs,” “MAPPS,” or “SAMPs.”
 * 1) * 2007, Guilin Qi and Anthony Hunter, “Measuring Incoherence in Description Logic-Based Ontologies”, in Karl Aberer et al. (editors), The Semantic Web: 6th International Semantic Web Conference, 2nd Asian Semantic Web Conference, ISWC 2007 + ASWC 2007, Springer, ISBN 978-3-540-76297-3, page 384:
 * 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(𝒯).
 * 1) * 2007, Guilin Qi and Anthony Hunter, “Measuring Incoherence in Description Logic-Based Ontologies”, in Karl Aberer et al. (editors), The Semantic Web: 6th International Semantic Web Conference, 2nd Asian Semantic Web Conference, ISWC 2007 + ASWC 2007, Springer, ISBN 978-3-540-76297-3, page 384:
 * 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(𝒯).