Add visualization of some types of reasoning errors - like class as subclass of disjoint classes

[ddooley]

Protege and Robot (https://github.com/ontodev/robot) have the capability of generating one or more explanations for errors. Feed these into OntoTrek to enable visualization of the conflicting inheritance classes.

E.g. if it is reported that "populated place, Alaska" is unsatisfiable, then run robot:

robot explain --input genepio-edit.owl --reasoner HermiT --axiom "'populated place, Alaska' EquivalentTo owl:Nothing" --explanation output.md

This yields:

populated place, Alaska EquivalentTo Nothing

• populated place, Alaska SubClassOf Municipality
  • Municipality SubClassOf geopolitical region
    • geopolitical region SubClassOf designated area on Earth
    • designated area on Earth SubClassOf site
      • site SubClassOf immaterial entity
• populated place, Alaska SubClassOf material entity
• material entity DisjointWith immaterial entity

Enable OntoTrek to receive this markdown and display contradiction.

[ddooley]

Completed first pass at this.