Practical Fixed-Domain Reasoning for Description Logics - Extended Abstract

Sarah Alice GagglSarah Alice Gaggl, Sebastian RudolphSebastian Rudolph, Lukas SchweizerLukas Schweizer

Download

Sarah Alice Gaggl, Sebastian Rudolph, Lukas Schweizer
Practical Fixed-Domain Reasoning for Description Logics - Extended Abstract
In Juan L. Reutter, Divesh Srivastava, eds., Proceedings of the 11th Alberto Mendelzon International Workshop on Foundations of Data Management and the Web, Montevideo, Uruguay, June 7-9, 2017, volume 1912 of CEUR Workshop Proceedings, June 2017. CEUR-WS.org

Details
Bibtex

Weitere Informationen unter:Further Information: Link
Forschungsgruppe:Research Group: Computational LogicComputational Logic, Logische Programmierung und ArgumentationLogic Programming and Argumentation

@inproceedings{GRS2017,
  author    = {Sarah Alice Gaggl and Sebastian Rudolph and Lukas Schweizer},
  title     = {Practical Fixed-Domain Reasoning for Description Logics -
               Extended Abstract},
  editor    = {Juan L. Reutter and Divesh Srivastava},
  booktitle = {Proceedings of the 11th Alberto Mendelzon International Workshop
               on Foundations of Data Management and the Web, Montevideo,
               Uruguay, June 7-9, 2017},
  series    = {CEUR Workshop Proceedings},
  volume    = {1912},
  publisher = {CEUR-WS.org},
  year      = {2017},
  month     = {June}
}