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)
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)