SAT Encoding of Unification in <img src="/fulltext-image.asp?format=htmlnonpaginated&src=J062566J4383208M_html\978-3-642-31365-3_5_Chapter_TeX2GIF_IEq1.gif" border="0" alt="$\mathcal{ELH}_{{R}^+}$" /> w.r.t. Cycle-Restricted Ontologies
详细信息 查看全文
- ContentType：Book Chapter
- DOI：10.1007/978-3-642-31365-3_5
- 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：=30-44