Closure axiom for instances so that reasoner can correctly classify instances in ontology
问题 I am a geographer and a new comer in the field of ontology trying to make sense out of these two. Therefore, I have created a simple ontology, as follows: Thing Feature Lane Segment(equivalent to Arc) Geometry Arc (equivalent to Segment) Node Dangling_Node Intersection_node you can find the .owl file here instantiated with a very simple spatial road dataset (fig1). the ontology is consistent without and with instances, but when I run the reasoner, the Dangling_node instances (nodes that are