org.semanticweb.owl.explanation.impl.blackbox

Class PatternBasedEntailmentChecker

java.lang.Object

org.semanticweb.owl.explanation.impl.blackbox.PatternBasedEntailmentChecker

public class PatternBasedEntailmentChecker
extends Object

Author: Matthew Horridge
The University of Manchester
Bio-Health Informatics Group
Date: 14/03/2011

Constructor Summary

Constructors

Constructor and Description
PatternBasedEntailmentChecker(org.semanticweb.owlapi.model.OWLAxiom entailment, Set<org.semanticweb.owlapi.model.OWLAxiom> workingAxioms)

Method Summary

Modifier and Type	Method and Description
Set<Explanation<org.semanticweb.owlapi.model.OWLAxiom>>	getSimpleExplanations()

Methods inherited from class java.lang.Object

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

Constructor Detail

PatternBasedEntailmentChecker

public PatternBasedEntailmentChecker(org.semanticweb.owlapi.model.OWLAxiom entailment,
                                     Set<org.semanticweb.owlapi.model.OWLAxiom> workingAxioms)

Method Detail

getSimpleExplanations

public Set<Explanation<org.semanticweb.owlapi.model.OWLAxiom>> getSimpleExplanations()