Hello, (I apologise for I am not sure if this has been addressed before and I have not found the right thread or documentation.)
The configuration file below seems to allow reasoning with either a GRR or an out of the box reasoner on the same dataset. However, I don't think it allows combining inferences from both reasoners at the same time. I am not sure how to achieve this through configuration. (Happy to provide an example of data and rule for the GRR. I've noticed this when adding a rule to classify undeclared individuals, i.e., individuals appearing in the subject position of a triple. The rule to the effect that if they do, they are instances of a class A. It is possible to derive the instantiation. However, it is not possible to combine it with type inheritance from a reasoner. If class A is a subclass of class B, there is no inference to the effect that the individual is also an instance of class B.) With many thanks and kind regards, Pierre ----- @prefix : <http://base/#> . @prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> . @prefix tdb2: <http://jena.apache.org/2016/tdb#> . @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#> . :theService a fuseki:Service ; rdfs:label "Service with update and query to test minimal dataset with inference using an instance of generic rule reasoner and RDFSExptRuleReasoner" ; fuseki:dataset :theDataset ; #:tdb_dataset_readwrite ; fuseki:name "Conference2" ; fuseki:serviceQuery "query" , "sparql" ; fuseki:serviceReadGraphStore "get" ; fuseki:serviceReadWriteGraphStore "data" ; fuseki:serviceUpdate "update" ; fuseki:serviceUpload "upload" . :theDataset a ja:RDFDataset ; ja:defaultGraph <#theUnionModel> . <#theUnionModel> a ja:UnionModel ; ja:rootModel <#theRootModel> ; ja:subModel <#theModel_GRR> , <#theModel_RDFS> . <#theRootModel> a ja:Model ; ja:baseModel <#theGraph> ; . <#theModel_GRR> a ja:InfModel ; ja:baseModel <#theGraph> ; ja:reasoner [ ja:reasonerURL <http://jena.hpl.hp.com/2003/GenericRuleReasoner> ; ja:rulesFrom <file:///C:/dev/apache-jena-fuseki-3.10.0/data/conference/conference1.rules> ] ; . THIS E-MAIL MAY CONTAIN CONFIDENTIAL AND/OR PRIVILEGED INFORMATION. IF YOU ARE NOT THE INTENDED RECIPIENT (OR HAVE RECEIVED THIS E-MAIL IN ERROR) PLEASE NOTIFY THE SENDER IMMEDIATELY AND DESTROY THIS E-MAIL. ANY UNAUTHORISED COPYING, DISCLOSURE OR DISTRIBUTION OF THE MATERIAL IN THIS E-MAIL IS STRICTLY FORBIDDEN. IN ACCORDANCE WITH MIFID II RULES ON INDUCEMENTS, THE FIRM'S EMPLOYEES MAY ATTEND CORPORATE ACCESS EVENTS (DEFINED IN THE FCA HANDBOOK AS "THE SERVICE OF ARRANGING OR BRINGING ABOUT CONTACT BETWEEN AN INVESTMENT MANAGER AND AN ISSUER OR POTENTIAL ISSUER"). DURING SUCH MEETINGS, THE FIRM'S EMPLOYEES MAY ON NO ACCOUNT BE IN RECEIPT OF INSIDE INFORMATION (AS DESCRIBED IN ARTICLE 7 OF THE MARKET ABUSE REGULATION (EU) NO 596/2014). (https://www.handbook.fca.org.uk/handbook/glossary/G3532m.html) COMPANIES WHO DISCLOSE INSIDE INFORMATION ARE IN BREACH OF REGULATION AND MUST IMMEDIATELY AND CLEARLY NOTIFY ALL ATTENDEES. FOR INFORMATION ON THE FIRM'S POLICY IN RELATION TO ITS PARTICIPATION IN MARKET SOUNDINGS, PLEASE SEE https://www.horizon-asset.co.uk/market-soundings/. HORIZON ASSET LLP IS AUTHORISED AND REGULATED BY THE FINANCIAL CONDUCT AUTHORITY.
