liu.seSearch for publications in DiVA
Change search
ReferencesLink to record
Permanent link

Direct link
A Framework for Part-of Hierarchies in Terminological Logics
Linköping University, Department of Computer and Information Science.
Linköping University, Department of Computer and Information Science, Database and information techniques. Linköping University, Faculty of Science & Engineering. (IDA/ADIT)ORCID iD: 0000-0002-9084-0470
1994 (English)In: Principles of Knowledge Representation and Reasoning - Proceedings of the Fourth International Conference - KR 94, 1994, 485-496 p.Conference paper (Refereed)
Abstract [en]

There is a growing recognition that part-whole hierarchies are a very general form of representation, widely used by humans in commonsense reasoning. This paper develops a terminological logic, and related inference mechanisms for representing and reasoning about composite concepts and individuals. A basic terminological logic language is extended with constructs for describing composite concepts in terms of their parts and the relationships between them. A part-of hierarchy is defined, based on the relationship of compositional inclusion. This part-of hierarchy is analogous to, but different from, the “is-a” hierarchy. Compositional inferencing is defined as a process which infers the existence of a whole, based on the existence of the required parts, where the parts are in the necessary relationship to each other. Three stable states are defined with respect to compositional inferencing - compositional extensions, credulous compositional extensions and skeptical compositional conclusions. This framework significantly enhances and is complementary to, knowledge representation and reasoning based on is-a hierarchies.

Place, publisher, year, edition, pages
1994. 485-496 p.
National Category
Computer Science
Identifiers
URN: urn:nbn:se:liu:diva-119310DOI: 10.1016/B978-1-4832-1452-8.50140-8ISBN: 978-1-4832-1452-8OAI: oai:DiVA.org:liu-119310DiVA: diva2:820780
Conference
Principles of Knowledge Representation and Reasoning - Proceedings of the Fourth International Conference - KR 94
Available from: 2015-06-12 Created: 2015-06-12 Last updated: 2015-07-01

Open Access in DiVA

No full text

Other links

Publisher's full text

Search in DiVA

By author/editor
Lambrix, Patrick
By organisation
Department of Computer and Information ScienceDatabase and information techniquesFaculty of Science & Engineering
Computer Science

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Altmetric score

Total: 9 hits
ReferencesLink to record
Permanent link

Direct link