From Horn-SRIQ to Datalog: A Data-Independent Transformation that Preserves Assertion Entailment
From International Center for Computational Logic
From Horn-SRIQ to Datalog: A Data-Independent Transformation that Preserves Assertion Entailment
David CarralDavid Carral, Larry GonzálezLarry González, Patrick KoopmannPatrick Koopmann
David Carral, Larry González, Patrick Koopmann
From Horn-SRIQ to Datalog: A Data-Independent Transformation that Preserves Assertion Entailment
In Mantas Simkus, Grant E. Weddell, eds., Proceedings of the 32st International Workshop on Description Logics (DL 2019), volume 2373 of CEUR Workshop Proceedings, June 2019. CEUR-WS.org
From Horn-SRIQ to Datalog: A Data-Independent Transformation that Preserves Assertion Entailment
In Mantas Simkus, Grant E. Weddell, eds., Proceedings of the 32st International Workshop on Description Logics (DL 2019), volume 2373 of CEUR Workshop Proceedings, June 2019. CEUR-WS.org
- Bemerkung: Note: This is an extended abstract of the full AAAI 2019 publication available at https://iccl.inf.tu-dresden.de/web/Inproceedings3199/en.
- Projekt:Project: CPEC, DIAMOND, HAEC B08, Cfaed
- Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory, Wissensbasierte SystemeKnowledge-Based Systems
@inproceedings{CGK2019,
author = {David Carral and Larry Gonz{\'{a}}lez and Patrick Koopmann},
title = {From Horn-SRIQ to Datalog: A Data-Independent Transformation that
Preserves Assertion Entailment},
editor = {Mantas Simkus and Grant E. Weddell},
booktitle = {Proceedings of the 32st International Workshop on Description
Logics (DL 2019)},
series = {CEUR Workshop Proceedings},
volume = {2373},
publisher = {CEUR-WS.org},
year = {2019},
month = {June}
}