Description Logic Reasoning in Prolog

DOI10.1007/11799573_50MaRDI QIDQ5449646zbMATH OpenOpenAlexFDO

Authors Gergely Lukácsy

Publication date 11 March 2008

Published in Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11799573_50

Mathematics Subject Classification ID

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

Recommendations

• Efficient description logic reasoning in Prolog: The DLog system
• Prolog Based Description Logic Reasoning
• Two phase description logic reasoning for efficient information retrieval
• scientific article; zbMATH DE number 1531967
• scientific article; zbMATH DE number 2090284

Cited in

(14)

• Automated deduction techniques for classification in description logic systems
• A plausibility description logic for handling information sources with heterogeneous data representation formats
• Invertible bidirectional metalogical translation between Prolog and RuleML for knowledge representation and querying
• Finding good proofs for description logic entailments using recursive quality measures
• ABox abduction in the description logic \(\mathcal{ALC}\)
• Two phase description logic reasoning for efficient information retrieval
• Intelligent data retrieval in prolog: An illuminating idea
• Efficient description logic reasoning in Prolog: The DLog system
• Translating OWL and semantic web rules into prolog: Moving toward description logic programs
• A parallel deduction for description logics with \(\mathcal{ALC}\) language
• A genetic algorithm for optimization of a relational knapsack problem with respect to a description logic knowledge base
• Rough Pragmatic Description Logic
• Logic Programming and Nonmonotonic Reasoning
• Prolog Based Description Logic Reasoning

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

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