Two phase description logic reasoning for efficient information retrieval

DOI10.4230/LIPICS.ICLP.2011.296MaRDI QIDQ2909176zbMATH OpenOpenAlexFDO

Authors Zsolt Zombori

Publication date 29 August 2012

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

zbMATH Keywords

description logicknowledge representation

Mathematics Subject Classification ID

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

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

Cited in

(4)

• Description Logic Reasoning in Prolog
• A plausibility description logic for handling information sources with heterogeneous data representation formats
• Prolog Based Description Logic Reasoning
• 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)