org.obolibrary.robot

Class ExplainOperation

java.lang.Object

org.obolibrary.robot.ExplainOperation

public class ExplainOperation
extends Object

Compute an explanation for an entailed axiom.

Author:

Jim Balhoff

Constructor Summary

Constructors

Constructor and Description
ExplainOperation()

Method Summary

Modifier and Type	Method and Description
static Set<org.semanticweb.owl.explanation.api.Explanation<org.semanticweb.owlapi.model.OWLAxiom>>	explain(org.semanticweb.owlapi.model.OWLAxiom axiom, org.semanticweb.owlapi.model.OWLOntology ontology, org.semanticweb.owlapi.reasoner.OWLReasonerFactory reasonerFactory, int maxExplanations) Compute explanations for an entailed axiom.
static String	renderExplanationAsMarkdown(org.semanticweb.owl.explanation.api.Explanation<org.semanticweb.owlapi.model.OWLAxiom> explanation, org.semanticweb.owlapi.model.OWLOntologyManager manager) Render an Explanation object as Markdown text, linking text labels to term IRIs and indenting axioms.

Methods inherited from class java.lang.Object

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

Constructor Detail

ExplainOperation

public ExplainOperation()

Method Detail

explain

public static Set<org.semanticweb.owl.explanation.api.Explanation<org.semanticweb.owlapi.model.OWLAxiom>> explain(org.semanticweb.owlapi.model.OWLAxiom axiom,
                                                                                                                  org.semanticweb.owlapi.model.OWLOntology ontology,
                                                                                                                  org.semanticweb.owlapi.reasoner.OWLReasonerFactory reasonerFactory,
                                                                                                                  int maxExplanations)

Compute explanations for an entailed axiom.

Parameters:

axiom - entailed axiom to explain

ontology - ontology to search for explanation

reasonerFactory - reasoner factory used to create reasoners to test entailments

maxExplanations - maximum number of explanations to compute

Returns:

explanations

renderExplanationAsMarkdown

public static String renderExplanationAsMarkdown(org.semanticweb.owl.explanation.api.Explanation<org.semanticweb.owlapi.model.OWLAxiom> explanation,
                                                 org.semanticweb.owlapi.model.OWLOntologyManager manager)

Render an Explanation object as Markdown text, linking text labels to term IRIs and indenting axioms.

Parameters:

explanation - explanation to render

manager - OWLOntologyManager containing source ontologies for explanation axioms

Returns:

Markdown-formatted explanation text