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

Method Summary

Modifier and Type	Method and Description
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()
String	toString()
String	toString(Prefixes prefixes)

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Method Detail

getHeadLength

public int getHeadLength()

Returns:

head length

getHeadAtom

public Atom getHeadAtom(int atomIndex)

Parameters:

atomIndex - atomIndex

Returns:

head atom

getHeadAtoms

public Atom[] getHeadAtoms()

Returns:

atoms

getBodyLength

public int getBodyLength()

Returns:

body length

getBodyAtom

public Atom getBodyAtom(int atomIndex)

Parameters:

atomIndex - atomIndex

Returns:

body atom

getBodyAtoms

public Atom[] getBodyAtoms()

Returns:

body atoms

getSafeVersion

public DLClause getSafeVersion(DLPredicate safeMakingPredicate)

Parameters:

safeMakingPredicate - safeMakingPredicate

Returns:

safe dl clause

getChangedDLClause

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

Parameters:

headAtoms - headAtoms

bodyAtoms - bodyAtoms

Returns:

changed dl clause

isGeneralConceptInclusion

public boolean isGeneralConceptInclusion()

Returns:

true if gci

isAtomicConceptInclusion

public boolean isAtomicConceptInclusion()

Returns:

true if atomic concept inclusion

isAtomicRoleInclusion

public boolean isAtomicRoleInclusion()

Returns:

true if atomic role inclusion

isAtomicRoleInverseInclusion

public boolean isAtomicRoleInverseInclusion()

Returns:

true if atomic role inverse inclusion

isFunctionalityAxiom

public boolean isFunctionalityAxiom()

Returns:

true if functional

isInverseFunctionalityAxiom

public boolean isInverseFunctionalityAxiom()

Returns:

true if inverse functional

toString

public String toString(Prefixes prefixes)

Parameters:

prefixes - prefixes

Returns:

toString

toString

public String toString()

Overrides:

toString in class Object

create

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

Parameters:

headAtoms - headAtoms

bodyAtoms - bodyAtoms

Returns:

dl clause