Package org.liveontologies.protege.explanation.justification

Class ProtegeExplanationOrderer

java.lang.Object
org.liveontologies.protege.explanation.justification.ProtegeExplanationOrderer
All Implemented Interfaces:
uk.ac.manchester.cs.owl.explanation.ordering.ExplanationOrderer
public class ProtegeExplanationOrderer extends Object implements uk.ac.manchester.cs.owl.explanation.ordering.ExplanationOrderer
Provides ordering and indenting of explanations based on various ordering heuristics.
Author:
Matthew Horridge, The University Of Manchester, Bio-Health Informatics Group, Date: 11-Jan-2008

  • Constructor Summary

    Constructors
    Constructor
    Description
    ProtegeExplanationOrderer(org.semanticweb.owlapi.model.OWLOntologyManager m)
     

  • Method Summary

    Modifier and Type
    Method
    Description
    protected Set<org.semanticweb.owlapi.model.OWLAxiom>
    getAxiomsForLHS(org.semanticweb.owlapi.model.OWLEntity lhs)
    Gets axioms that have a LHS corresponding to the specified entity.
    uk.ac.manchester.cs.owl.explanation.ordering.ExplanationTree
    getOrderedExplanation(org.semanticweb.owlapi.model.OWLAxiom entailment, Set<org.semanticweb.owlapi.model.OWLAxiom> axioms)
     
    protected void
    indexAxiomsByRHSEntities(org.semanticweb.owlapi.model.OWLObject rhs, org.semanticweb.owlapi.model.OWLAxiom axiom)
     

    Methods inherited from class java.lang.Object

    clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

  • Constructor Details

    • ProtegeExplanationOrderer

      public ProtegeExplanationOrderer(org.semanticweb.owlapi.model.OWLOntologyManager m)
      Parameters:
      m - the manager to use

  • Method Details

    • getOrderedExplanation

      public uk.ac.manchester.cs.owl.explanation.ordering.ExplanationTree getOrderedExplanation(org.semanticweb.owlapi.model.OWLAxiom entailment, Set<org.semanticweb.owlapi.model.OWLAxiom> axioms)
      Specified by:
      getOrderedExplanation in interface uk.ac.manchester.cs.owl.explanation.ordering.ExplanationOrderer

    • getAxiomsForLHS

      protected Set<org.semanticweb.owlapi.model.OWLAxiom> getAxiomsForLHS(org.semanticweb.owlapi.model.OWLEntity lhs)
      Gets axioms that have a LHS corresponding to the specified entity.
      Parameters:
      lhs - The entity that occurs on the left hand side of the axiom.
      Returns:
      A set of axioms that have the specified entity as their left hand side.

    • indexAxiomsByRHSEntities

      protected void indexAxiomsByRHSEntities(org.semanticweb.owlapi.model.OWLObject rhs, org.semanticweb.owlapi.model.OWLAxiom axiom)