Enabling technology for knowledge sharing
AI Magazine
A translation approach to portable ontology specifications
Knowledge Acquisition - Special issue: Current issues in knowledge modeling
The Unified Modeling Language reference manual
The Unified Modeling Language reference manual
Ontological Engineering
The Description Logic Handbook
The Description Logic Handbook
On the Properties of Metamodeling in OWL1
Journal of Logic and Computation
Abstract vs. social roles - Towards a general theoretical account of roles
Applied Ontology - Roles, an interdisciplinary perspective
A meta-ontological architecture for foundational ontologies
OTM'05 Proceedings of the 2005 OTM Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, COA, and ODBASE - Volume Part II
A formal ontology for a computational approach of time and aspect
IceTAL'10 Proceedings of the 7th international conference on Advances in natural language processing
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
| Hi-index | 0.00 |
Formal ontology relies on representation languages for expressing ontologies. This involves the formal semantics of these languages which is typically based on a limited set of abstract mathematical notions. In this paper, we discuss the interplay between formal semantics and the intended role of ontologies as semantic foundation. In this connection a circularity is identified if ontologies are to determine the conceptual equivalence of expressions. This is particularly relevant for ontologies which are to be provided in multiple formalisms. In order to overcome this situation, ontological semantics is generally defined as a novel kind of semantics which is purely and directly based on ontological entities. We sketch a specific application of this semantics to the syntax of first order logic. In order to beneficially rely on theoretical results and reasoning systems, an approximation of the proposed semantics in terms of the conventional approach is established. This results in a formalization method for first order logic and a translation-based variant of ontological semantics. Both variants involve an ontology for their application. In the context of developing a top-level ontology, we outline an ontology which serves as a meta-ontology in applying ontological semantics to the formalization of ontologies. Finally, resolved and remaining issues as well as related approaches are briefly discussed.