An ontological analysis of the relationship construct in conceptual modeling
ACM Transactions on Database Systems (TODS)
Toward Formalizing Domain Modeling Semantics in Language Syntax
IEEE Transactions on Software Engineering
Ontology based object-oriented domain modelling: fundamental concepts
Requirements Engineering
The Description Logic Handbook
The Description Logic Handbook
Abstract vs. social roles - Towards a general theoretical account of roles
Applied Ontology - Roles, an interdisciplinary perspective
Institutionalising ontology-based semantic integration
Applied Ontology
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)
Petri Nets: Fundamental Models, Verification and Applications
Petri Nets: Fundamental Models, Verification and Applications
| Hi-index | 0.00 |
Inspired by contributing to the development of a top-level ontology and its formalization in logical languages, we discuss and defend three interrelated theses concerning the semantics of languages in general. The first is the claim that the usual formal semantics needs to be clearly distinguished from an ontological semantics, where the latter aims at explicating, at least partially, an ontological analysis of representations using a language. The second thesis is to utilize both types of semantics in parallel. Thirdly, it is argued that ontological semantics must be oriented at particular cases of using a language, which may lead to different manifestations of ontological semantics for one and the same language. Based on these views, we outline and illustrate our proposal for establishing usage-specific and ontology-based semantic schemes. Moreover, relations to works regarding conceptual modeling languages are established and potential applications are indicated, including semantics-preserving translations and the re-engineering of representations.