Functional Dependencies in OWL ABox

Calbimonte, JP. y Porto, F. (2006). Functional Dependencies in OWL ABox. En: "11th Workshop on Non-Monotonic Reasoning, NMR 2006", 30/05/2006-01/06/2006, UK.


Título: Functional Dependencies in OWL ABox
  • Calbimonte, JP.
  • Porto, F.
Tipo de Documento: Ponencia en Congreso o Jornada (Artículo)
Título del Evento: 11th Workshop on Non-Monotonic Reasoning, NMR 2006
Fechas del Evento: 30/05/2006-01/06/2006
Lugar del Evento: UK
Título del Libro: Proceedings of the 11th Workshop on Non-Monotonic Reasoning, NMR 2006
Fecha: 2006
Palabras Clave Informales: oeg
Escuela: Facultad de Informática (UPM) [antigua denominación]
Departamento: Inteligencia Artificial
Grupo Investigación UPM: Ontology Engineering Group – OEG
Licencias Creative Commons: Ninguna

Texto completo

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


Functional Dependency (FD) has been extensively studied in database theory. Most recently there have been some works investigating the implications of extending Description Logics with functional dependencies. In particular the OWL ontology language offers the functional property property allowing simple functional dependency to be specified. As it turns out, more complex FD specified as concept constructors has been proved to lead to undecidability in the general case, which restricts its usage as part of TBOX. This paper departs from previous ones by restricting FDs applicability to instances in the ABOX. We specify FD as a new constructor, an OWL concept. FD instances are mapped to Horn clauses and evaluated against the ABOX according to user’s desired behavior. The latter allows users to determine whether FDs should be interpreted as constraints, assertions or views. Our approach gives ontology users data guarantees usually found in databases, integrated with the ontology conceptual model.

Más información

ID de Registro: 5120
Identificador DC:
Identificador OAI:
URL Oficial:
Depositado por: Dr Oscar Corcho
Depositado el: 17 Dic 2010 11:32
Ultima Modificación: 20 Abr 2016 14:04
  • GEO_UP4
  • 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
  • InvestigaM
  • Observatorio I+D+i UPM
  • OpenCourseWare UPM