Tractable extensions of the description logic EL with numerical datatypes

DOI10.1007/S10817-011-9235-0MaRDI QIDQ438566zbMATH OpenOpenAlexDBLPWikidataFDO

Authors 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

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

Recommendations

• Tractable extensions of the description logic \(\mathcal{EL}\) with numerical datatypes
• Data Complexity in the $\mathcal{EL}$ Family of Description Logics
• Islands of tractability for relational constraints: towards dichotomy results for the description logic \({\mathcal{EL}}\)
• Conservative Extensions in the Lightweight Description Logic $\mathcal{EL}$
• The incredible ELK. From polynomial procedures to efficient reasoning with \(\mathcal {EL}\) ontologies

Cites work

• scientific article; zbMATH DE number 2196595 (Why is no real title available?)
• Locality and subsumption testing in \({\mathcal{EL}}\) and some of its extensions
• The Description Logic Handbook
• Tractable extensions of the description logic \(\mathcal{EL}\) with numerical datatypes

Cited in

(6)

• Conservative Extensions in the Lightweight Description Logic $\mathcal{EL}$
• Islands of tractability for relational constraints: towards dichotomy results for the description logic \({\mathcal{EL}}\)
• Tractable extensions of the description logic \(\mathcal{EL}\) with numerical datatypes
• Reasoning within fuzzy OWL 2 EL revisited
• Data Complexity in the $\mathcal{EL}$ Family of Description Logics
• The incredible ELK. From polynomial procedures to efficient reasoning with \(\mathcal {EL}\) ontologies

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q438566)