We present an new Prot´eg´e plugin for constructing a minimal satisfiability model of an OWL ontology and visualizing it in the original music score notation.
Model checking can be an effective technique for detecting concurrency-related errors in software systems. However, due to scalability issues, to handle industrial-strength softw...