Existence assumptions in knowledge representation
Artificial Intelligence - Special issue on knowledge representation
Data & Knowledge Engineering - Special issue on linguistic instruments in knowledge engineering (LIKE)
Maintenance Support for Object-Oriented Programs
IEEE Transactions on Software Engineering - Special issue on software maintenance
On the representation of roles in object-oriented and conceptual modelling
Data & Knowledge Engineering
Roles and Dynamic Subclasses: A Modal Logic Approach
ECOOP '94 Proceedings of the 8th European Conference on Object-Oriented Programming
Ontological analysis of taxonomic relationships
ER'00 Proceedings of the 19th international conference on Conceptual modeling
Sweetening Ontologies with DOLCE
EKAW '02 Proceedings of the 13th International Conference on Knowledge Engineering and Knowledge Management. Ontologies and the Semantic Web
Some Ontology Engineering Processes and Their Supporting Technologies
EKAW '02 Proceedings of the 13th International Conference on Knowledge Engineering and Knowledge Management. Ontologies and the Semantic Web
Language and Commonsense Knowledge
AI '01 Proceedings of the 14th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
Towards an Ontology of Part-of
AI '01 Proceedings of the 14th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
OntoEdit: Guiding Ontology Development by Methodology and Inferencing
On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002
Characterising Concept's Properties in Ontologies
AI*IA 01 Proceedings of the 7th Congress of the Italian Association for Artificial Intelligence on Advances in Artificial Intelligence
ESWC '07 Proceedings of the 4th European conference on The Semantic Web: Research and Applications
Acquisition of OWL DL Axioms from Lexical Resources
ESWC '07 Proceedings of the 4th European conference on The Semantic Web: Research and Applications
An Upper Level Ontological Model for Engineering Design Performance Domain
ER '08 Proceedings of the 27th International Conference on Conceptual Modeling
Towards a Methodology to Conceptualize the Geographic Domain
MICAI '08 Proceedings of the 7th Mexican International Conference on Artificial Intelligence: Advances in Artificial Intelligence
Ontological Engineering for Practical Knowledge Work
KES '07 Knowledge-Based Intelligent Information and Engineering Systems and the XVII Italian Workshop on Neural Networks on Proceedings of the 11th International Conference
The Ontological Level: Revisiting 30 Years of Knowledge Representation
Conceptual Modeling: Foundations and Applications
Concept Formation in Linguistic Ontologies
ICCS '09 Proceedings of the 17th International Conference on Conceptual Structures: Conceptual Structures: Leveraging Semantic Technologies
A Hybrid System Combining Description Logics and Rules for Inventive Design
KES '09 Proceedings of the 13th International Conference on Knowledge-Based and Intelligent Information and Engineering Systems: Part I
Towards a Semantic Representation of Raster Spatial Data
GeoS '09 Proceedings of the 3rd International Conference on GeoSpatial Semantics
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
An ontology-driven system for detecting global health events
COLING '10 Proceedings of the 23rd International Conference on Computational Linguistics
Encoded descriptions at face value
Proceedings of the 73rd ASIS&T Annual Meeting on Navigating Streams in an Information Ecosystem - Volume 47
Ontology engineering from a database perspective
ASIAN'05 Proceedings of the 10th Asian Computing Science conference on Advances in computer science: data management on the web
Automatic evaluation of ontologies (AEON)
ISWC'05 Proceedings of the 4th international conference on The Semantic Web
SAFECOMP'06 Proceedings of the 25th international conference on Computer Safety, Reliability, and Security
Content-Oriented knowledge modeling for automated parts library ontology merging
CSCWD'05 Proceedings of the 9th international conference on Computer Supported Cooperative Work in Design II
Identity conditions for ontological analysis
KSEM'06 Proceedings of the First international conference on Knowledge Science, Engineering and Management
Ontological metamodeling with explicit instantiation
SLE'09 Proceedings of the Second international conference on Software Language Engineering
GeoS'05 Proceedings of the First international conference on GeoSpatial Semantics
Applied Ontology - Is there Beauty in Ontologies?
AEON - An approach to the automatic evaluation of ontologies
Applied Ontology - Ontological Foundations of Conceptual Modelling
Text analysis for ontology and terminology engineering
Applied Ontology
Conceptual modeling with processes
Proceedings of the Winter Simulation Conference
Towards a core ontology for robotics and automation
Robotics and Autonomous Systems
A type-theoretical approach for ontologies: The case of roles
Applied Ontology
| Hi-index | 0.00 |
A common problem of ontologies is that their taxonomic structure is often poor and confusing. This is typically exemplified by the unrestrained use of subsumption to accomplish a variety of tasks. In this paper we show how a formal ontology of unary properties can help using the subsumption relation in a disciplined way. This formal ontology is based on some meta-properties built around the fundamental philosophical notions of identity, unity, essence, and dependence. These meta-properties impose some constraints on the subsumption relation that clarify many misconceptions about taxonomies, facilitating their understanding, comparison and integration.