Functional Dependencies in OWL ABox

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

Description

Title: Functional Dependencies in OWL ABox
Author/s:
  • Calbimonte, JP.
  • Porto, F.
Item Type: Presentation at Congress or Conference (Article)
Event Title: 11th Workshop on Non-Monotonic Reasoning, NMR 2006
Event Dates: 30/05/2006-01/06/2006
Event Location: UK
Title of Book: Proceedings of the 11th Workshop on Non-Monotonic Reasoning, NMR 2006
Date: 2006
Subjects:
Freetext Keywords: oeg
Faculty: Facultad de Informática (UPM)
Department: Inteligencia Artificial
UPM's Research Group: Ontology Engineering Group – OEG
Creative Commons Licenses: None

Full text

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

Abstract

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.

More information

Item ID: 5120
DC Identifier: http://oa.upm.es/5120/
OAI Identifier: oai:oa.upm.es:5120
Official URL: http://www.cs.ucl.ac.uk/staff/a.hunter/nmr/
Deposited by: Dr Oscar Corcho
Deposited on: 17 Dec 2010 11:32
Last Modified: 20 Apr 2016 14:04
  • 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