SAT Encoding of Unification in ELHR+ w.r.t. Cycle-Restricted Ontologies
Research output: Contribution to book/conference proceedings/anthology/report › Conference contribution › Contributed › peer-review
Contributors
Details
Original language | English |
---|---|
Title of host publication | Automated Reasoning |
Publisher | Springer, Berlin [u. a.] |
Pages | 30-44 |
Number of pages | 15 |
ISBN (print) | 978-3-642-31364-6 |
Publication status | Published - 2012 |
Peer-reviewed | Yes |
Publication series
Series | Lecture Notes in Computer Science, Volume 7364 |
---|---|
ISSN | 0302-9743 |
External IDs
Scopus | 84863614540 |
---|---|
ORCID | /0000-0002-4049-221X/work/142247854 |