Logical foundations of artificial intelligence
Logical foundations of artificial intelligence
The annotated C++ reference manual
The annotated C++ reference manual
Goal-directed requirements acquisition
6IWSSD Selected Papers of the Sixth International Workshop on Software Specification and Design
A translation approach to portable ontology specifications
Knowledge Acquisition - Special issue: Current issues in knowledge modeling
The design and evolution of C++
The design and evolution of C++
Software requirements & specifications: a lexicon of practice, principles and prejudices
Software requirements & specifications: a lexicon of practice, principles and prejudices
The STATEMATE semantics of statecharts
ACM Transactions on Software Engineering and Methodology (TOSEM)
Problem frames: analyzing and structuring software development problems
Problem frames: analyzing and structuring software development problems
Modeling Reactive Systems with Statecharts: The Statemate Approach
Modeling Reactive Systems with Statecharts: The Statemate Approach
Actors: a model for reasoning about open distributed systems
Formal methods for distributed processing
Smalltalk-80: The Language
Concepts in Programming Languages
Concepts in Programming Languages
Context-Aware, Proactive Delivery of Task-Specific Information: The KnowMore Project
Information Systems Frontiers
A Philosophical Approach to the Concept of Data Model: Is a Data Model, in Fact, a Model?
Information Systems Frontiers
Supporting Multiparadigm Programming on Actor Architectures
PARLE '89 Proceedings of the Parallel Architectures and Languages Europe, Volume II: Parallel Languages
Peircean Foundations for a Theory of Context
ICCS '97 Proceedings of the Fifth International Conference on Conceptual Structures: Fulfilling Peirce's Dream
Design Methods for Software Systems: YOURDON, Statemate and Uml
Design Methods for Software Systems: YOURDON, Statemate and Uml
Towards Modeling and Reasoning Support for Early-Phase Requirements Engineering
RE '97 Proceedings of the 3rd IEEE International Symposium on Requirements Engineering
IEEE Software
A foundation for actor computation
Journal of Functional Programming
A semiotic metrics suite for assessing the quality of ontologies
Data & Knowledge Engineering - Special issue: Natural language and database and information systems: NLDB 03
Knowledge Representation with Ontologies: The Present and Future
IEEE Intelligent Systems
Keynote speech: abstraction and the c++ machine model
ICESS'04 Proceedings of the First international conference on Embedded Software and Systems
Hi-index | 0.00 |
Specifications of conceptualisations (ontologies) are often employed for representing reality, both in knowledge representation and software engineering. While languages offer sophisticated constructs and rigorous semantics for building conceptual entities, no attention is paid to the relationship between such entities and the world they intend to represent. This paper studies such a relationship and provides empirical evidences in favour of two main hypotheses: (1) conceptualisations are insufficient to fully represent the specifics of reality; (2) languages (both representation and design-oriented) are general representations of (classes of) systems in the world, and they can be characterised as scientific theories. The first hypothesis establishes a problem for which we propose a solution based on the explicit elaboration of statements claiming the similarity (in some respects and to certain degrees of accuracy) between conceptual entities and real-world systems of interest. The second hypothesis constitutes a new perspective for understanding languages, whose advantages to representation and design are discussed in detail.