Intelligent tableau algorithm for DL reasoning

DOI10.1007/978-3-642-40537-2_23MaRDI QIDQ2851951zbMATH OpenOpenAlexFDO

Authors Ming Zuo, Volker Haarslev

Publication date 4 October 2013

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-40537-2_23

zbMATH Keywords

learningdescription logicautomated reasoningforgetting

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Logic in artificial intelligence (68T27)

Recommendations

• Optimizing terminological reasoning for expressive description logics
• Hypertableau reasoning for description logics
• Optimized Reasoning in Description Logics Using Hypertableaux
• scientific article; zbMATH DE number 1612535
• A Refinement Operator Based Learning Algorithm for the $\mathcal{ALC}$ Description Logic

Cited in

(3)

• LIGHT
• Optimizing terminological reasoning for expressive description logics
• Optimising fuzzy description logic reasoners with general concept inclusion absorption

Describes a project that uses

Uses Software

• SATLIB Benchmark Suite
• Racer
• FaCT++
• Pellet

This page was built for publication: Intelligent tableau algorithm for DL reasoning

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