Repository logo

Infoscience

  • English
  • French
Log In
Logo EPFL, École polytechnique fédérale de Lausanne

Infoscience

  • English
  • French
Log In
  1. Home
  2. Academic and Research Output
  3. Reports, Documentation, and Standards
  4. Extending OWL with Explicit Dependency
 
report

Extending OWL with Explicit Dependency

Calbimonte, Jean-Paul  
•
Porto, Fabio
2007

Functional Dependency has been extensively studied in database theory. It provides an elegant formalism for specifying key constraints and is the basis for normalization theory used in Relational database design. Given its known axiomatization through logical implications it is expected that the ontology community would be interested in investigating its applicability to conceptual modeling. This paper investigates the extension of OWL ontologies with functional dependencies. In particular, we focus on key dependency and a new class referred to as explicit dependency. The latter is a functional dependency in which the function that correlates the left-hand side to the right-hand side of the dependency is known. We extend current formalism to allow functions to appear in the consequent of a dependency declaration. A mapping of the proposed formalism to Horn clause is specified and permits FDs to be evaluated as logic rules. The ontology therein produced may present different behaviors depending on the interpretation given to functional dependencies. Interesting enough is that explicit dependency adds one extra possible interpretation, similar to views in databases. We have integrated the extended formalism into OWL and used SWRL to map dependencies to logic rules. A prototype has been implemented and illustrates the proposed approach.

  • Files
  • Details
  • Metrics
Type
report
Author(s)
Calbimonte, Jean-Paul  
Porto, Fabio
Date Issued

2007

Subjects

Functional Dependency

•

Ontology

Written at

EPFL

EPFL units
LBD  
Available on Infoscience
July 3, 2007
Use this identifier to reference this record
https://infoscience.epfl.ch/handle/20.500.14299/9394
Logo EPFL, École polytechnique fédérale de Lausanne
  • Contact
  • infoscience@epfl.ch

  • Follow us on Facebook
  • Follow us on Instagram
  • Follow us on LinkedIn
  • Follow us on X
  • Follow us on Youtube
AccessibilityLegal noticePrivacy policyCookie settingsEnd User AgreementGet helpFeedback

Infoscience is a service managed and provided by the Library and IT Services of EPFL. © EPFL, tous droits réservés