Foundations of a functional approach to knowledge representation.
Artificial Intelligence
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
Knowledge engineering: principles and methods
Data & Knowledge Engineering - Special jubilee issue: DKE 25
Comorphism-Based Grothendieck Logics
MFCS '02 Proceedings of the 27th International Symposium on Mathematical Foundations of Computer Science
Proceedings of the Carnegie Mellon Workshop on Logic of Programs
The description logic handbook: theory, implementation, and applications
The description logic handbook: theory, implementation, and applications
Interpolation in Grothendieck institutions
Theoretical Computer Science
Ontology Matching
Conservative Extensions in the Lightweight Description Logic $\mathcal{EL}$
CADE-21 Proceedings of the 21st international conference on Automated Deduction: Automated Deduction
The Logical Difference Problem for Description Logic Terminologies
IJCAR '08 Proceedings of the 4th international joint conference on Automated Reasoning
ICSTW '08 Proceedings of the 2008 IEEE International Conference on Software Testing Verification and Validation Workshop
Institutionalising ontology-based semantic integration
Applied Ontology
Institution-independent Model Theory
Institution-independent Model Theory
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)
Conservativity in Structured Ontologies
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
DL-Lite: tractable description logics for ontologies
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
Conservative extensions in expressive description logics
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
ICCS'05 Proceedings of the 13th international conference on Conceptual Structures: common Semantics for Sharing Knowledge
| Hi-index | 0.00 |
We propose a functional view of ontologies that emphasises their role in determining answers to queries, irrespective of the formalism in which they are written. A notion of framework is introduced that captures the situation of a global language into which both an ontology language and a query language can be translated, in an abstract way. We then generalise existing notions of robustness from the literature, and relate these to interpolation properties that support modularisation of ontologies.