A Sound and Complete Backward Chaining Algorithm for Existential Rules

Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review

Contributors

  • Mélanie König - (Author)
  • Michel Leclère - (Author)
  • Marie-Laure Mugnier - (Author)
  • Michaël Thomazo - , Chair of Computational Logic (Author)

Details

Original languageEnglish
Title of host publicationProceedings of the 6th International Conference on Web Reasoning and Rule Systems (RR 2012)
PublisherSpringer Open
Pages122-138
Number of pages17
Publication statusPublished - 2012
Peer-reviewedYes

External IDs

Scopus 85006841280