MUPS identification based on discrimination rules

MaRDI QIDQ5320278zbMATH OpenFDO

Authors Wenbin Wang, Fan Yang, Yimei Rao, Qiushuang Chen

Publication date 22 July 2009

zbMATH Keywords

discrimination rulesminimal unsatisfiability-preserving sub-TBoxesontology debugging

Mathematics Subject Classification ID

Pattern recognition, speech recognition (68T10) Knowledge representation (68T30)

Recommendations

• MUST: Provide a Finer-Grained Explanation of Unsatisfiability
• On computing preferred MUSes and MCSes
• On exact selection of minimally unsatisfiable subformulae
• Towards efficient MUS extraction
• On improving MUS extraction algorithms

This page was built for publication: MUPS identification based on discrimination rules

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5320278)