Tractable Extensions of the Description Logic $\cal EL$ with Numerical Datatypes

DOI10.1007/978-3-642-14203-1_6zbMath1291.68383OpenAlexW2189940716WikidataQ56988668 ScholiaQ56988668MaRDI QIDQ5747751

Yevgeny Kazakov, Despoina Magka, Ian Horrocks

Publication date: 14 September 2010

Published in: Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-14203-1_6

zbMATH Keywords

computational complexitydescription logicdatatypes

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Related Items (2)

Tractable extensions of the description logic \({\mathcal{EL}}\) with numerical datatypes ⋮ Tractable Extensions of the Description Logic $\cal EL$ with Numerical Datatypes

Cites Work

• Unnamed Item
• The Description Logic Handbook
• Tractable Extensions of the Description Logic $\cal EL$ with Numerical Datatypes

This page was built for publication: Tractable Extensions of the Description Logic $\cal EL$ with Numerical Datatypes