Rather than compressing a judgment about reality into a single boolean, it seems more natural to break it down into smaller observations and evidence, then derive conclusions from them. Users wouldn't need to touch the ontology directly; they'd just answer small, concrete questions like "Is there a sidewalk here?"