In this talk I will revisit the issue of application of ontologies. I will elaborate on two new ideas that emerge from our work with the AIRCRAFT ontology, developed at the ISI in USC: (a) how ontological constructs can augment existing formal specifications to enrich their context and support their reusability; and (b) how we can build ontological constraints that facilitate reasoning about the correctness of specifications. I will discuss the multilayer approach which we adopt which makes it possible to view ontological constraints as a meta-level. This allow us to perform checks for specific kind of errors which we call conceptual errors with respect to ontological constraints.
PS: Explanations on the "strange" title I chose will be given on the talk.