A semantical framework for hybrid knowledge bases

Bruijn, Jos de and Pearce, David Andrew and Polleres, Axel and Valverde, Agustin (2010). A semantical framework for hybrid knowledge bases. "Knowledge and Information Systems", v. 25 (n. 1); pp. 81-104. ISSN 0219-1377. https://doi.org/10.1007/s10115-010-0294-z.

Description

Title: A semantical framework for hybrid knowledge bases
Author/s:
  • Bruijn, Jos de
  • Pearce, David Andrew
  • Polleres, Axel
  • Valverde, Agustin
Item Type: Article
Título de Revista/Publicación: Knowledge and Information Systems
Date: October 2010
ISSN: 0219-1377
Volume: 25
Subjects:
Faculty: Facultad de Informática (UPM)
Department: Inteligencia Artificial
Creative Commons Licenses: Recognition - No derivative works - Non commercial

Full text

[img]
Preview
PDF - Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (787kB) | Preview

Abstract

In the ongoing discussion about combining rules and ontologies on the Semantic Web a recurring issue is how to combine first-order classical logic with nonmonotonic rule languages. Whereas several modular approaches to define a combined semantics for such hybrid knowledge bases focus mainly on decidability issues, we tackle the matter from a more general point of view. In this paper, we show how Quantified Equilibrium Logic (QEL) can function as a unified framework which embraces classical logic as well as disjunctive logic programs under the (open) answer set semantics. In the proposed variant of QEL, we relax the unique names assumption, which was present in earlier versions of QEL. Moreover, we show that this framework elegantly captures the existing modular approaches for hybrid knowledge bases in a unified way.

More information

Item ID: 9446
DC Identifier: http://oa.upm.es/9446/
OAI Identifier: oai:oa.upm.es:9446
DOI: 10.1007/s10115-010-0294-z
Official URL: http://www.springerlink.com/content/y3q6657333137683/
Deposited by: Memoria Investigacion
Deposited on: 10 Nov 2011 11:27
Last Modified: 20 Apr 2016 17:51
  • Logo InvestigaM (UPM)
  • Logo GEOUP4
  • Logo Open Access
  • Open Access
  • Logo Sherpa/Romeo
    Check whether the anglo-saxon journal in which you have published an article allows you to also publish it under open access.
  • Logo Dulcinea
    Check whether the spanish journal in which you have published an article allows you to also publish it under open access.
  • Logo de Recolecta
  • Logo del Observatorio I+D+i UPM
  • Logo de OpenCourseWare UPM