Tractable extensions of the description logic \({\mathcal{EL}}\) with numerical datatypes

DOI10.1007/s10817-011-9235-0zbMath1243.68275DBLPjournals/jar/MagkaKH11OpenAlexW1996497762WikidataQ56988650 ScholiaQ56988650MaRDI QIDQ438566

Despoina Magka, Yevgeny Kazakov, Ian Horrocks

Publication date: 31 July 2012

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

Full work available at URL: https://doi.org/10.1007/s10817-011-9235-0

zbMATH Keywords

computational complexitydescription logicdatatypes

Mathematics Subject Classification ID

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

Related Items (2)

Reasoning within fuzzy OWL 2 EL revisited ⋮ The incredible ELK. From polynomial procedures to efficient reasoning with \(\mathcal {EL}\) ontologies

Cites Work

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

This page was built for publication: Tractable extensions of the description logic \({\mathcal{EL}}\) with numerical datatypes