Combining rules and ontologies via parametrized logic programs

Research output: Contribution to journalArticlepeer-review


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
Publication statusPublished - 2015


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


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

Cite this