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

Details
Bibtex

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}
}