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 Disjunction(operands: Set[Concept]) extends Concept with Product with Serializable
17.  sealed trait Entity extends AnyRef
18.  final case class ExistentialRestriction(role: Role, concept: Concept) extends Concept with Product with Serializable
19.  trait HasSignature extends AnyRef
20.  final case class Individual(id: String) extends Entity with IndividualArgument with Product with Serializable
21.  sealed trait IndividualArgument extends HasSignature
22.  sealed trait JoinNode[T] extends BetaNode with BetaParent
23.  final case class JoinNodeSpec(pattern: List[RuleAtom]) extends Product with Serializable
24.  final case class Link(subject: Concept, role: Role, target: Concept) extends QueueExpression with Product with Serializable
25.  final case class Nominal(individual: Individual) extends Concept with Product with Serializable
26.  final case class ProductionNode(rule: Rule) extends BetaNode with Product with Serializable
27.  sealed trait QueueExpression extends AnyRef
28.  final case class ReasonerState(hier: Map[Role, Set[Role]], hierComps: Map[Role, Map[Role, List[Role]]], assertions: List[ConceptInclusion], todo: List[QueueExpression], topOccursNegatively: Boolean, inits: Set[Concept], assertedConceptInclusionsBySubclass: Map[Concept, List[ConceptInclusion]], closureSubsBySuperclass: Map[Concept, Set[Concept]], closureSubsBySubclass: Map[Concept, Set[Concept]], assertedNegConjs: Set[Conjunction], assertedNegConjsByOperandRight: Map[Concept, List[Conjunction]], conjunctionsBySubclassesOfRightOperand: Map[Concept, Map[Concept, Set[Conjunction]]], linksBySubject: Map[Concept, Map[Role, Set[Concept]]], linksByTarget: Map[Concept, Map[Role, List[Concept]]], negExistsMapByConcept: Map[Concept, Set[ExistentialRestriction]], propagations: Map[Concept, Map[Role, List[ExistentialRestriction]]], ruleEngine: RuleEngine, wm: WorkingMemory) extends Product with Serializable
29.  final case class Role(id: String) extends Entity with Product with Serializable
30.  final case class RoleAlphaMemory(assertions: List[RoleAssertion], assertionsBySubject: Map[Individual, List[RoleAssertion]], assertionsByTarget: Map[Individual, List[RoleAssertion]]) extends Product with Serializable
31.  final case class RoleAssertion(role: Role, subject: Individual, target: Individual) extends Axiom with Product with Serializable
32.  final case class RoleAtom(predicate: Role, subject: IndividualArgument, target: IndividualArgument) extends RuleAtom with Product with Serializable
33.  final case class RoleAtomAlphaNode(role: Role, children: List[JoinNode[RoleAssertion]]) extends AlphaNode[RoleAssertion] with Product with Serializable
34.  final case class RoleAtomJoinNode(atom: RoleAtom, children: List[BetaNode], spec: JoinNodeSpec) extends JoinNode[RoleAssertion] with Product with Serializable
35.  final case class RoleComposition(first: Role, second: Role, superproperty: Role) extends Axiom with Product with Serializable
36.  final case class RoleInclusion(subproperty: Role, superproperty: Role) extends Axiom with Product with Serializable
37.  final case class Rule(body: List[RuleAtom], head: List[RuleAtom]) extends Axiom with Product with Serializable
38.  sealed trait RuleAtom extends HasSignature
39.  final case class RuleEngine(rules: Set[Rule]) extends Product with Serializable
40.  final case class Sub+(ci: ConceptInclusion) extends QueueExpression with Product with Serializable
41.  final case class Token(bindings: Map[Variable, Individual]) extends Product with Serializable
42.  final case class Variable(id: String) extends IndividualArgument with Product with Serializable
43.  final case class WorkingMemory(conceptAlpha: Map[Concept, ConceptAlphaMemory], roleAlpha: Map[Role, RoleAlphaMemory], beta: Map[JoinNodeSpec, BetaMemory]) extends Product with Serializable