How many toes do I have? Parthood and number restrictions in description logics
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]
|Collections||ANU Research Publications|
|Source:||Proceedings of the 11th International Conference on Principles of Knowledge Representation and Reasoning|
|01_Schroder_How_many_toes_do_I_have?_2008.pdf||159.04 kB||Adobe PDF||Request a copy|
Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.