View source for Blog talk:Formal theory, finite model and DL reasoner/Initial Statement/c000016

1. Correct Use of Axiom sets in engineering modeling.
The semantics of a descriptive model (axiom set) is defined by its interpretative semantics. The use of inference to reason about the things described by the model has to correlate to the inference semantics for inference to be valid. While the descriptive model axiom sets are finitely presented, engineering is interested in physical interpretations not just data base interpretations. When a customer takes delivery of an aircraft an initial step is to verify that all of the equipment specified for the aircraft is actually delivered. For used aircraft counterfeit parts are a significant recognized problem. The corresponding engineering model of a physical aircraft is an interpretation of the model in the modeling formalism.  The use of interpretations to define the semantics of a model is a form of conditional realism in the sense that reality is defined by the interpretations. For a model there is no presupposition that there exists an interpretation or that there in only one unique interpretation of a model. Often models are contradictory and have no interpretations. Engineering models generally have multiple interpretations. When we build a model for a type of aircraft there is no guarantee that all interpretations of the model have the same number of wings. Generally a lot of work is needed to produce a model whose interpretations are constrained to be what the model developer intended. 

2. Description Logic is insufficient for the engineering object language.
An object language of a formalism suitable for engineering cannot be represented in Description Logic (DL) as DL does not have function symbols (papers of Motik and Horrocks establish this). Function symbols are needed to represent axiom sets common in engineering.

3. Meta Logic.
The meta logic is the language in which models and interpretations are defined. The meta logic has meta categories types. To represent engineering models and their interpretations the meta logic need meta-categories for types and sets (see General Formal Ontology) that are sufficiently defined so that the properties of interpretations needed can be defined and used formally.
{{wl-comment:  }}