Funder
Deutsche Forschungsgemeinschaft
Publisher
Springer Science and Business Media LLC
Reference19 articles.
1. Baader F, Brandt S, Lutz C (2005) Pushing the $${\cal{EL}}$$ envelope. In: Proceedings of the 19th int. joint conference on artificial intelligence, IJCAI, pp 364–369
2. Baader F, Horrocks I, Lutz C, Sattler U (2017) An introduction to description logic. Cambridge University Press, Cambridge
3. Bonatti PA, Faella M, Petrova IM, Sauro L (2015) A new semantics for overriding in description logics. Artif Intell 222:1–48. https://doi.org/10.1016/j.artint.2014.12.010
4. Casini G, Meyer T, Moodley K, Nortje R (2014) Relevant closure: a new form of defeasible reasoning for description logics. In: Logics in artificial intelligence—14th European conference, JELIA, pp 92–106. https://doi.org/10.1007/978-3-319-11558-0_7
5. Casini G, Meyer T, Straccia U (2018) A polynomial time subsumption algorithm for nominal safe $${\cal{ELO}}_{\bot }$$ under rational closure. Inf Sci. https://doi.org/10.1016/j.ins.2018.09.037
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献