Two phase description logic reasoning for efficient information retrieval

DOI10.4230/LIPICS.ICLP.2011.296zbMATH Open1245.68200OpenAlexW2245766362MaRDI QIDQ2909176FDOQ2909176

Authors: Zsolt Zombori 

Publication date: 29 August 2012

Full work available at URL: http://subs.emis.de/LIPIcs/frontdoor_b43e.html

Recommendations

• Efficient description logic reasoning in Prolog: The DLog system
• Description Logic Reasoning in Prolog
• Tractable reasoning and efficient query answering in description logics: The DL-Lite family
• A Comparison of Reasoning Techniques for Querying Large Description Logic ABoxes
• scientific article; zbMATH DE number 2090284

zbMATH Keywords

description logicknowledge representation

Mathematics Subject Classification ID

Information storage and retrieval of data (68P20) Knowledge representation (68T30) Logic in artificial intelligence (68T27)

Cited In (4)

• Description Logic Reasoning in Prolog
• Prolog Based Description Logic Reasoning
• A plausibility description logic for handling information sources with heterogeneous data representation formats
• Efficient description logic reasoning in Prolog: The DLog system

This page was built for publication: Two phase description logic reasoning for efficient information retrieval

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