Prototypical Reasoning with Low Complexity Description Logics: Preliminary Results

DOI10.1007/978-3-642-04238-6_38zbMath1258.68140OpenAlexW1731895280WikidataQ58207614 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

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Related Items (3)

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$

This page was built for publication: Prototypical Reasoning with Low Complexity Description Logics: Preliminary Results