Title | Absorption for ABoxes and TBoxes With General Value Restrictions |
Publication Type | Conference Paper |
Year of Publication | 2015 |
Authors | Wu, J., T. Kinash, D. Toman, and G. Weddell |
Conference Name | Australian Joint Conference on Artificial Intelligence (AUS-AI) |
DOI | 10.1007/978-3-319-26350-2_54 |