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 |
m_headAtoms
protected final Atom[] m_headAtoms
m_bodyAtoms
protected final Atom[] m_bodyAtoms
s_interningManager
protected static InterningManager<DLClause> s_interningManager
DLClause
protected DLClause(Atom[] headAtoms,
Atom[] bodyAtoms)
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)
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)