Follow
Lady, EVOLVED 
« The last axiom in the ontology is necessary to derive the mentioned conclusion; without it, the open-world semantics of OWL 2 would allow for situations where a:Quagmire is the same as a:Peter, a:Lois, a:Stewie, a:Meg, a:Chris, or a:Brian. » heaven forbid
i’m not saying they aren’t effective examples but i do take small amounts of psychic damage every time i read the Owl 2 specification