OWL Consistency Checking
ConsVISor is a nice web service that can check an OWL ontology (with individuals) for consistency. It displays any errors with easy to read non-technical-jargon sentences. I’ve been trying to find a workflow where I can test a set of individuals against an ontology to see where the inconsistencies are, and this tool is the best so far for reporting any problems.
FaCT++, via Protege, doesn’t seem to provide any error messages. It does fail, though (correctly). Can’t figure out how to get it to tell me what and where the problem is.
Pellet, via their online demo, seems to work. However, the error messages are cryptic and seemingly misleading. I’m assuming they are correct, however they would never lead the lay-person to the real problem.
Anyone else using OWL for consistency checking across individuals? What tool are you using? Can it provide useful error messages?
March 22nd, 2006 at 1:19 pm
Since you have played with Swoop already, thought I might mention it
At MINDSWAP (University of Maryland), we do a lot of research on debugging and explanation of OWL Ontologies. Our OWL Ontology editor, Swoop, makes use of the DL reasoner Pellet to provide novel debugging/repair services. For an overview, please see http://www.mindswap.org/2005/debugging
Thanks
-Aditya
March 22nd, 2006 at 5:43 pm
[…] Semergence » OWL Consistency Checking ConsVISor is a nice web service that can check an OWL ontology (with individuals) for consistency. It displays any errors with easy to read non-technical-jargon sentences. I’ve been trying to find a workflow where I can test a set of individuals against an ontology to see where the inconsistencies are, and this tool is the best so far for reporting any problems […]
June 26th, 2007 at 7:33 pm
Weather any other tools for consistancy checking is possiable.pls send me replay