Skip navigation
Skip navigation

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

Schroder, Lutz; Pattinson, Dirk

Description

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
URI: http://hdl.handle.net/1885/84479
Source: Proceedings of the 11th International Conference on Principles of Knowledge Representation and Reasoning

Download

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:  23 August 2018/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator