org.semanticweb.HermiT.tableau

Class DatatypeManager

java.lang.Object

org.semanticweb.HermiT.tableau.DatatypeManager

All Implemented Interfaces:

Serializable

public final class DatatypeManager
extends Object
implements Serializable

DatatypeManager.

See Also:

Serialized Form

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	DatatypeManager.DConjunction DConjunction.
static class	DatatypeManager.DVariable DVariable.

Constructor Summary

Constructors

Constructor and Description
DatatypeManager(Tableau tableau)

Method Summary

Modifier and Type	Method and Description
void	additionalDLOntologyCleared() Clear additional ontology.
void	additionalDLOntologySet(DLOntology additionalDLOntology)
void	applyUnknownDatatypeRestrictionSemantics() Apply unknown datatypes.
void	checkDatatypeConstraints() Check datatype constraints.
void	clear() Clear.

Methods inherited from class java.lang.Object

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

Constructor Detail

DatatypeManager

public DatatypeManager(Tableau tableau)

Parameters:

tableau - tableau

Method Detail

additionalDLOntologySet

public void additionalDLOntologySet(DLOntology additionalDLOntology)

Parameters:

additionalDLOntology - additionalDLOntology

additionalDLOntologyCleared

public void additionalDLOntologyCleared()

Clear additional ontology.

clear

public void clear()

Clear.

applyUnknownDatatypeRestrictionSemantics

public void applyUnknownDatatypeRestrictionSemantics()

Apply unknown datatypes.

checkDatatypeConstraints

public void checkDatatypeConstraints()

Check datatype constraints.