Semantics and Reasoning Algorithms for a Faithful Integration of Description Logics and Rules

Boris Motik. Semantics and Reasoning Algorithms for a Faithful Integration of Description Logics and Rules. In Diego Calvanese, Georg Lausen, editors, Web Reasoning and Rule Systems, Second International Conference, RR 2008, Karlsruhe, Germany, October 31-November 1, 2008. Proceedings. Volume 5341 of Lecture Notes in Computer Science, pages 12, Springer, 2008. [doi]

@inproceedings{Motik08,
  title = {Semantics and Reasoning Algorithms for a Faithful Integration of Description Logics and Rules},
  author = {Boris Motik},
  year = {2008},
  doi = {10.1007/978-3-540-88737-9_2},
  url = {http://dx.doi.org/10.1007/978-3-540-88737-9_2},
  tags = {semantics, rule-based, rules, logic},
  researchr = {https://researchr.org/publication/Motik08},
  cites = {0},
  citedby = {0},
  pages = {12},
  booktitle = {Web Reasoning and Rule Systems, Second International Conference, RR 2008, Karlsruhe, Germany, October 31-November 1, 2008. Proceedings},
  editor = {Diego Calvanese and Georg Lausen},
  volume = {5341},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-88736-2},
}