Well-founded semantics for description logic programs in the semantic web

Thomas Eiter, Giovambattista Ianni, Thomas Lukasiewicz, Roman Schindlauer. Well-founded semantics for description logic programs in the semantic web. ACM Trans. Comput. Log., 12(2):11, 2011. [doi]

@article{EiterILS11,
  title = {Well-founded semantics for description logic programs in the semantic web},
  author = {Thomas Eiter and Giovambattista Ianni and Thomas Lukasiewicz and Roman Schindlauer},
  year = {2011},
  doi = {10.1145/1877714.1877717},
  url = {http://doi.acm.org/10.1145/1877714.1877717},
  tags = {semantics, logic programming, logic, semantic web},
  researchr = {https://researchr.org/publication/EiterILS11},
  cites = {0},
  citedby = {0},
  journal = {ACM Trans. Comput. Log.},
  volume = {12},
  number = {2},
  pages = {11},
}