With the Jena API there's a separate validate() call on InfModel (and
thus on OntModel) which will return a list of validation error reports.
I don't think there's any way to invoke that from Fuseki.
Whether the builtin rule reasoners would detect your specific issue I'm
not sure but probably. However, in general if you want complete DL level
validation you need to use a DL reasoner such as Pellet which is not
included in Jena.
Dave
On 28/11/17 20:08, Hélio Azevedo wrote:
Hi
I have an ontology that was elaborated with the support of the Protégé tool.
In this ontology I use a data property, named "objectId". This property was
flagged as "Functional". If I insert two "objectId" for the same concept
and activate the Pellet reasoner the Protégé tool signals an error.
When loading the same ontology in Fuseki environment and inserting two
"objectId" for the same concept, Fuseki does not acknowledge an error!
The new objectId is inserted with the use of a Sparql endpoint.
How should I proceed ?
The reasoner activation on Fuseki is done by the configuration below:
@prefix : <http://base/#> .
@prefix tdb: <http://jena.hpl.hp.com/2008/tdb#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix ja: <http://jena.hpl.hp.com/2005/11/Assembler#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix fuseki: <http://jena.apache.org/fuseki#> .
@prefix ontsense: <http://example.org/sense#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
:service1 a fuseki:Service ;
fuseki:dataset :dataset ;
fuseki:name "ontsense" ;
fuseki:serviceQuery "query" , "sparql" ;
fuseki:serviceReadGraphStore "get" ;
fuseki:serviceReadWriteGraphStore
"data" ;
fuseki:serviceUpdate "update" ;
fuseki:serviceUpload "upload" .
:dataset a ja:DatasetTxnMem ;
ja:defaultGraph <#model_inf_1> ;
.
<#model_inf_1> rdfs:label "Inf-1" ;
ja:reasoner
[ ja:reasonerURL
<http://jena.hpl.hp.com/2003/OWLFBRuleReasoner>];
