Midwinters, end games, and body parts: a classification of part-whole relations
International Journal of Human-Computer Studies - Special issue: the role of formal ontology in the information technology
Part-whole relations in object-centered systems: an overview
Data & Knowledge Engineering - Special issue on modeling parts and wholes
Description logics for conceptual data modeling
Logics for databases and information systems
Data & Knowledge Engineering
Part-Whole Relationship Categories and Their Application in Object-Oriented Analysis
IEEE Transactions on Knowledge and Data Engineering
Reasoning in Expressive Description Logics with Fixpoints based on Automata on Infinite Trees
IJCAI '99 Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence
Formalization of the Whole-Part Relationship in the Unified Modeling Language
IEEE Transactions on Software Engineering
The description logic handbook: theory, implementation, and applications
The description logic handbook: theory, implementation, and applications
The description logic handbook
On Formalization of the Whole-Part Relationship in the Unified Modeling Language
IEEE Transactions on Software Engineering
Representing composites in conceptual modeling
Communications of the ACM - Has the Internet become indispensable?
Reasoning on UML class diagrams
Artificial Intelligence
Granularity, scale and collectivity: when size does and does not matter
Journal of Biomedical Informatics - Special issue: Biomedical ontologies
Biomedical ontologies: what part-of is and isn't
Journal of Biomedical Informatics - Special issue: Biomedical ontologies
A note on the transitivity of parthood
Applied Ontology
DL-Lite: tractable description logics for ontologies
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
Computational ontologies of parthood, componenthood, and containment
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Semantic foundations of medical information systems based on top-level ontologies
Knowledge-Based Systems
Part-Whole relations in object-role models
OTM'06 Proceedings of the 2006 international conference on On the Move to Meaningful Internet Systems: AWeSOMe, CAMS, COMINF, IS, KSinBIT, MIOS-CIAO, MONET - Volume Part II
An Upper-Level Ontology for Chemistry
Proceedings of the 2008 conference on Formal Ontology in Information Systems: Proceedings of the Fifth International Conference (FOIS 2008)
The Problem of Transitivity of Part-Whole Relations in Conceptual Modeling Revisited
CAiSE '09 Proceedings of the 21st International Conference on Advanced Information Systems Engineering
Parts, Compositions and Decompositions of Functions in Engineering Ontologies
Proceedings of the 2009 conference on Formal Ontologies Meet Industry
Towards an Ontological Modeling with Dependent Types: Application to Part-Whole Relations
ER '09 Proceedings of the 28th International Conference on Conceptual Modeling
Modeling Concept Evolution: A Historical Perspective
ER '09 Proceedings of the 28th International Conference on Conceptual Modeling
Towards Ontological Correctness of Part-whole Relations with Dependent Types
Proceedings of the 2010 conference on Formal Ontology in Information Systems: Proceedings of the Sixth International Conference (FOIS 2010)
On learning subtypes of the part-whole relation: do not mix your seeds
ACL '10 Proceedings of the 48th Annual Meeting of the Association for Computational Linguistics
Dependencies between ontology design parameters
International Journal of Metadata, Semantics and Ontologies
Extracting meronymy relationships from domain-specific, textual corporate databases
NLDB'10 Proceedings of the Natural language processing and information systems, and 15th international conference on Applications of natural language to information systems
A basic characterization of relation migration
OTM'10 Proceedings of the 2010 international conference on On the move to meaningful internet systems
The use of foundational ontologies in ontology development: an empirical assessment
ESWC'11 Proceedings of the 8th extended semantic web conference on The semantic web: research and applications - Volume Part I
Ontological foundations for conceptual part-whole relations: the case of collectives and their parts
CAiSE'11 Proceedings of the 23rd international conference on Advanced information systems engineering
Assessing schizophrenia with an interoperable architecture
Proceedings of the first international workshop on Managing interoperability and complexity in health systems
Enhancing identification mechanisms in UML class diagrams with meaningful keys
Proceedings of the South African Institute of Computer Scientists and Information Technologists Conference on Knowledge, Innovation and Leadership in a Diverse, Multidisciplinary Environment
Autonomous object manipulation: a semantic-driven approach
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Three
Representing mereotopological relations in OWL ontologies with ONTOPARTS
ESWC'12 Proceedings of the 9th international conference on The Semantic Web: research and applications
Formal foundations for situation awareness based on dependent type theory
Information Fusion
Detecting and revising flaws in OWL object property expressions
EKAW'12 Proceedings of the 18th international conference on Knowledge Engineering and Knowledge Management
Object-Role Modeling: Principles and Benefits
International Journal of Information System Modeling and Design
International Journal of Information System Modeling and Design
Extraction of part-whole relations from turkish corpora
CICLing'13 Proceedings of the 14th international conference on Computational Linguistics and Intelligent Text Processing - Volume Part I
Proceedings of the 22nd ACM international conference on Conference on information & knowledge management
A type-theoretical approach for ontologies: The case of roles
Applied Ontology
Relationships and relata in ontologies and thesauri: Differences and similarities
Applied Ontology - Ontologies and Terminologies: Continuum or Dichotomy?
Hi-index | 0.00 |
Many types of part-whole relations have been proposed in the literature to aid the conceptual modeller to choose the most appropriate type, but many of those relations lack a formal specification to give clear and unambiguous semantics to them. To remedy this, a formal taxonomy of types of mereological and meronymic part-whole relations is presented that distinguishes between transitive and intransitive relations and the kind of entity types that are related. The demand to use it effectively brings afore new requirements for automated reasoning over a hierarchy of relations. To ensure logically and ontologically correct inferencing over both the class and role hierarchy, the new reasoning service RBox compatibility for Description Logics reasoners is introduced. The proposed combination of formal semantics and the new reasoning service will improve the representation of the application domain when using part-whole relations in conceptual models and ontologies.