Uses of Package
openllet.core.boxes.abox
-
Classes in openllet.core.boxes.abox used by openllet.core Class Description ABox Definition of an abox.Individual -
Classes in openllet.core.boxes.abox used by openllet.core.boxes.abox Class Description ABox Definition of an abox.ABoxImpl Copyright: Copyright (c) 2008ABoxStats Copyright: Copyright (c) 2009Clash Copyright: Copyright (c) 2007Clash.ClashType Edge Description: Represents an edge in the tableau completion graph.EdgeList Individual IndividualIterator An iterator to return nodes in the order they are added.Literal Node FIXME : many many data-structures that doesn't support concurrency are use in concurrent context here.NodeMerge Stores a pair of nodes to be merged. -
Classes in openllet.core.boxes.abox used by openllet.core.datatypes Class Description Literal -
Classes in openllet.core.boxes.abox used by openllet.core.knowledge Class Description ABox Definition of an abox. -
Classes in openllet.core.boxes.abox used by openllet.core.rules Class Description ABox Definition of an abox.Edge Description: Represents an edge in the tableau completion graph.Individual Literal Node FIXME : many many data-structures that doesn't support concurrency are use in concurrent context here. -
Classes in openllet.core.boxes.abox used by openllet.core.rules.builtins Class Description ABox Definition of an abox.Literal -
Classes in openllet.core.boxes.abox used by openllet.core.rules.rete Class Description ABox Definition of an abox.Edge Description: Represents an edge in the tableau completion graph.Individual Literal Node FIXME : many many data-structures that doesn't support concurrency are use in concurrent context here. -
Classes in openllet.core.boxes.abox used by openllet.core.tableau.blocking Class Description Individual Node FIXME : many many data-structures that doesn't support concurrency are use in concurrent context here. -
Classes in openllet.core.boxes.abox used by openllet.core.tableau.branch Class Description ABox Definition of an abox.Individual Node FIXME : many many data-structures that doesn't support concurrency are use in concurrent context here.NodeMerge Stores a pair of nodes to be merged. -
Classes in openllet.core.boxes.abox used by openllet.core.tableau.cache Class Description Edge Description: Represents an edge in the tableau completion graph.EdgeList Individual Node FIXME : many many data-structures that doesn't support concurrency are use in concurrent context here. -
Classes in openllet.core.boxes.abox used by openllet.core.tableau.completion Class Description ABox Definition of an abox.ABoxImpl Copyright: Copyright (c) 2008Edge Description: Represents an edge in the tableau completion graph.Individual Node FIXME : many many data-structures that doesn't support concurrency are use in concurrent context here. -
Classes in openllet.core.boxes.abox used by openllet.core.tableau.completion.incremental Class Description Clash Copyright: Copyright (c) 2007Edge Description: Represents an edge in the tableau completion graph. -
Classes in openllet.core.boxes.abox used by openllet.core.tableau.completion.queue Class Description ABox Definition of an abox.Individual IndividualIterator An iterator to return nodes in the order they are added.Node FIXME : many many data-structures that doesn't support concurrency are use in concurrent context here. -
Classes in openllet.core.boxes.abox used by openllet.core.tableau.completion.rule Class Description Individual IndividualIterator An iterator to return nodes in the order they are added.Node FIXME : many many data-structures that doesn't support concurrency are use in concurrent context here. -
Classes in openllet.core.boxes.abox used by openllet.core.tracker Class Description ABoxImpl Copyright: Copyright (c) 2008Edge Description: Represents an edge in the tableau completion graph.Individual Node FIXME : many many data-structures that doesn't support concurrency are use in concurrent context here.