From NeOn Wiki
This plugin is a basic demonstration of meta knowledge reasoning using the NeOn Toolkit. Meta knowledge is knowledge about Axioms in an ontology such as modification dates, author, uncertainty, trust or access rights. The plugin allows to track when, by whom etc. an incoherence has been introduced to an ontology. The meta knowledge is stored in OWL annotations. The plugin allows to list all unsatisfiable classes and for a selected class list an explanation for the unsatisfiability as well as the meta knowledge for this unsatisfiability, e.g. a trust degree of a least recently modified date. Currently the plugin serves as a demonstration and to reproduce evaluation results for the optimized meta knowledge reasoner. Extensions towards full query answering are planned.