Consistency checking

2014-04-27 Thread Cindy A McMullen
Hi -

Is there a way to check the consistency of triples with one's ontology prior to 
insertion into the graph?   If not, are there APIs to validate the existing 
graph against one's ontology?

Thanks - 

Re: Consistency checking

2014-04-27 Thread Martynas Jusevičius
Hey Cindy,

Check SPIN constraints:
http://spinrdf.org/spin.html#spin-constraints

Martynas
graphityhq.com
On Apr 27, 2014 1:41 PM, Cindy A McMullen cindy.mcmul...@oracle.com
wrote:

 Hi -

 Is there a way to check the consistency of triples with one's ontology
 prior to insertion into the graph?   If not, are there APIs to validate the
 existing graph against one's ontology?

 Thanks -


Re: Consistency checking

2014-04-27 Thread Dave Reynolds

On 27/04/14 12:41, Cindy A McMullen wrote:

Hi -

Is there a way to check the consistency of triples with one's ontology prior to 
insertion into the graph?   If not, are there APIs to validate the existing 
graph against one's ontology?


The Jena inference API supports validation:
http://jena.apache.org/documentation/inference/#validation

So you can construct an inference model over a data model, a reasoner 
and an ontology and then check the result for consistency.


How thorough the consistency checking depends on the reasoner. If you 
need complete DL consistency checking use Pellet or some other DL 
reasoner. The builtin OWL rule reasoner configurations do given some 
consistency checking.


Bewared that consistency in OWL is a weaker concept than schema 
validation so lots of things you might expect to be inconsistent aren't.


For more pragmatic validation of data there is Eyeball:
https://jena.apache.org/documentation/tools/eyeball-getting-started.html

Dave



Re: Consistency checking

2014-04-27 Thread Cindy A McMullen
Found a good example here (#5):

http://programcreek.com/java-api-examples/index.php?api=com.hp.hpl.jena.reasoner.Reasoner


On Apr 27, 2014, at 5:41 AM, Cindy A McMullen wrote:

 Hi -
 
 Is there a way to check the consistency of triples with one's ontology prior 
 to insertion into the graph?   If not, are there APIs to validate the 
 existing graph against one's ontology?
 
 Thanks -