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]
Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.