-A polynomial Time Subsumption Algorithm for Nominal Safe $ELO_\bot$ under Rational Closure (bibtex)
by Giovanni Casini, Umberto Straccia, Thomas Meyer
Reference:
-A polynomial Time Subsumption Algorithm for Nominal Safe $ELO_\bot$ under Rational Closure (Giovanni Casini, Umberto Straccia, Thomas Meyer), In Information Sciences, 2018.
Bibtex Entry:
@article{CASINI2018,
title = {-A polynomial Time Subsumption Algorithm for Nominal Safe $ELO_{\bot}$ under Rational Closure},
journal = {Information Sciences},
year = {2018},
issn = {0020-0255},
doi = {https://doi.org/10.1016/j.ins.2018.09.037},
url = { https://arxiv.org/abs/1802.08201},
author = {Giovanni Casini and Umberto Straccia and Thomas Meyer},
keywords = {Description logic EL, Defeasible reasoning, Nonmonotonic reasoning, Rational closure},
}