Fixed-Domain Reasoning for Description Logics

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

Download

Sarah Alice Gaggl, Sebastian Rudolph, Lukas Schweizer
Fixed-Domain Reasoning for Description Logics
In Maurizio Lenzerini, Rafael Peñaloza, eds., Proceedings of the 29th International Workshop on Description Logics (DL'16), volume 1577, 2016. CEUR Workshop Proceedings

Details
Bibtex

Forschungsgruppe:Research Group: Computational LogicComputational Logic, Logische Programmierung und ArgumentationLogic Programming and Argumentation

@inproceedings{GRS2016,
  author    = {Sarah Alice Gaggl and Sebastian Rudolph and Lukas Schweizer},
  title     = {Fixed-Domain Reasoning for Description Logics},
  editor    = {Maurizio Lenzerini and Rafael Pe{\~{n}}aloza},
  booktitle = {Proceedings of the 29th International Workshop on Description
               Logics (DL'16)},
  volume    = {1577},
  publisher = {CEUR Workshop Proceedings},
  year      = {2016}
}