Integrating rules and ontologies in the first-order stable model semantics (preliminary report)

DOI10.1007/978-3-642-20895-9_27MaRDI QIDQ3003263zbMATH OpenOpenAlexFDO

Authors Joohyung Lee, Ravi Palla

Publication date 26 May 2011

Published in Logic Programming and Nonmonotonic Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-20895-9_27

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic programming (68N17) Logic in artificial intelligence (68T27) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 1453070
• scientific article; zbMATH DE number 1114052
• First-order stable model semantics and first-order loop formulas
• First-order stable model semantics with intensional functions
• Stable models of formulas with generalized quantifiers (preliminary report)

Cited in

(3)

• Bringing existential variables in answer set programming and bringing non-monotony in existential rules: two sides of the same coin
• On updates of hybrid knowledge bases composed of ontologies and rules
• FLP answer set semantics without circular justifications for general logic programs

This page was built for publication: Integrating rules and ontologies in the first-order stable model semantics (preliminary report)

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