References & Citations
Computer Science > Logic in Computer Science
Title: Statistical EL is ExpTime-complete
(Submitted on 2 Nov 2019 (v1), last revised 5 Mar 2021 (this version, v5))
Abstract: We show that the consistency problem for Statistical EL ontologies, defined by Pe{\~{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.
Submission history
From: Bartosz Bednarczyk [view email][v1] Sat, 2 Nov 2019 11:17:42 GMT (77kb,D)
[v2] Fri, 31 Jul 2020 17:22:06 GMT (77kb,D)
[v3] Wed, 21 Oct 2020 18:48:14 GMT (77kb,D)
[v4] Wed, 3 Mar 2021 11:19:59 GMT (76kb,D)
[v5] Fri, 5 Mar 2021 13:22:38 GMT (76kb,D)
Link back to: arXiv, form interface, contact.