Computing local unifiers in the description logic EL without the top concept
Research output: Contribution to book/conference proceedings/anthology/report › Conference contribution › Contributed › peer-review
Contributors
Details
Original language | German |
---|---|
Title of host publication | Proceedings of the 25th International Workshop on Unification (UNIF’11) |
Pages | 2-8 |
Publication status | Published - 2011 |
Peer-reviewed | Yes |
External IDs
ORCID | /0000-0002-4049-221X/work/142247893 |
---|