Title | A Resolution Procedure for Description Logics with Nominal Schemas |
Publication Type | Conference Papers |
Year of Publication | 2012 |
Authors | Wang, C, Hitzler, P |
Conference Name | Semantic Technology, Second Joint International Conference, JIST 2012, Nara, Japan, December 2-4, 2012. Proceedings |
Pagination | 1–16 |
URL | http://dx.doi.org/10.1007/978-3-642-37996-3_1 |
DOI | 10.1007/978-3-642-37996-3_1 |