The Minimal Finite Model Visualization as an Ontology Debugging Tool

13 years 6 months ago

Download ftp.informatik.rwth-aachen.de

We present an new Prot´eg´e plugin for constructing a minimal satisﬁability model of an OWL ontology and visualizing it in the original music score notation.

Martins Barinskis, Guntis Barzdins

Real-time Traffic

Automated Reasoning | DLOG 2007 | Minimal Satisﬁability Model | Music Score Notation |

claim paper

» Formal Analysis for Debugging and Performance Optimization of MPI

» MDL A DomainSpecific Language for Molecular Dynamics

» Biomolecular Agents as Multibehavioural Concurrent Objects

» The data mining approach to automated software testing

» Prospector Multiscale Energy Measurement of Networked Embedded Systems with Wideband Power...

Post Info
More Details (n/a)

Added	02 Oct 2010
Updated	02 Oct 2010
Type	Conference
Year	2007
Where	DLOG
Authors	Martins Barinskis, Guntis Barzdins

Comments (0)

Sciweavers

The Minimal Finite Model Visualization as an Ontology Debugging Tool

Automated Reasoning | DLOG 2007 | Minimal Satisﬁability Model | Music Score Notation |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers