@bibtex{          1911.00696,
  Author        = "Bednarczyk, Bartosz",
  Abstract      = "We show that the consistency problem for Statistical EL ontologies, defined by Pe{\\textasciitilde {n}}aloza and Potyka, is ExpTime-hard. Together with existing ExpTime upper bounds, we conclude ExpTime-completeness of the logic. Our proof goes via a reduction from the consistency problem for EL extended with negation of atomic concepts.",
  comments      = "Major revision of the previous version, extra lemma provided, a few grammar corrections. Under submission to IPL",
  date-added    = "2021-03-13 09:27:33 +0100",
  date-modified = "2021-03-13 09:27:33 +0100",
  EPrint        = "arXiv:1911.00696",
  EPrintType    = "arXiv",
  Title         = "{S}tatistical {E}{L} is {E}xp{T}ime-complete",
  URL           = "http://arxiv.org/abs/1911.00696",
  Year          = "2019",
  bdsk-url-1    = "http://arxiv.org/abs/1911.00696",
  File          = "1911.00696 - g - g.pdf"
}

@bibtex{ 1911.00696, Author = "Bednarczyk, Bartosz", Abstract = "We show that the consistency problem for Statistical EL ontologies, defined by Pe{\textasciitilde {n}}aloza and Potyka, is ExpTime-hard. Together with existing ExpTime upper bounds, we conclude ExpTime-completeness of the logic. Our proof goes via a reduction from the consistency problem for EL extended with negation of atomic concepts.", comments = "Major revision of the previous version, extra lemma provided, a few grammar corrections. Under submission to IPL", date-added = "2021-03-13 09:27:33 +0100", date-modified = "2021-03-13 09:27:33 +0100", EPrint = "arXiv:1911.00696", EPrintType = "arXiv", Title = "{S}tatistical {E}{L} is {E}xp{T}ime-complete", URL = "http://arxiv.org/abs/1911.00696", Year = "2019", bdsk-url-1 = "http://arxiv.org/abs/1911.00696", File = "1911.00696 - g - g.pdf" }