Stable model semantics for guarded existential rules and description logics

Gottlob, Georg and Hernich, Andre and Kupke, Clemens and Lukasiewicz, Thomas; Baral, Chitta and De Giacomo, Giuseppe and Eiter, Thomas, eds. (2014) Stable model semantics for guarded existential rules and description logics. In: Principles of Knowledge Representation and Reasoning. Association for the Advancement of Artificial Intelligence (AAAI), 258−267. ISBN 9781577356578

Abstract

We tackle a long-standing open research problem and prove the decidability of query answering under the stable models semantics for guarded existential rules, where rule bodies may contain negated atoms, and provide complexity results. The results extend to guarded Datalog± with negation, and thus provide a natural and decidable stable model semantics to description logics such as ELHI and DL-LiteR.

• Share and Export
  

  RDF+XMLBibTeXRIOXX2 XMLRDF+N-TriplesJSONDublin CoreAtomSimple MetadataReferMETSHTML CitationASCII CitationOpenURL ContextObjectEndNoteOpenURL ContextObject in SpanMODSMPEG-21 DIDLEP3 XMLData Cite XMLRIS (EndNote Online, Zotero, Ref manager, etc)RDF+N3Multiline CSV
• Item metadata

  Item type:	Book Section
  ID code:	51280
  Dates:	Date Event July 2014 Published
  Subjects:	Science > Mathematics > Electronic computers. Computer science
  Department:	Faculty of Science > Computer and Information Sciences
  Depositing user:	Pure Administrator
  Date deposited:	27 Jan 2015 11:32
  Last modified:	08 Apr 2024 13:16
  Related URLs:	Publisher
  URI:	https://strathprints.strath.ac.uk/id/eprint/51280