 |
|
Related Communities:
|
 |
|
 |
Rule-based concept definitions intended for reconciliation of semantic conflicts in the interoperable information systems.
| Author(s): | Kalinichenko L.A. |
| Created: | 1996/06/01 |
| Published: | Proc. of the Second International Baltic Workshop on Databases and Infirmation Systems. -- Tallinn, 1996. |
| Abstract: | |
| Issues of concept definitions in heterogeneous interoperable information resource environment (HIRE) are addressed. A uniform model and language is overviewed that is intended to specify contexts of an application and pre-existing resources in a homogeneous way. The framework presented combines uniformity (one and the same set of facilities for ontological and schema specifications) with the sound foundation. We provide semi-formal and formal specifications for concepts. Model-theoretic approach is applied to concepts treated as types, providing for justification of properties of individual concept specifications and their interrelationships (based on refinement). The paper contributes to ontological definitions with embedding rules providing for formal reasoning that one concept can be substituted by another and finally that an information resource can be reused for a specification of requirements. |
| Download: |
[ PostScript ]
|
|
|
