Abstract | ||
---|---|---|
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 typelevel
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. |
Year | Venue | Keywords |
---|---|---|
2009 | SBBD | functional dependency,owl,dl,abox,database,knowledge base,description logic |
Field | DocType | Citations |
Data mining,Ontology,Horn clause,Programming language,Conceptual model,Computer science,Abox,Description logic,Functional dependency,Database theory,Database,Web Ontology Language | Conference | 4 |
PageRank | References | Authors |
0.40 | 19 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Jean-Paul Calbimonte | 1 | 408 | 33.62 |
Fabio Porto | 2 | 99 | 5.82 |
C. Maria Keet | 3 | 362 | 49.90 |