uk.ac.manchester.cs.jfact.kernel.dl.axioms

Class Axioms

java.lang.Object

uk.ac.manchester.cs.jfact.kernel.dl.axioms.Axioms

public class Axioms
extends Object

Axiom utilities.

Method Summary

Modifier and Type	Method and Description
static org.semanticweb.owlapitools.decomposition.AxiomWrapper	dummy()
static Expression	dummyExpression()

Methods inherited from class java.lang.Object

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

Method Detail

dummyExpression

public static Expression dummyExpression()

Returns:

a dummy implementation of Expression

dummy

public static org.semanticweb.owlapitools.decomposition.AxiomWrapper dummy()

Returns:

a dummy implementation of AxiomInterface