Combining rules and ontologies via parametrized logic programs

Research output: Contribution to journalArticle

Abstract

Parametrized logic programs are very expressive logic programs that generalize normal logic programs under the stable model semantics, by allowing complex formulas of a parameter logic to appear in the body and head of rules. In this paper we explore the use of description logics as parameter logics, and show the expressivity of this framework for combining rules and ontologies.

Original languageEnglish
JournalCEUR Workshop Proceedings
Volume1517
Publication statusPublished - 2015

Keywords

  • Artificial intelligence
  • Data description
  • Logic programming
  • Reconfigurable hardware
  • Semantics
  • Combining rules
  • Description logic
  • Logic programs
  • Stable model semantics

Fingerprint Dive into the research topics of 'Combining rules and ontologies via parametrized logic programs'. Together they form a unique fingerprint.

Cite this