Existence assumptions in knowledge representation
Artificial Intelligence - Special issue on knowledge representation
Ontological analysis of taxonomic relationships
ER'00 Proceedings of the 19th international conference on Conceptual modeling
Identity criteria and sortal concepts
Proceedings of the international conference on Formal Ontology in Information Systems - Volume 2001
Methods in biomedical ontology
Journal of Biomedical Informatics - Special issue: Biomedical ontologies
Towards OntoClean 2.0: A framework for rigidity
Applied Ontology
Extraction Process Specification for Materialized Ontology Views
Advances in Web Semantics I
The Ontological Level: Revisiting 30 Years of Knowledge Representation
Conceptual Modeling: Foundations and Applications
Distributed reasoning with ontologies and rules in order-sorted logic programming
Web Semantics: Science, Services and Agents on the World Wide Web
Inheritance of multiple identity conditions in order-sorted logic
AI'04 Proceedings of the 17th Australian joint conference on Advances in Artificial Intelligence
Towards OntoClean 2.0: A framework for rigidity
Applied Ontology
Hi-index | 0.00 |
In their framework for ontological analysis, Guarino and Weltyprovide a number of insights that are useful for guiding the designof taxonomic hierarchies. However, the formal statements of theseinsights as logical schemata are flawed in a number of ways,including inconsistent notation that makes the intended semanticsof the logic unclear, false claims of logical consequence, anddefinitions that provably result in the triviality of some of theirproperty features. This paper makes a negative contribution, bydemonstrating these flaws in a rigorous way, but also makes apositive contribution wherever possible, by identifying theunderlying intuitions that the faulty definitions were intended tocapture, and attempting to formalize those intuitions in a moreaccurate way.