Skip navigation
Skip navigation

How many toes do I have? Parthood and number restrictions in description logics

Schroder, Lutz; Pattinson, Dirk


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. Ourmain 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...[Show more]

CollectionsANU Research Publications
Date published: 2008
Type: Conference paper
Source: Proceedings of the 11th International Conference on Principles of Knowledge Representation and Reasoning


File Description SizeFormat Image
01_Schroder_How_many_toes_do_I_have?_2008.pdf159.04 kBAdobe PDF    Request a copy

Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.

Updated:  19 May 2020/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator