Combining rules and ontologies via parametrized logic programs

Ricardo Gonçalves

Combining rules and ontologies via parametrized logic programs

Research output: Contribution to journal › Article › peer-review

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 language	English
Journal	CEUR Workshop Proceedings
Volume	1517
Publication status	Published - 2015

Keywords

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

Cite this

@article{b03af590461140f1a202d2232dbb0c27,

title = "Combining rules and ontologies via parametrized logic programs",

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.",

keywords = "Artificial intelligence, Data description, Logic programming, Reconfigurable hardware, Semantics, Combining rules, Description logic, Logic programs, Stable model semantics",

author = "Ricardo Gon{\c c}alves",

note = "Sem PDF.",

year = "2015",

language = "English",

volume = "1517",

journal = "CEUR Workshop Proceedings",

publisher = "CEUR Workshop Proceedings",

}

TY - JOUR

T1 - Combining rules and ontologies via parametrized logic programs

AU - Gonçalves, Ricardo

N1 - Sem PDF.

PY - 2015

Y1 - 2015

N2 - 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.

AB - 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.

KW - Artificial intelligence

KW - Data description

KW - Logic programming

KW - Reconfigurable hardware

KW - Semantics

KW - Combining rules

KW - Description logic

KW - Logic programs

KW - Stable model semantics

UR - http://www.scopus.com/inward/record.url?scp=84961134081&partnerID=8YFLogxK

M3 - Article

AN - SCOPUS:84961134081

VL - 1517

JO - CEUR Workshop Proceedings

JF - CEUR Workshop Proceedings

ER -

Combining rules and ontologies via parametrized logic programs

Abstract

Keywords

Other files and links

Fingerprint

Cite this