search

liveontologies / protege-black-box-justification

Apache License 2.0
0 stars 1 forks source link

ELK no justifications found #5

Open giuseta opened 5 years ago

giuseta commented 5 years ago

Dear developers, I have built protege-justification-explanation and protege-black-box-justification and put the jars into Protégé's plugin directory. I tried this simple ontology (its the same defined here):

Prefix(: = <http://example.org/>)
Prefix(rdf: = <http://www.w3.org/1999/02/22-rdf-syntax-ns#>)
Prefix(rdfs: = <http://www.w3.org/2000/01/rdf-schema#>)
Prefix(xsd: = <http://www.w3.org/2001/XMLSchema#>)
Prefix(owl: = <http://www.w3.org/2002/07/owl#>)

Ontology(

ObjectPropertyAssertion(:R :a :b)
ObjectPropertyAssertion(:R :b :c)
TransitiveObjectProperty(:R)
ClassAssertion(:A :a)
ClassAssertion(:C :c)
SubClassOf(:A :B)

)

Then with Protégé I try to obtain the justifications for a instanceOf B, but I cannot obtain any justifications. On Protégé's log appears the following error: 

[reasoner.indexing.axiomIgnored]ELK does not support ObjectOneOf. Axiom ignored:
SubClassOf(<Entailment1538576201632> ObjectIntersectionOf(ObjectComplementOf(<http://example.org/B>) ObjectOneOf(<http://example.org/a>))) 
[reasoner.indexing.axiomIgnored]ELK does not support ObjectOneOf. Axiom ignored:
SubClassOf(<ObjectIntersectionOf(ObjectComplementOf(<http://example.org/B>) ObjectOneOf(<http://example.org/a>))> ObjectIntersectionOf(ObjectComplementOf(<http://example.org/B>) ObjectOneOf(<http://example.org/a>)))
ykazakov commented 5 years ago

These plugins are just a fork of the explanation workbench where the GUI part was separated from the logic part (computation of justifications). For the explanation workbench this is a known issue. See protegeproject/protege#710. If you use ELK, you can instead use either of these instead: https://github.com/liveontologies/protege-proof-justification https://github.com/liveontologies/protege-proof-explanation