From Horn-SRIQ to datalog: A data-independent transformation that preserves assertion entailment

David Carral, Larry Gonzalez, Patrick Koopmann

Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review

Original languageEnglish
Title of host publicationDL 2019 International Workshop on Description Logics
Subtitle of host publicationProceedings of the 32nd International Workshop on Description Logics Oslo, Norway, June 18-21, 2019
EditorsM. Simkus, G. Weddell
PublisherCEUR-WS
Pages1-3
Number of pages3
Publication statusPublished - 2019
Externally publishedYes
Event32nd International Workshop on Description Logics, DL 2019 - Oslo, Norway
Duration: 18 Jun 2019 → 21 Jun 2019

Publication series

NameCEUR Workshop Proceedings
PublisherCEUR Workshop Proceedings
Volume2373
ISSN (Print)1613-0073

Conference

Conference32nd International Workshop on Description Logics, DL 2019
Country/TerritoryNorway
CityOslo
Period18/06/19 → 21/06/19

Funding

Acknolwedgements. The first two authors are funded by Deutsche Forschungs-gemeinschaft in project number 389792660 (TRR 248, Center for Perspicuous Systems) and Emmy Noether grant KR 4381/1-1 (DIAMOND). The third author is funded by DFG in the CRC 912 (HAEC).

FundersFunder number
Deutsche Forschungs-gemeinschaftTRR 248
HAEC
Deutsche ForschungsgemeinschaftKR 4381/1-1, 389792660

    Access to Document

    Persistent URL (handle)

    Other files and links

    • 1 Conference contribution

    • From horn-SRIQ to datalog: A data-independent transformation that preserves assertion entailment

      Carral, D., González, L. & Koopmann, P., 2019, AAAI-19, IAAI-19, EAAI-20: The Thirty-Third AAAI Conference on Artificial Intelligence The Thirty-First Conference on Innovative Applications of Artificial Intelligence The Ninth Symposium on Educational Advances in Artificial Intelligence Sponsored by the Association for the Advancement of Artificial Intelligence January 27 – February 1, 2019, Honolulu, Hawaii, USA. AAAI Press, Vol. 1. p. 2736-2743 (Proceedings of AAAI Conference on Artificial Intelligence; vol. 33, no. 01).

      Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review

    Cite this