Type Members

1.  sealed trait AlphaNode[T] extends AnyRef
2.  final case class AtomicConcept(id: String) extends Concept with Entity with Product with Serializable
3.  sealed trait Axiom extends HasSignature
4.  final case class BetaMemory(tokens: List[Token], tokenIndex: Map[Variable, Map[Individual, Set[Token]]]) extends Product with Serializable
5.  sealed trait BetaNode extends AnyRef
6.  sealed trait BetaParent extends AnyRef
7.  final case class Complement(concept: Concept) extends Concept with Product with Serializable
8.  sealed trait Concept extends QueueExpression with HasSignature
9.  final case class ConceptAlphaMemory(individuals: Set[Individual]) extends Product with Serializable
10.  final case class ConceptAssertion(concept: Concept, individual: Individual) extends Axiom with Product with Serializable
11.  final case class ConceptAtom(predicate: Concept, argument: IndividualArgument) extends RuleAtom with Product with Serializable
12.  final case class ConceptAtomAlphaNode(concept: Concept, children: List[JoinNode[Individual]]) extends AlphaNode[Individual] with Product with Serializable
13.  final case class ConceptAtomJoinNode(atom: ConceptAtom, children: List[BetaNode], spec: JoinNodeSpec) extends JoinNode[Individual] with Product with Serializable
14.  final case class ConceptInclusion(subclass: Concept, superclass: Concept) extends Axiom with QueueExpression with Product with Serializable
15.  final case class Conjunction(left: Concept, right: Concept) extends Concept with Product with Serializable
16.  final case class DataHasValue(role: DataRole, value: AnyRef) extends Concept with Product with Serializable
17.  final case class DataRange(owl: AnyRef) extends Product with Serializable
18.  final case class DataRestriction(role: DataRole, range: DataRange) extends Concept with Product with Serializable
19.  final case class DataRole(id: String) extends Entity with Product with Serializable
20.  final case class Disjunction(operands: Set[Concept]) extends Concept with Product with Serializable
21.  sealed trait Entity extends AnyRef
22.  final case class ExistentialRestriction(role: Role, concept: Concept) extends Concept with Product with Serializable
23.  trait HasSignature extends AnyRef
24.  final case class Individual(id: String) extends Entity with IndividualArgument with Product with Serializable
25.  sealed trait IndividualArgument extends HasSignature
26.  sealed trait JoinNode[T] extends BetaNode with BetaParent
27.  final case class JoinNodeSpec(pattern: List[RuleAtom]) extends Product with Serializable
28.  final case class Link(subject: Concept, role: Role, target: Concept) extends QueueExpression with Product with Serializable
29.  final case class Nominal(individual: Individual) extends Concept with Product with Serializable
30.  final case class ProductionNode(rule: Rule) extends BetaNode with Product with Serializable
31.  sealed trait QueueExpression extends AnyRef
32.  final case class ReasonerState(hier: Map[Role, Set[Role]] = Map.empty, hierComps: Map[Role, Map[Role, List[Role]]] = Map.empty, assertions: List[ConceptInclusion] = Nil, todo: List[QueueExpression] = Nil, inits: Set[Concept] = Set.empty, assertedConceptInclusionsBySubclass: Map[Concept, List[ConceptInclusion]] = Map.empty, closureSubsBySuperclass: Map[Concept, Set[Concept]] = Map(Bottom -> Set.empty), closureSubsBySubclass: Map[Concept, Set[Concept]] = Map(Top -> Set.empty), assertedNegConjs: Set[Conjunction] = Set.empty, assertedNegConjsByOperandRight: Map[Concept, List[Conjunction]] = Map.empty, conjunctionsBySubclassesOfRightOperand: Map[Concept, Map[Concept, Set[Conjunction]]] = Map.empty, assertedUnions: Set[Disjunction] = Set.empty, unionsByOperand: Map[Concept, List[Disjunction]] = Map.empty, linksBySubject: Map[Concept, Map[Role, Set[Concept]]] = Map.empty, linksByTarget: Map[Concept, Map[Role, List[Concept]]] = Map.empty, negExistsMapByConcept: Map[Concept, Set[ExistentialRestriction]] = Map.empty, propagations: Map[Concept, Map[Role, List[ExistentialRestriction]]] = Map.empty, assertedNegativeSelfRestrictionsByRole: Map[Role, SelfRestriction] = Map.empty, ruleEngine: RuleEngine = RuleEngine.empty, wm: WorkingMemory = RuleEngine.empty.emptyMemory, disableBottom: Boolean = false, queueDelegates: Map[String, QueueDelegate] = Map.empty) extends Product with Serializable
33.  final case class Role(id: String) extends Entity with Product with Serializable
34.  final case class RoleAlphaMemory(assertions: List[RoleAssertion], assertionsBySubject: Map[Individual, List[RoleAssertion]], assertionsByTarget: Map[Individual, List[RoleAssertion]]) extends Product with Serializable
35.  final case class RoleAssertion(role: Role, subject: Individual, target: Individual) extends Axiom with Product with Serializable
36.  final case class RoleAtom(predicate: Role, subject: IndividualArgument, target: IndividualArgument) extends RuleAtom with Product with Serializable
37.  final case class RoleAtomAlphaNode(role: Role, children: List[JoinNode[RoleAssertion]]) extends AlphaNode[RoleAssertion] with Product with Serializable
38.  final case class RoleAtomJoinNode(atom: RoleAtom, children: List[BetaNode], spec: JoinNodeSpec) extends JoinNode[RoleAssertion] with Product with Serializable
39.  final case class RoleComposition(first: Role, second: Role, superproperty: Role) extends Axiom with Product with Serializable
40.  final case class RoleInclusion(subproperty: Role, superproperty: Role) extends Axiom with Product with Serializable
41.  final case class Rule(body: List[RuleAtom], head: List[RuleAtom]) extends Axiom with Product with Serializable
42.  sealed trait RuleAtom extends HasSignature
43.  final case class RuleEngine(rules: Set[Rule]) extends Product with Serializable
44.  final case class SelfRestriction(role: Role) extends Concept with Product with Serializable
45.  final case class Sub+(ci: ConceptInclusion) extends QueueExpression with Product with Serializable
46.  final case class Token(bindings: Map[Variable, Individual]) extends Product with Serializable
47.  final case class Variable(id: String) extends IndividualArgument with Product with Serializable
48.  final case class WorkingMemory(conceptAlpha: Map[Concept, ConceptAlphaMemory], roleAlpha: Map[Role, RoleAlphaMemory], beta: Map[JoinNodeSpec, BetaMemory]) extends Product with Serializable