Practical Fixed-Domain Reasoning for Description Logics - Extended Abstract
Aus International Center for Computational Logic
Practical Fixed-Domain Reasoning for Description Logics - Extended Abstract
Sarah Alice GagglSarah Alice Gaggl, Sebastian RudolphSebastian Rudolph, Lukas SchweizerLukas Schweizer
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
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
- 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}
}