Logical foundations of artificial intelligence
Logical foundations of artificial intelligence
Data & Knowledge Engineering - Special issue on linguistic instruments in knowledge engineering (LIKE)
Part-whole relations in object-centered systems: an overview
Data & Knowledge Engineering - Special issue on modeling parts and wholes
The entity-relationship model—toward a unified view of data
ACM Transactions on Database Systems (TODS) - Special issue: papers from the international conference on very large data bases: September 22–24, 1975, Framingham, MA
Evaluating ontological decisions with OntoClean
Communications of the ACM - Ontology: different ways of representing the same concept
Towards a consistent logical framework for ontological analysis
Proceedings of the international conference on Formal Ontology in Information Systems - Volume 2001
The Semantics of Relationships: An Interdisciplinary Perspective
The Semantics of Relationships: An Interdisciplinary Perspective
A Formal Ontology of Properties
EKAW '00 Proceedings of the 12th European Workshop on Knowledge Acquisition, Modeling and Management
ACL '85 Proceedings of the 23rd annual meeting on Association for Computational Linguistics
Towards OntoClean 2.0: A framework for rigidity
Applied Ontology
A note on the transitivity of parthood
Applied Ontology
On the transitivity of functional parthood
Applied Ontology
Roles, an interdisciplinary perspective
Applied Ontology - Roles, an interdisciplinary perspective
Artefacts and Roles: Modelling Strategies in a Multiplicative Ontology
Proceedings of the 2008 conference on Formal Ontology in Information Systems: Proceedings of the Fifth International Conference (FOIS 2008)
Transforming semi-structured life science diagrams into meaningful domain ontologies with DiDOn
Journal of Biomedical Informatics
International Journal of Metadata, Semantics and Ontologies
| Hi-index | 0.00 |
I revisit here the motivations and the main proposal of paper I published at the 1994 Wittgenstein Symposium, entitled "The Ontological Level", in the light of the main results achieved in the latest 30 years of Knowledge Representation, since the well known "What's in a link?" paper by Bill Woods. I will argue that, despite the explosion of ontologies, many problems are still there, since there is no general agreement about having ontological distinctions built in the representation language, so that assumptions concerning the basic constructs of representation languages remain implicit in the mind of the knowledge engineer, and difficult to express and to share. I will recap the recent results concerning formal ontological distinctions among unary and binary relations, sketching a basic ontology of meta-level categories representation languages should be aware of, and I will discuss the role of such distinctions in the current practice of knowledge engineering.