Invertible bidirectional metalogical translation between Prolog and RuleML for knowledge representation and querying

DOI10.1007/978-3-030-57977-7_8zbMATH Open1478.68368OpenAlexW3057900685MaRDI QIDQ1995448FDOQ1995448

Authors: Mark Thom, Harold Boley, Theodoros Mitsikas 

Publication date: 23 February 2021

Full work available at URL: https://doi.org/10.1007/978-3-030-57977-7_8

Recommendations

• Translating OWL and semantic web rules into prolog: Moving toward description logic programs
• Description Logic Reasoning in Prolog
• scientific article; zbMATH DE number 1964811
• scientific article; zbMATH DE number 1735900
• An Environment for Specifying Properties of Dyadic Relations and Reasoning About Them II: Relational Presentation of Non-classical Logics

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic programming (68N17) Logic in artificial intelligence (68T27)

This page was built for publication: Invertible bidirectional metalogical translation between Prolog and RuleML for knowledge representation and querying

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