Title | ||
---|---|---|
Satisfiability Model Visualization Plugin for Deep Consistency Checking of OWL Ontologies |
Abstract | ||
---|---|---|
We present an original Protege plugin developed for the deep consistency checking of OWL ontologies. The plugin constructs and vi- sualizes a minimal satisfiability model of the ontology, which is likely to uncover potential ontological errors: if the constructed model contra- dicts the author's intentions, then the ontology itself is either wrong or incomplete. A satisfiability model is generated using Mace4, a first-order logic (FOL) finite model builder, from the FOL formulas corresponding to the OWL ontology definition. The constructed satisfiability model is visualized using an original music score notation plugin of Protege. |
Year | Venue | Keywords |
---|---|---|
2007 | OWLED | first order logic,satisfiability |
Field | DocType | Citations |
Ontology (information science),Ontology,Protégé,Notation,Model checking,Programming language,Computer science,Visualization,Satisfiability,Web Ontology Language | Conference | 2 |
PageRank | References | Authors |
0.46 | 6 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Martins Barinskis | 1 | 2 | 0.80 |
Guntis Barzdins | 2 | 121 | 18.62 |