conexp.fx.core.dl

Class ELTBox

java.lang.Object

conexp.fx.core.dl.ELTBox

public class ELTBox
extends Object

Constructor Summary

Constructors

Constructor and Description
ELTBox()

Method Summary

Modifier and Type	Method and Description
boolean	equals(Object obj)
ELInterpretation2<ELConceptDescription>	getCanonicalModel(ELConceptDescription C)
ELInterpretation2<ELConceptDescription>	getCanonicalModelLutz(ELConceptDescription C)
Set<ELConceptInclusion>	getConceptInclusions()
ELConceptDescription	getMostSpecificConsequence(ELConceptDescription C, int roleDepth)
ELConceptDescription	getMostSpecificConsequenceLutz(ELConceptDescription C, int roleDepth)
Signature	getSignature()
int	hashCode()
org.semanticweb.owlapi.model.OWLOntology	toOWLOntology()
String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

ELTBox

public ELTBox()

Method Detail

getSignature

public final Signature getSignature()

getConceptInclusions

public final Set<ELConceptInclusion> getConceptInclusions()

getCanonicalModel

public final ELInterpretation2<ELConceptDescription> getCanonicalModel(ELConceptDescription C)

getMostSpecificConsequence

public final ELConceptDescription getMostSpecificConsequence(ELConceptDescription C,
                                                             int roleDepth)

getCanonicalModelLutz

public final ELInterpretation2<ELConceptDescription> getCanonicalModelLutz(ELConceptDescription C)

getMostSpecificConsequenceLutz

public final ELConceptDescription getMostSpecificConsequenceLutz(ELConceptDescription C,
                                                                 int roleDepth)

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

toOWLOntology

public final org.semanticweb.owlapi.model.OWLOntology toOWLOntology()

hashCode

public int hashCode()

Overrides:

hashCode in class Object

toString

public String toString()

Overrides:

toString in class Object