Title | A Tableau Algorithm for Description Logics with Nominal Schemas |
Publication Type | Conference Papers |
Year of Publication | 2012 |
Authors | Krisnadhi, A, Hitzler, P |
Editor | Krötzsch, M, Straccia, U |
Conference Name | Web Reasoning and Rule Systems, 6th International Conference, RR2012, Vienna, Austria, September 10-12, 2012, Proceedings |
Volume | 7497 |
Pagination | 234-237 |
Date Published | 09/2012 |
Publisher | Springer |
Abstract | We present a tableau algorithm for the description logic ALCOV. This description logic is obtained by extending the description logic ALCO with the expressive nominal schema construct that enables DL-safe datalog with predicates of arbitrary arity to be covered within the description logic framework. The tableau algorithm provides a basis to implement a delayed grounding strategy which was not facilitated by earlier versions of decision procedures for satisfiability in expressive description logics with nominal schemas. |
DOI | 10.1007/978-3-642-33203-6_22 |
Refereed Designation | Refereed |