Disjoint properties in OWL can catch errors such as a second refund being issued on the same order by enforcing that certain entity types (like customer and support rep) are mutually exclusive or non-overlapping.

OWL property constraints can enforce that status fields contain only valid enumerated values (e.g., 'paid', 'shipped', or 'refunded'), preventing probabilistic LLMs from generating invalid status values like 'probably shipped'.

Ontological reasoners built on RDFS and OWL can serve as guardrails to keep LLMs 'on track' and 'honest' by validating outputs against domain logic before accepting them.

Coyle's educational philosophy, inspired by Sister Corita Kent and John Cage, emphasizes 'Nothing is a mistake. There is no win. There's no fail. There's only make'—prioritizing hands-on creation and experimentation over passive reading.

Writing by hand (pen and pencil) engages all sensory systems and promotes faster learning compared to typing, because typing directs cognitive resources to keyboard mechanics rather than conceptual synthesis.

The concept of agents—entities that perceive, decide, and act—evolved from early AI pioneers like John McCarthy, Selfridge, and Marvin Minsky's Society of Mind framework, building toward the formal definition of artificial intelligence established in 1956.

Ontologies, rooted in Aristotle's philosophy of being and formalized by Quine and Gruber (1993), are fundamentally 'a formal specification of a shared conceptualization'—a tool for representing domain entities, relationships, and properties for systems like graph databases and knowledge graphs.

The convergence of probabilistic agents and language models with formal symbolic representations (ontologies, rule-based systems, knowledge graphs) is called neuro-symbolic AI, which combines neural networks with symbolic AI to keep LLMs within guardrails.

Functional properties in OWL (like 'has father') constrain relationships to a single value: only one father can exist, and if Bob and BB are both identified as Jim's father, the system infers Bob and BB are the same individual.

Derivations and constraints defined in RDFS and OWL sit alongside the core graph rather than within it, and can be applied to help agents operate reliably when dealing with probabilistic language model outputs.

Ontologies are fundamentally a representation of entities, their relationships to other entities, and the properties of those entities—a structure that evolved from the limitations of relational databases, which require restructuring to add new columns or information.

There are two primary approaches to building ontologies: top-down (experts analyze the domain and define entities, properties, and relationships upfront) and bottom-up (entities and relationships are added iteratively from observed customer interactions and domain behavior).

Symbolic AI and expert systems of the 1980s, including Japan's Fifth Generation Computer Project, were ultimately unsuccessful because they could not scale, leading to an 'AI winter' until neural networks became feasible through GPU acceleration in the 2000s.

Existing taxonomies and ontologies such as schema.org, FOAF (Friend of a Friend), Dublin Core, and DBpedia (underlying Wikipedia) represent 15-20 years of standardization work and should be leveraged rather than reinvented when building new ontologies.

Auxiliary ontological technologies like RDFS and OWL sit alongside graph structures and enable inference and constraint checking by formalizing rules about domain relationships.

RDFS domain and range constraints enable inference: if 'teaches' has domain 'teacher', then observing 'Bob teaches Scooter' logically implies Bob is a teacher; combined with 'all teachers are persons', it also implies Bob is a person.

Transitive properties in OWL (like ancestry) enable automatic inference: if Sue is an ancestor of Mary and Mary is an ancestor of Ann, the system can infer Sue is an ancestor of Ann without explicit statement.

Agent loops carry three critical risks: they can enter infinite loops (a programming hazard), drift as agents coordinate and go off-course, and accumulate token costs as the loop continues executing.

Agentic AI represents a return to the symbolic AI era, revisiting the expert systems paradigm of the 1980s by combining loops (for Turing completeness) with rule-based reasoning.

LLMs cannot directly execute actions; they can only generate the next word with high probability. However, when given tools and prompts, LLMs can infer tool parameters and invoke them via formatted responses, enabling indirect action execution.