org.semanticweb.HermiT.model
Class DLClause

java.lang.Object
  extended by org.semanticweb.HermiT.model.DLClause
All Implemented Interfaces:
java.io.Serializable

public class DLClause
extends java.lang.Object
implements java.io.Serializable

Represents a DL clause. The body is a conjunction of atoms and the head is a disjunction of atoms.

See Also:
Serialized Form

Nested Class Summary
static class DLClause.ClauseType
           
 
Field Summary
static Atom[][] EMPTY_HEAD
           
protected  Atom[] m_bodyAtoms
           
protected  DLClause.ClauseType m_clauseType
           
protected  Atom[] m_headAtoms
           
protected  boolean m_isKnownToBeAdmissible
           
 
Constructor Summary
protected DLClause(boolean isKnownToBeAdmissible, Atom[] headAtoms, Atom[] bodyAtoms, DLClause.ClauseType clauseType)
           
 
Method Summary
static DLClause create(Atom[] headAtoms, Atom[] bodyAtoms, DLClause.ClauseType clauseType)
           
static DLClause createEx(boolean isKnownToBeAdmissible, Atom[] headAtoms, Atom[] bodyAtoms, DLClause.ClauseType clauseType)
           
 Atom getBodyAtom(int atomIndex)
           
 Atom[] getBodyAtoms()
           
 int getBodyLength()
           
 DLClause getChangedDLClause(Atom[] headAtoms, Atom[] bodyAtoms)
           
 DLClause.ClauseType getClauseType()
           
 Atom getHeadAtom(int atomIndex)
           
 Atom[] getHeadAtoms()
           
 int getHeadLength()
           
 DLClause getSafeVersion()
           
 boolean isFunctionalityAxiom()
           
 boolean isInverseFunctionalityAxiom()
           
 boolean isKnownToBeAdmissible()
           
 java.lang.String toOrderedString(Prefixes prefixes)
           
 java.lang.String toString()
           
 java.lang.String toString(Prefixes prefixes)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

EMPTY_HEAD

public static final Atom[][] EMPTY_HEAD

m_isKnownToBeAdmissible

protected final boolean m_isKnownToBeAdmissible

m_headAtoms

protected final Atom[] m_headAtoms

m_bodyAtoms

protected final Atom[] m_bodyAtoms

m_clauseType

protected final DLClause.ClauseType m_clauseType
Constructor Detail

DLClause

protected DLClause(boolean isKnownToBeAdmissible,
                   Atom[] headAtoms,
                   Atom[] bodyAtoms,
                   DLClause.ClauseType clauseType)
Method Detail

isKnownToBeAdmissible

public boolean isKnownToBeAdmissible()

getHeadLength

public int getHeadLength()

getHeadAtom

public Atom getHeadAtom(int atomIndex)

getHeadAtoms

public Atom[] getHeadAtoms()

getBodyLength

public int getBodyLength()

getBodyAtom

public Atom getBodyAtom(int atomIndex)

getBodyAtoms

public Atom[] getBodyAtoms()

getSafeVersion

public DLClause getSafeVersion()

getChangedDLClause

public DLClause getChangedDLClause(Atom[] headAtoms,
                                   Atom[] bodyAtoms)

isFunctionalityAxiom

public boolean isFunctionalityAxiom()

isInverseFunctionalityAxiom

public boolean isInverseFunctionalityAxiom()

getClauseType

public DLClause.ClauseType getClauseType()

toString

public java.lang.String toString(Prefixes prefixes)

toOrderedString

public java.lang.String toOrderedString(Prefixes prefixes)

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object

create

public static DLClause create(Atom[] headAtoms,
                              Atom[] bodyAtoms,
                              DLClause.ClauseType clauseType)

createEx

public static DLClause createEx(boolean isKnownToBeAdmissible,
                                Atom[] headAtoms,
                                Atom[] bodyAtoms,
                                DLClause.ClauseType clauseType)