Category theory for computing science
Category theory for computing science
Conceptual database design: an Entity-relationship approach
Conceptual database design: an Entity-relationship approach
Data modeling essentials: analysis, design, and innovation
Data modeling essentials: analysis, design, and innovation
On category theory as a (meta) ontology for information systems research
Proceedings of the international conference on Formal Ontology in Information Systems - Volume 2001
Entity-Relationship Modeling: Foundations of Database Technology
Entity-Relationship Modeling: Foundations of Database Technology
Using ontologies to index conceptual structures for tendering automation
ADC '02 Proceedings of the 13th Australasian database conference - Volume 5
Agents' roles in B2C e-commerce
AI Communications
Databases and the geometry of knowledge
Data & Knowledge Engineering
Ontological modelling of content management and provision
Information and Software Technology
Information Systems Management
Typed category theory-based micro-view emergency knowledge representation
KSEM'07 Proceedings of the 2nd international conference on Knowledge science, engineering and management
Hi-index | 0.00 |
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.