From Horn-SRIQ to Datalog: A Data-Independent Transformation that Preserves Assertion Entailment (Abstract)
Research output: Contribution to book/conference proceedings/anthology/report › Conference contribution › Contributed › peer-review
Contributors
Details
Original language | English |
---|---|
Title of host publication | Proceedings of the 32nd International Workshop on Description Logics (DL 2019) |
Publication status | Published - 2019 |
Peer-reviewed | Yes |