Colomb, Robert M. and Dampney, C. N. G. (2005) An approach to ontology for institutional facts in the semantic web. Information and Software Technology Volume, 47 . pp. 775-783. ISSN 09505849
Full text not available from this repository.
Official URL: http://dx.doi.org/10.1016/j.infsof.2004.12.002
Refinement in software engineering allows a specification to be developed in stages, with design decisions taken at earlier stages constraining the design at later stages. Refinement in complex data models is difficult due to lack of a way of defining constraints, which can be progressively maintained over increasingly detailed refinements. Category theory provides a way of stating wide scale constraints. These constraints lead to a set of design guidelines, which maintain the wide scale constraints under increasing detail. Previous methods of refinement are essentially local, and the proposed method does not interfere very much with these local methods. The result is particularly applicable to semantic web applications, where ontologies provide systems of more or less abstract constraints on systems, which must be implemented and therefore refined by participating systems. With the approach of this paper, the concept of committing to an ontology carries much more force.
|Uncontrolled Keywords:||category theory, conceptual modeling, refinement, semantic web|
|Subjects:||T Technology > T Technology (General)|
T Technology > TK Electrical engineering. Electronics Nuclear engineering
|Divisions:||Computer Science and Information System|
|Deposited By:||S.N.Shahira Dahari|
|Deposited On:||01 Jun 2011 04:13|
|Last Modified:||13 Jun 2011 05:58|
Repository Staff Only: item control page