Basic category theory for computer scientists
Basic category theory for computer scientists
Institutions: abstract model theory for specification and programming
Journal of the ACM (JACM)
A translation approach to portable ontology specifications
Knowledge Acquisition - Special issue: Current issues in knowledge modeling
Formalizing ontological commitments
AAAI '94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 1)
Category theory for computing science, 2nd ed.
Category theory for computing science, 2nd ed.
Formal ontology, conceptual analysis and knowledge representation
International Journal of Human-Computer Studies - Special issue: the role of formal ontology in the information technology
International Journal of Human-Computer Studies
The Ontolingua Server: a tool for collaborative ontology construction
International Journal of Human-Computer Studies - Special issue: innovative applications of the World Wide Web
Formal Ontology in Information Systems: Proceedings of the 1st International Conference June 6-8, 1998, Trento, Italy
A Model Theory for Generic Schema Management
DBPL '01 Revised Papers from the 8th International Workshop on Database Programming Languages
A survey of approaches to automatic schema matching
The VLDB Journal — The International Journal on Very Large Data Bases
Ontology mapping: the state of the art
The Knowledge Engineering Review
Casl Reference Manual: The Complete Documentation Of The Common Algebraic Specification Language (LECTURE NOTES IN COMPUTER SCIENCE)
Swoogle: a search and metadata engine for the semantic web
Proceedings of the thirteenth ACM international conference on Information and knowledge management
Introduction to the special issue on semantic integration
ACM SIGMOD Record
Semantic integration: a survey of ontology-based approaches
ACM SIGMOD Record
Progressive ontology alignment for meaning coordination: an information-theoretic foundation
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
AI Magazine - Special issue on semantic integration
Semantic integration through invariants
AI Magazine - Special issue on semantic integration
Data integration: a logic-based perspective
AI Magazine - Special issue on semantic integration
A formal model for situated semantic alignment
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Formalizing Ontology Alignment and its Operations with Category Theory
Proceedings of the 2006 conference on Formal Ontology in Information Systems: Proceedings of the Fourth International Conference (FOIS 2006)
FCA-MERGE: bottom-up merging of ontologies
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
The heterogeneous tool set, HETS
TACAS'07 Proceedings of the 13th international conference on Tools and algorithms for the construction and analysis of systems
Encoding classifications into lightweight ontologies
ESWC'06 Proceedings of the 3rd European conference on The Semantic Web: research and applications
A survey of schema-based matching approaches
Journal on Data Semantics IV
Ontologies for the semantic web in CASL
WADT'04 Proceedings of the 17th international conference on Recent Trends in Algebraic Development Techniques
EDBT'06 Proceedings of the 2006 international conference on Current Trends in Database Technology
Formal Properties of Modularisation
Modular Ontologies
Conservativity in Structured Ontologies
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Modular Ontologies for Architectural Design
Proceedings of the 2009 conference on Formal Ontologies Meet Industry
Ontology Modularity, Information Flow, and Interaction-Situated SemanticsExtended Abstract
Proceedings of the 2010 conference on Modular Ontologies: Proceedings of the Fourth International Workshop (WoMO 2010)
Towards a Functional Approach to Modular Ontologies using Institutions
Proceedings of the 2010 conference on Modular Ontologies: Proceedings of the Fourth International Workshop (WoMO 2010)
Ontological usage schemes a working proposal for the ontological foundation of language use
ER'11 Proceedings of the 30th international conference on Advances in conceptual modeling: recent developments and new directions
Engineering trust alignment: Theory, method and experimentation
International Journal of Human-Computer Studies
Modular first-order ontologies via repositories
Applied Ontology - Modularity in Ontologies
Ontological modelling of form and function for architectural design
Applied Ontology
Hi-index | 0.00 |
We address what is still a scarcity of general mathematical foundations for ontology-based semantic integration underlying current knowledge engineering methodologies in decentralised and distributed environments. After recalling the first-order ontology-based approach to semantic integration and a formalisation of ontological commitment, we propose a general theory that uses a syntax- and interpretation-independent formulation of language, ontology, and ontological commitment in terms of institutions. We claim that our formalisation generalises the intuitive notion of ontology-based semantic integration while retaining its basic insight, and we apply it for eliciting and hence comparing various increasingly complex notions of semantic integration and ontological commitment based on differing understandings of semantics.