Extending the description logic () with acyclic TBoxes

DOI10.3233/978-1-61499-672-9-1096MaRDI QIDQ4576238zbMATH OpenFDO

Authors Franz Baader, Oliver Fernández Gil

Publication date 12 July 2018

Full work available at URL https://doi.org/10.3233/978-1-61499-672-9-1096

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Recommendations

• Adding threshold concepts to the description logic \(\mathcal{EL}\)
• scientific article; zbMATH DE number 1405451
• Roughening the \(\mathcal{EL}\) envelope
• Prototypical Reasoning with Low Complexity Description Logics: Preliminary Results
• The complexity of fuzzy \(\mathcal{EL}\) under the Łukasiewicz t-norm

Cited in

(6)

• Reasoning within fuzzy OWL 2 EL revisited
• Adding threshold concepts to the description logic \(\mathcal{EL}\)
• scientific article; zbMATH DE number 1765662 (Why is no real title available?)
• Matching in the Description Logic FL0 with respect to General TBoxes
• Efficient TBox Reasoning with Value Restrictions using the wer Reasoner
• Extending the description logic \(\mathcal{EL}\) with threshold concepts induced by concept measures

This page was built for publication: Extending the description logic \(\tau\mathcal{EL}(\deg)\) with acyclic TBoxes

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