From Horn-SRIQ to Datalog: A Data-Independent Transformation that Preserves Assertion Entailment
Research output: Contribution to book/conference proceedings/anthology/report › Conference contribution › Contributed › peer-review
Contributors
Details
Original language | English |
---|---|
Title of host publication | The Thirty-Third AAAI Conference on Artificial Intelligence, AAAI 2019 |
Pages | 2736-2743 |
Number of pages | 8 |
Publication status | Published - 2019 |
Peer-reviewed | Yes |