Adding threshold concepts to the description logic EL

DOI10.1007/978-3-319-24246-0_3MaRDI QIDQ2964451zbMATH OpenOpenAlexFDO

Authors Franz Baader, Gerhard Brewka, Oliver Fernández Gil

Publication date 27 February 2017

Published in Frontiers of Combining Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-24246-0_3

Mathematics Subject Classification ID

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

Recommendations

• Extending the description logic \(\tau\mathcal{EL}(\deg)\) with acyclic TBoxes
• Roughening the \(\mathcal{EL}\) envelope
• Prototypical Reasoning with Low Complexity Description Logics: Preliminary Results
• Reasoning with rough description logics: An approximate concepts approach
• The complexity of fuzzy \(\mathcal{EL}\) under the Łukasiewicz t-norm

Cites work

• scientific article; zbMATH DE number 3639144 (Why is no real title available?)
• scientific article; zbMATH DE number 1936671 (Why is no real title available?)
• scientific article; zbMATH DE number 1836276 (Why is no real title available?)
• A Framework for Semantic-Based Similarity Measures for $\mathcal{ELH}$ -Concepts
• Adding threshold concepts to the description logic \(\mathcal{EL}\)
• Deduction in Concept Languages: from Subsumption to Instance Checking
• Non-standard inferences in description logics
• Similarity-based relaxed instance queries
• The instance problem and the most specific concept in the description logic \(\mathcal{EL}\) w.r.t. terminological cycles with descriptive semantics
• The limits of decidability in fuzzy description logics with general concept inclusions

Cited in

(8)

• Adding threshold concepts to the description logic \(\mathcal{EL}\)
• Extending the description logic \(\mathcal{EL}\) with threshold concepts induced by concept measures
• Complexity and scalability of defeasible reasoning with typicality in many-valued weighted knowledge bases
• Extending the description logic \(\tau\mathcal{EL}(\deg)\) with acyclic TBoxes
• Upward refinement operators for conceptual blending in the description logic \(\mathcal{EL}^{++}\)
• A preferential interpretation of multilayer perceptrons in a conditional logic with typicality
• Reasoning within fuzzy OWL 2 EL revisited
• Approximation in description logics: how weighted tree automata can help to define the required concept comparison measures in \(\mathcal {FL}_0\)

This page was built for publication: Adding threshold concepts to the description logic \(\mathcal{EL}\)

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