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

Field Summary
protected  Atom[] m_bodyAtoms
           
protected  Atom[] m_headAtoms
           
protected static InterningManager<DLClause> s_interningManager
           
 
Constructor Summary
protected DLClause(Atom[] headAtoms, Atom[] bodyAtoms)
           
 
Method Summary
static DLClause create(Atom[] headAtoms, Atom[] bodyAtoms)
           
 Atom getBodyAtom(int atomIndex)
           
 Atom[] getBodyAtoms()
           
 int getBodyLength()
           
 DLClause getChangedDLClause(Atom[] headAtoms, Atom[] bodyAtoms)
           
 Atom getHeadAtom(int atomIndex)
           
 Atom[] getHeadAtoms()
           
 int getHeadLength()
           
 DLClause getSafeVersion(DLPredicate safeMakingPredicate)
           
 boolean isAtomicConceptInclusion()
           
 boolean isAtomicRoleInclusion()
           
 boolean isAtomicRoleInverseInclusion()
           
 boolean isFunctionalityAxiom()
           
 boolean isGeneralConceptInclusion()
           
 boolean isInverseFunctionalityAxiom()
           
 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

m_headAtoms

protected final Atom[] m_headAtoms

m_bodyAtoms

protected final Atom[] m_bodyAtoms

s_interningManager

protected static InterningManager<DLClause> s_interningManager
Constructor Detail

DLClause

protected DLClause(Atom[] headAtoms,
                   Atom[] bodyAtoms)
Method Detail

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(DLPredicate safeMakingPredicate)

getChangedDLClause

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

isGeneralConceptInclusion

public boolean isGeneralConceptInclusion()

isAtomicConceptInclusion

public boolean isAtomicConceptInclusion()

isAtomicRoleInclusion

public boolean isAtomicRoleInclusion()

isAtomicRoleInverseInclusion

public boolean isAtomicRoleInverseInclusion()

isFunctionalityAxiom

public boolean isFunctionalityAxiom()

isInverseFunctionalityAxiom

public boolean isInverseFunctionalityAxiom()

toString

public java.lang.String toString(Prefixes prefixes)

toString

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

create

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