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>]; -- PhD Student Robot Learning Laboratory LAR ICMC - USP São Carlos - Brazil
