 are what are usually developed/used to design a database. The
&gt;axioms of an ontology are generally of little use/relevance either in the
&gt;design of the database,

Again, a question of perspective.  If one doesn't read logic, the axioms 
would certainly be of little use.  If one does read logic, and has a 
theorem prover available, the axioms could be used to test the consistency 
of the schema.

&gt;or in the population of it by instances.
&gt;
&gt;So in general my question for this sort of case woul