Fixed-Domain Reasoning for Description Logics

From International Center for Computational Logic

Toggle side column
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
@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}
}