Package org.obolibrary.robot.metrics

Class TautologyChecker

java.lang.Object

org.obolibrary.robot.metrics.TautologyChecker

public class TautologyChecker
extends Object

Constructor Summary

Constructors

Constructor	Description
TautologyChecker()

Method Summary

Modifier and Type	Method	Description
static Set<org.semanticweb.owlapi.model.OWLAxiom>	getTautologies(Set<org.semanticweb.owlapi.model.OWLAxiom> axioms)
static Set<org.semanticweb.owlapi.model.OWLAxiom>	getTautologySyntactic(Set<org.semanticweb.owlapi.model.OWLAxiom> axioms)
static boolean	isTautology(org.semanticweb.owlapi.model.OWLAxiom ax)

Methods inherited from class java.lang.Object

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

Constructor Detail

TautologyChecker

public TautologyChecker()

Method Detail

isTautology

public static boolean isTautology(org.semanticweb.owlapi.model.OWLAxiom ax)

Parameters:

ax - the axiom to be checked

Returns:

true if the axiom is a tautology

getTautologies

public static Set<org.semanticweb.owlapi.model.OWLAxiom> getTautologies(Set<org.semanticweb.owlapi.model.OWLAxiom> axioms)
                                                                 throws org.semanticweb.owlapi.model.OWLOntologyCreationException

Parameters:

axioms - the axioms to be checked

Returns:

all those axioms that are tautologies

Throws:

org.semanticweb.owlapi.model.OWLOntologyCreationException - on problem creating reasoner

getTautologySyntactic

public static Set<org.semanticweb.owlapi.model.OWLAxiom> getTautologySyntactic(Set<org.semanticweb.owlapi.model.OWLAxiom> axioms)

Parameters:

axioms - the axioms to be checked

Returns:

all those axioms that are tautologies (syntactic check, incomplete!)