UEL: Unification Solver for the Description Logic <img src="/fulltext-image.asp?format=htmlnonpaginated&src=H6M846JL45402162_html\978-3-642-31365-3_6_Chapter_TeX2GIF_IEq1.gif" border="0" alt="$\mathcal{EL}$" /> – System Description
详细信息 查看全文
- ContentType：Book Chapter
- DOI：10.1007/978-3-642-31365-3_6
- Publisher：Springer Berlin / Heidelberg
- Author ：Bernhard Gramlich ; Dale Miller ; Uli Sattler
- PrintIssn_Isbn：978-3-642-31364-6
- SubjectCategory：Computer Science
- Copyright：2012
- SeriesParentPublication：Automated Reasoning
- Volume：7364
- Pages：=45-51