Prototypical Reasoning with Low Complexity Description Logics: Preliminary Results
From MaRDI portal
Publication:3643136
DOI10.1007/978-3-642-04238-6_38zbMath1258.68140WikidataQ58207614 ScholiaQ58207614MaRDI QIDQ3643136
Nicola Olivetti, Gian Luca Pozzato, Valentina Gliozzi, Laura Giordano
Publication date: 10 November 2009
Published in: Logic Programming and Nonmonotonic Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-04238-6_38
Related Items
ASP for minimal entailment in a rational extension of SROEL, A polynomial time subsumption algorithm for nominal safe \(\mathcal{ELO}_\bot\) under rational closure, A Tableau Calculus for a Nonmonotonic Extension of $\mathcal{EL}^\bot$