Automated generation of model-based knowledge acquisition tools
Automated generation of model-based knowledge acquisition tools
Category theory for computing science
Category theory for computing science
The logic of typed feature structures
The logic of typed feature structures
Handbook of logic in computer science (vol. 1)
Using explicit ontologies in KBS development
International Journal of Human-Computer Studies
Theoretical Computer Science
Algebraic Semantics of Imperative Programs
Algebraic Semantics of Imperative Programs
Fundamentals of Algebraic Specification I
Fundamentals of Algebraic Specification I
Pushouts of Order-Sorted Algebraic Specifications
AMAST '96 Proceedings of the 5th International Conference on Algebraic Methodology and Software Technology
The Role of Ontologies in the Verification and Validation of Knowledge Based Systems
DEXA '98 Proceedings of the 9th International Workshop on Database and Expert Systems Applications
Hidden coinduction: behavioural correctness proofs for objects
Mathematical Structures in Computer Science
Formal Ontology Engineering in the DOGMA Approach
On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002
Ontology Engineering --- The DOGMA Approach
Advances in Web Semantics I
EDBT'06 Proceedings of the 2006 international conference on Current Trends in Database Technology
Institutionalising ontology-based semantic integration
Applied Ontology
Semantics for mapping relations in SKOS
RR'13 Proceedings of the 7th international conference on Web Reasoning and Rule Systems
| Hi-index | 0.00 |
Ontologies allow the abstract conceptualisation of domains, but a given domain can be conceptualised through many different ontologies, which can be problematic when ontologies are used to support knowledge sharing. We present a formal account of ontologies that is intended to support knowledge sharing through precise characterisations of relationships such as compatibility and refinement. We take an algebraic approach, in which ontologies are presented as logical theories. This allows us to characterise relations between ontologies as relations between their classes of models. A major result is cocompleteness of specifications, which supports merging of ontologies across shared sub-ontologies.