Get explanations with OWL API + Openllet for data assertion axioms

1 day ago 3

ARTICLE AD BOX

I'm trying to get explanations for inferences made by Openllet Reasoner.

If i try use code from this i get error - No explanation computed.

When i try use code example from answer for this question i get error - value cannot be null at this stage

I try get explanation for next ontology:

<?xml version="1.0"?> <rdf:RDF xmlns="ontology://tasks/7c159bcc-b490-417a-9e0c-ea28bab98628#" xml:base="ontology://tasks/7c159bcc-b490-417a-9e0c-ea28bab98628" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:xml="http://www.w3.org/XML/1998/namespace" xmlns:xsd="http://www.w3.org/2001/XMLSchema#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:swrla="http://swrl.stanford.edu/ontologies/3.3/swrla.owl#" xmlns:base-ontology="http://www.semanticweb.org/user/ontologies/base-ontology#"> <owl:Ontology rdf:about="ontology://tasks/7c159bcc-b490-417a-9e0c-ea28bab98628"> <owl:imports rdf:resource="http://www.semanticweb.org/user/ontologies/base-ontology"/> </owl:Ontology>  <owl:NamedIndividual rdf:about="ontology://tasks/7c159bcc-b490-417a-9e0c-ea28bab98628#Cargo:737106ca-5efa-4035-875b-bf8fcc865754"> <rdf:type rdf:resource="http://www.semanticweb.org/user/ontologies/base-ontology#Груз"/> <base-ontology:Weight rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">24</base-ontology:Weight> <base-ontology:Cargo_name>Cargo1</base-ontology:Cargo_name> </owl:NamedIndividual>  <owl:NamedIndividual rdf:about="ontology://tasks/7c159bcc-b490-417a-9e0c-ea28bab98628#Road:5b89f851-ee26-48d3-b480-be586ea9c9c2"> <rdf:type rdf:resource="http://www.semanticweb.org/user/ontologies/base-ontology#Road"/> <base-ontology:Road_length rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">33</base-ontology:Road_length> <base-ontology:Coating_wear>Medium</base-ontology:Coating_wear> <base-ontology:Coating_type>Asphalt</base-ontology:Coating_type> </owl:NamedIndividual> </rdf:RDF>

And i have next rule in rules ontology: Road(?r), Road_length(?r, ?l), swrlb:greaterThan(?l, 25) -> Safety_eval(?r, "low"), that imports with axioms from task ontology into working ontology.