Functional Dependencies in OWL ABoxes

Jean-Paul CalbimonteFabio PortoC. Maria Keet

Functional Dependency has been extensively studied in database theory. Most recently, there have been some works investigating the implications of extending Description Logics with functional dependencies. As it turns out, more complex functional dependencies at the type-level can lead to undecidability, which thus restricts its usage in the TBox. This paper therefore focuses on enhancing its applicability to instances in the ABox. We specify 'FD' as a new constructor, realized as 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 in the knowledge base. Our approach thereby gives ontology users data guarantees and features usually found only in databases.

Caso o link acima esteja inválido, faça uma busca pelo texto completo na Web: Buscar na Web

Biblioteca Digital Brasileira de Computação - Contato:
     Mantida por: