| 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 |