org.semanticweb.HermiT.model
Class DLClause
java.lang.Object
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
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
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
DLClause
protected DLClause(boolean isKnownToBeAdmissible,
Atom[] headAtoms,
Atom[] bodyAtoms,
DLClause.ClauseType clauseType)
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)