Extending Unification in EL Towards General 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 Thirteenth International Conference on Principles of Knowledge Representation and Reasoning (KR'12) |
Pages | 568-572 |
Number of pages | 5 |
Publication status | Published - 2012 |
Peer-reviewed | Yes |
External IDs
ORCID | /0000-0002-4049-221X/work/142247875 |
---|
Keywords
Keywords
- Unification, Description Logics