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.

causalpending

Speaker

Frank Coyle

Evidence Quote

“If Sue is an ancestor of Mary and Mary is an ancestor of Ann, then Sue is an ancestor of Ann.”

Source

Why Agentic Systems Need Ontologies — Frank Coyle, UC Berkeley— AI Engineer
Created: 8/12/2026, 5:57:54 PM

My Notes

Loading notes...