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 CoyleEvidence Quote
“If Sue is an ancestor of Mary and Mary is an ancestor of Ann, then Sue is an ancestor of Ann.”
Created: 8/12/2026, 5:57:54 PM
My Notes
Loading notes...