From Horn-SRIQ to Datalog: A Data-Independent Transformation that Preserves Assertion Entailment

From International Center for Computational Logic

Toggle side column

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