search

protegeproject / explanation-workbench

A plug-in that adds explanation facilities to the Protege Desktop ontology editor.
3 stars 9 forks source link

SubClassOf axiom rendering in justification list is missing ":" #10

Closed rsgoncalves closed 5 years ago

rsgoncalves commented 7 years ago

SubPropertyOf axioms have a colon, but not SubClassOf.

screen shot 2017-04-27 at 11 07 02
ykazakov commented 7 years ago

This probably related to the OWL API issue owlcs/owlapi#534

ykazakov commented 7 years ago

According to the specs of the Manchester syntax all axiom keywords should be rendered with a colon.

matthewhorridge commented 7 years ago

In the case of justifications I prefer the rendering without the colon :)

The official Manchester syntax doesn't support rendering axioms like this anyway, so I would say that some "poetic license" is acceptable in this case. Personally, I'd prefer to get rid of the colon from SubPropertyOf.

matthewhorridge commented 5 years ago

Fixed so colon is not rendered after SubPropertyOf