Title | Nominal Schemas for Integrating Rules and Description Logics |
Publication Type | Conference Papers |
Year of Publication | 2011 |
Authors | Krötzsch, M, Maier, F, Krisnadhi, A, Hitzler, P |
Editor | Rosati, R, Rudolph, S, Zakharyaschev, M |
Conference Name | Proceedings of the 24th International Workshop on Description Logics (DL 2011), Barcelona, Spain, July 13-16, 2011 |
Volume | 745 |
Date Published | 07/2011 |
Publisher | CEUR-WS.org |
Abstract | We propose an extension of SROIQ with nominal schemas which can be used like “variable nominal concepts” within axioms. This feature allows us to express arbitrary DL-safe rules in description logic |
URL | http://ceur-ws.org/Vol-745/paper_39.pdf |
Refereed Designation | Refereed |