A semantical framework for hybrid knowledge bases

Bruijn, Jos de; Pearce, David Andrew; Polleres, Axel y 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.

Descripción

Título: A semantical framework for hybrid knowledge bases
Autor/es:
  • Bruijn, Jos de
  • Pearce, David Andrew
  • Polleres, Axel
  • Valverde, Agustin
Tipo de Documento: Artículo
Título de Revista/Publicación: Knowledge and Information Systems
Fecha: Octubre 2010
Volumen: 25
Materias:
Escuela: Facultad de Informática (UPM) [antigua denominación]
Departamento: Inteligencia Artificial
Licencias Creative Commons: Reconocimiento - Sin obra derivada - No comercial

Texto completo

[img]
Vista Previa
PDF (Document Portable Format) - Se necesita un visor de ficheros PDF, como GSview, Xpdf o Adobe Acrobat Reader
Descargar (787kB) | Vista Previa

Resumen

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.

Más información

ID de Registro: 9446
Identificador DC: http://oa.upm.es/9446/
Identificador OAI: oai:oa.upm.es:9446
Identificador DOI: 10.1007/s10115-010-0294-z
URL Oficial: http://www.springerlink.com/content/y3q6657333137683/
Depositado por: Memoria Investigacion
Depositado el: 10 Nov 2011 11:27
Ultima Modificación: 20 Abr 2016 17:51
  • Open Access
  • Open Access
  • Sherpa-Romeo
    Compruebe si la revista anglosajona en la que ha publicado un artículo permite también su publicación en abierto.
  • Dulcinea
    Compruebe si la revista española en la que ha publicado un artículo permite también su publicación en abierto.
  • Recolecta
  • e-ciencia
  • Observatorio I+D+i UPM
  • OpenCourseWare UPM