Translating OWL and semantic web rules into prolog: Moving toward description logic programs

DOI10.1017/S1471068407003249MaRDI QIDQ3506434zbMATH OpenFDO

Authors Ken Samuel, Leo Obrst, Suzette Stoutenberg, Karen Fox, Paul Franklin, Adrian Johnson, Ken Laskey, Deborah Nichols, Steve Lopez, Jason Peterson

Publication date 13 June 2008

Published in Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/S1471068407003249

zbMATH Keywords

knowledge compilationlogic programmingontologiesrulesSemantic Web

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Logic programming (68N17)

Recommendations

• Logic Programming
• Combining answer set programming with description logics for the semantic web
• On integrating rules into the semantic web
• Efficient description logic reasoning in Prolog: The DLog system
• Description Logic Reasoning in Prolog

Cited in

(8)

• Invertible bidirectional metalogical translation between Prolog and RuleML for knowledge representation and querying
• NoHR: integrating XSB Prolog with the OWL 2 profiles and beyond
• Efficient description logic reasoning in Prolog: The DLog system
• On interchange between Drools and Jess
• scientific article; zbMATH DE number 2088344 (Why is no real title available?)
• Journal on Data Semantics II
• Logic Programming
• Prolog Based Description Logic Reasoning

Describes a project that uses

Uses Software

• RuleML
• NP-SPEC
• swrl

This page was built for publication: Translating OWL and semantic web rules into prolog: Moving toward description logic programs

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