Number Restrictions on Transitive Roles in Description Logics with Nominals

We study description logics (DLs) supporting number restrictions on transitive roles. We first take a look at SOQ and SON with binary and unary coding of numbers, and provide algorithms for the satisfiability problem and tight complexity bounds ranging from EXPTIME to NEXPTIME. We then show that by allowing for counting only up to one (functionality), inverse roles and role inclusions can be added without losing decidability. We finally investigate DLs of the DLLite- family, and show that, in the presence of role inclusions, the core fragment becomes undecidable.

[1]  Diego Calvanese,et al.  Regular Path Queries in Expressive Description Logics with Nominals , 2009, IJCAI.

[2]  Ian Horrocks,et al.  Practical Reasoning for Expressive Description Logics , 1999, LPAR.

[3]  Dirk Pattinson,et al.  How Many Toes Do I Have? Parthood and Number Restrictions in Description Logics , 2008, KR.

[4]  Boris Motik,et al.  Hypertableau Reasoning for Description Logics , 2009, J. Artif. Intell. Res..

[5]  Egor V. Kostylev,et al.  Queries with negation and inequalities over lightweight ontologies , 2015, J. Web Semant..

[6]  Boris Motik,et al.  Extending Consequence-Based Reasoning to SHIQ , 2016, Description Logics.

[7]  Yevgeny Kazakov,et al.  How Many Legs Do I Have? Non-Simple Roles in Number Restrictions Revisited , 2007, LPAR.

[8]  Stephan Tobies,et al.  Complexity results and practical algorithms for logics in knowledge representation , 2001, ArXiv.

[9]  Ian Horrocks,et al.  A Little Semantic Web Goes a Long Way in Biology , 2005, SEMWEB.

[10]  Gert Smolka,et al.  Terminating Tableaux for SOQ\mathcal{SOQ} with Number Restrictions on Transitive Roles , 2010, IFIP TCS.

[11]  Ian Horrocks,et al.  Keys, Nominals, and Concrete Domains , 2003, IJCAI.

[12]  Alan L. Rector,et al.  Ontological and Practical Issues in Using a Description Logic to Represent Medical Concept Systems: Experience from GALEN , 2006, Reasoning Web.

[13]  Yevgeny Kazakov,et al.  A Note on the Complexity of the Satisfiability Problem for Graded Modal Logics , 2009, 2009 24th Annual IEEE Symposium on Logic In Computer Science.

[14]  Diego Calvanese,et al.  The DL-Lite Family and Relations , 2009, J. Artif. Intell. Res..

[15]  Gert Smolka,et al.  Terminating Tableaux for SOQ with Number Restrictions on Transitive Roles , 2009, Description Logics.

[16]  Franz Baader,et al.  Qualifying Number Restrictions in Concept Languages , 1991, KR.

[17]  Robert Stevens,et al.  Using OWL to model biological knowledge , 2007, Int. J. Hum. Comput. Stud..

[18]  Ian Horrocks,et al.  Practical Reasoning for Very Expressive Description Logics , 2000, Log. J. IGPL.

[19]  Diego Calvanese,et al.  The Description Logic Handbook: Theory, Implementation, and Applications , 2003, Description Logic Handbook.

[20]  Franz Baader,et al.  Fusions of Description Logics and Abstract Description Systems , 2011, J. Artif. Intell. Res..

[21]  A. Chagrov,et al.  Modal Logic (Oxford Logic Guides, vol. 35) , 1997 .

[22]  Lidia Tendera.  Counting in the Two Variable Guarded Logic with Transitivity , 2005, STACS.