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.
causalpending
Speaker
Frank CoyleEvidence Quote
“the inference here is that Bob and BB are two ways of representing the same individual because that is a functional property.”
Created: 8/12/2026, 5:57:54 PM
My Notes
Loading notes...