Prolog Based Description Logic Reasoning

DOI10.1007/978-3-540-89982-2_40MaRDI QIDQ5504674zbMATH OpenOpenAlexFDO

Authors Gergely Lukácsy, Péter Szeredi, Balázs Kádár

Publication date 22 January 2009

Published in Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-89982-2_40

zbMATH Keywords

description logiclarge data setslogic programmingresolution

Mathematics Subject Classification ID

Logic programming (68N17) Logic in artificial intelligence (68T27)

Recommendations

• Efficient description logic reasoning in Prolog: The DLog system
• Description Logic Reasoning in Prolog
• Two phase description logic reasoning for efficient information retrieval
• Reasoning in description logics by a reduction to disjunctive datalog
• A Comparison of Reasoning Techniques for Querying Large Description Logic ABoxes

Cites work

• A Prolog technology theorem prover: A new exposition and implementation in Prolog
• Deciding expressive description logics in the framework of resolution
• Efficient description logic reasoning in Prolog: The DLog system
• Translating OWL and semantic web rules into prolog: Moving toward description logic programs
• Two phase description logic reasoning for efficient information retrieval

Cited in

(3)

• Efficient description logic reasoning in Prolog: The DLog system
• Rough Pragmatic Description Logic
• Description Logic Reasoning in Prolog

Describes a project that uses

Uses Software

• DLog

This page was built for publication: Prolog Based Description Logic Reasoning

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