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
Category theory for computing science, 2nd ed.
Category theory for computing science, 2nd ed.
Knowledge representation: logical, philosophical and computational foundations
Knowledge representation: logical, philosophical and computational foundations
Formal Concept Analysis: Mathematical Foundations
Formal Concept Analysis: Mathematical Foundations
Distributed Conceptual Structures
ReIMICS '01 Revised Papers from the 6th International Conference and 1st Workshop of COST Action 274 TARSKI on Relational Methods in Computer Science
On the General Ontological Foundations of Conceptual Modeling
ER '02 Proceedings of the 21st International Conference on Conceptual Modeling
The Knowledge Engineering Review
IEEE standard upper ontology: a progress report
The Knowledge Engineering Review
Formal Semantics and OntologiesTowards an Ontological Account of Formal Semantics
Proceedings of the 2008 conference on Formal Ontology in Information Systems: Proceedings of the Fifth International Conference (FOIS 2008)
Developing Consistent and Modular Software Models with Ontologies
Proceedings of the 2009 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the Eighth SoMeT_09
Modeling surgical processes: A four-level translational approach
Artificial Intelligence in Medicine
An ontology architecture for integration of ontologies
ASWC'06 Proceedings of the First Asian conference on The Semantic Web
Hi-index | 0.00 |
In this paper we present and discuss a meta-ontological architecture for ontologies which centers on abstract core ontologies (ACOs). An ACO is the most abstract part of a foundational ontology. It is useful for an ontologically founded description of ontologies themselves, therefore ACOs are lifted to the meta-level. We propose a three-layered meta-ontological architecture which distinguishes an object level comprising foundational, generic or domain-specific ontologies, a meta-level with abstract core ontologies, and a meta-meta-level employing abstract top ontologies for the formalization of the underlying levels. Moreover, two axiomatic fragments for ACOs are provided, one of which is applied to formal concept lattices [1]. This demonstrates the use of ACOs for the ontological foundation of representation formalisms and illustrates advantages in comparison to the usual direct formal reduction to set theory. Finally, related work with respect to the architecture is briefly discussed.