Towards Practical Uniform Interpolation and Forgetting for~ALC TBoxes
Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review
Contributors
Details
Original language | English |
---|---|
Title of host publication | Proceedings of the 26th International Workshop on Description Logics (DL-2013) |
Pages | 377-389 |
Number of pages | 13 |
Publication status | Published - 2013 |
Peer-reviewed | Yes |
Publication series
Series | CEUR Workshop Proceedings |
---|---|
Volume | 1014 |
ISSN | 1613-0073 |