OBDD-based reasoning for terminological cycles of the description logic EL

DOI10.13328/J.CNKI.JOS.004403zbMATH Open1313.68215MaRDI QIDQ2926862FDOQ2926862

Authors: Tianlong Gu, Sijing Lü, Liang Chang, Zhoubo Xu 

Publication date: 3 November 2014

Published in: Journal of Software (Search for Journal in Brave)

Recommendations

• Satisfiability and reasoning mechanism of terminological cycles in description logic \(v\mathcal L\)
• Type-elimination-based reasoning for the description logic \(\mathcal {SHIQ}b_s\) using decision diagrams and disjunctive Datalog
• scientific article; zbMATH DE number 2080240
• The instance problem and the most specific concept in the description logic \(\mathcal{EL}\) w.r.t. terminological cycles with descriptive semantics
• Description Logics

zbMATH Keywords

description logicfixed-point semanticsordered binary decision diagramterminological cyclesconcept subsumption

Mathematics Subject Classification ID

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

Cited In (2)

• Type-elimination-based reasoning for the description logic \(\mathcal {SHIQ}b_s\) using decision diagrams and disjunctive Datalog
• Satisfiability and reasoning mechanism of terminological cycles in description logic \(v\mathcal L\)

This page was built for publication: OBDD-based reasoning for terminological cycles of the description logic \(\mathcal{EL}\)

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