org.semanticweb.HermiT.model
Class DLClause
java.lang.Object
org.semanticweb.HermiT.model.DLClause
- All Implemented Interfaces:
- Serializable
public class DLClause
- extends Object
- implements Serializable
Represents a DL clause. The body is a conjunction of atoms and the head is a disjunction of atoms.
- See Also:
- Serialized Form
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 String toString(Prefixes prefixes)
toString
public String toString()
- Overrides:
toString
in class Object
create
public static DLClause create(Atom[] headAtoms,
Atom[] bodyAtoms)
Copyright © 2012. All Rights Reserved.