Universität Bremen  
  FB 3  
  Group BKB > Publications > Search > Deutsch
English
 

Publications Search - Details

 
Publication type: Article in Proceedings
Author: Lutz Schröder, Dirk Pattinson
Editor: Gerhard Brewka, Jerôme Lang
Title: How Many Toes Do I Have? Parthood and Number Restrictions in Description Logics
Book / Collection title: Principles of Knowledge Representation and Reasoning (KR 2008)
Page(s): 307 – 218
Year published: 2008
Publisher: AAAI Press, Menlo Park, CA
Abstract: The modelling of parthood relations in description logics via transitive roles often leads to undecidability when combined with number restrictions and role hierarchies. Here, we introduce the description logic PHQ that explicitly supports reasoning about parthood in the presence of qualified number restrictions. Our main results are completeness and decidability in NEXPTIME. Conceptually, we argue that PHQ provides a better semantic fit for many applications: more often than not, parthoods occurring e.g. in biomedical ontologies are expected to be tree-like. In such cases, PHQ supports stronger inferences than standard description logics. Technically this is achieved by explicitly excluding the merging of descendants, which, at the same time, eliminates the prime source of undecidability. We work in the general setting of coalgebraic modal logic, a generic semantic framework for not-necessarily-normal modal logics. This added generality allows the re-use of many of our results for other logics of sometimes quite different flavour.
PDF Version: http://www.informatik.uni-bremen.de/~lschrode/papers/TreeDL.pdf
Keywords: Coalgebra modal logic description logic number restriction parthood trees
Status: Reviewed
Last updated: 26. 04. 2010

 Back to result list
 
   
Author: Automatically generated page
 
  Group BKB 
Last updated: May 9, 2023   impressum