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

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
A Framework for Part-of Hierarchies in Terminological Logics
Linköping University, Department of Computer and Information Science. Linköping University, The Institute of Technology.
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, Morgan Kaufmann Publishers, 1994, 485-496 p.Conference paper, Published 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
Morgan Kaufmann Publishers, 1994. 485-496 p.
National Category
Computer Science
Identifiers
URN: urn:nbn:se:liu:diva-119310DOI: 10.1016/B978-1-4832-1452-8.50140-8ISI: A1994BB13G00043ISBN: 1-55860-328-X (print)OAI: oai:DiVA.org:liu-119310DiVA: diva2:820780
Conference
Principles of Knowledge Representation and Reasoning - Proceedings of the Fourth International Conference - KR 94, May 24-27, Bonn, Germany
Available from: 2015-06-12 Created: 2015-06-12 Last updated: 2016-12-08Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full text

Search in DiVA

By author/editor
Padgham, LinLambrix, Patrick
By organisation
Department of Computer and Information ScienceThe Institute of TechnologyDatabase and information techniquesFaculty of Science & Engineering
Computer Science

Search outside of DiVA

GoogleGoogle Scholar

Altmetric score

Total: 19 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf