First-order modal logic
Towards a consistent logical framework for ontological analysis
Proceedings of the international conference on Formal Ontology in Information Systems - Volume 2001
Supporting ontological analysis of taxonomic relationships
Data & Knowledge Engineering - ER2000
Semantic enrichment in ontologies for matching
AOW '06 Proceedings of the second Australasian workshop on Advances in ontologies - Volume 72
Abstract vs. social roles - Towards a general theoretical account of roles
Applied Ontology - Roles, an interdisciplinary perspective
AEON - An approach to the automatic evaluation of ontologies
Applied Ontology - Ontological Foundations of Conceptual Modelling
The Ontological Level: Revisiting 30 Years of Knowledge Representation
Conceptual Modeling: Foundations and Applications
Metalevel information in ontology-based applications
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 2
Constraints for Representing Transforming Entities in Bio-ontologies
AI*IA '09: Proceedings of the XIth International Conference of the Italian Association for Artificial Intelligence Reggio Emilia on Emergent Perspectives in Artificial Intelligence
Existential rigidity and many modalities in order-sorted logic
Knowledge-Based Systems
A method for evaluating and standardizing ontologies
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Three
AEON - An approach to the automatic evaluation of ontologies
Applied Ontology - Ontological Foundations of Conceptual Modelling
Abstract vs. social roles - Towards a general theoretical account of roles
Applied Ontology - Roles, an interdisciplinary perspective
A formal ontology for industrial maintenance
Applied Ontology
Hi-index | 0.00 |
The OntoClean methodology was based on a set of formal meta-properties whose semantics were specified in S5 modal logic. One of these metaproperties, Rigidity, has come under more focused scrutiny by the ontology community, and several problems with the formalization have been discussed along with several solutions. In this paper, we attempt to reconcile these results in a larger framework that exposes different kinds of rigidity, as well as two new metaproperties, actuality and permanence, which deal more specifically with the behavior of properties with respect to time and existence.