title: (Closure) Axiom necesarry to solve Protégé Ontology issue?
body: <p>I am currently working on a ontology.
  I created a bunch of individuals (every individual should be sorted to a different optimization problem like TSP, VRP and VRPTW).
  But I think the open world assumption creates some problems.</p>
  
  <p>In Individuals I want the reasoner to realize that Auftrag 1 is a TSP, Auftrag 2 is a VRP and Auftrag 3 a VRPTW. At the moment it works
  but only because for 1 and 2 I use the "exactly" cardinality in types.
  I have to do this because if not the reasoner may think that there could be more than one of this kind (in this example warehouse or simpleVehicle).</p>
  
  <p>Because of that I created this "exactly 1" cardinality on types so that the reasoner can only sort it right. But as soon as I am right the closure axiom could help me so to prevent the open world assumption at this point?</p>
  
  <p>I hope you understand my point.</p>
  
  <p>I attached the file, best regards!</p>
  
  <p>File:
  <a href="https://www2.zippyshare.com/v/loP7YJNP/file.html" rel="nofollow noreferrer">https://www2.zippyshare.com/v/loP7YJNP/file.html</a></p>