Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
el2mus [2018/02/22 14:58]
ajrm
el2mus [2018/02/22 16:35] (current)
ajrm
Line 1: Line 1:
-======EL2MUS======+======EL2MUS: Axiom Pinpointing for the EL+ Description Logic======
  
-EL2MUS is a SAT-based tool for axiom pinpointing in EL+ Description LogicsIt exploits ​the relationship between minimal axiom sets (MinAs) and minimal unsatisfiable subformulas (MUSes) ​of an encoded Horn formula, as well as implicit minimal hitting set dualization of the MUSes and minimal correction subsets (MCSes) of the Horn formula. The EL2MUS tool uses HgMUS, a Horn group MUS enumerator.+High-performance axiom pinpointing tool for ontologies described in 
 +the EL+ description logic. 
 + 
 +==== Description ==== 
 + 
 +EL2MUS is a high-performance ​tool for diagnosing ontologies 
 +represented with the EL+ description logicEL2MUS is based on 
 +exploiting high performance Boolean Satisfiability (SAT) solvers and 
 +the relationship between ​subsert ​minimal axiom sets (MinAs) and 
 +minimal unsatisfiable subformulas (MUSes). 
 + 
 +==== Distribution ​ ====
  
 A Linux 64-bit executable (as well as supporting documentation) is available {{:​tools:​el2mus-20160208.tgz|here}}. A Linux 64-bit executable (as well as supporting documentation) is available {{:​tools:​el2mus-20160208.tgz|here}}.
Print/export