IDA - Intelligent Data Analysis Research Group

BibTeX Entry

@unpublished{k2006dl2,
  file = {dl2.pdf},
  category = {ida-other-docs},
  author = {Petr K{\v r}emen},
  title = {Description Logics II.},
  year = {2006},
  language = {english},
  month = {7},
  abstract = {Inference in Description Logics. A demonstration tableau algorithm can be found on http://krizik.felk.cvut.cz/Diplomovy-seminar/logika/applet/index.html},
  vvvs = {0},
}


Creative Commons License  Content on this site is licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Czech Republic License.