David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Ezio Di Nucci
Jack Alan Reynolds
Learn more about PhilPapers
Applied Ontology 3 (1-2):91-110 (2008)
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.
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
No references found.
Citations of this work BETA
Pieter E. Vermaas, Dingmar Eck & Peter Kroes (2013). The Conceptual Elusiveness of Engineering Functions. [REVIEW] Philosophy and Technology 26 (2):159-185.
Similar books and articles
Jesse Hughes, Peter Kroes & Sjoerd Zwart (2007). A Semantics for Means-End Relations. Synthese 158 (2):207 - 231.
Shannon A. Bowen (2010). An Overview of the Public Relations Function. Business Expert Press.
Barry Smith & Pierre Grenon (2004). The Cornucopia of Formal-Ontological Relations. Dialectica 58 (3):279–296.
Satoshi Tojo & Katsumi Nitta (1997). Similarity of Legal Cases: From Temporal Relations of Affairs. [REVIEW] Artificial Intelligence and Law 5 (1-2):161-176.
Joop Leo (2008). Modeling Relations. Journal of Philosophical Logic 37 (4):353 - 385.
O. Arieli & A. Avron (2000). General Patterns for Nonmonotonic Reasoning: From Basic Entailments to Plausible Relations. Logic Journal of the IGPL 8 (2):119-148.
Added to index2009-01-28
Total downloads228 ( #12,032 of 1,911,320 )
Recent downloads (6 months)48 ( #12,806 of 1,911,320 )
How can I increase my downloads?