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

DOI10.13328/J.CNKI.JOS.004403MaRDI QIDQ2926862zbMATHFDO

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

Publication date 3 November 2014

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

zbMATH Keywords

description logicfixed-point semanticsordered binary decision diagramterminological cyclesconcept subsumption

Mathematics Subject Classification ID

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

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

Cited in

(2)

• 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

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)