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

DOI10.1007/978-3-642-20895-9_27zbMATH Open1327.68065OpenAlexW2143893406MaRDI QIDQ3003263FDOQ3003263

Ravi Palla, Joohyung Lee

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

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)

Mathematics Subject Classification ID

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

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)