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 BerkeleyAI Engineer
Created: 8/12/2026, 5:57:54 PM

My Notes

Loading notes...