Attribute Inversion in Description Logic with Path Functional Dependencies .

David Toman Grant E. Weddell

Published in: Description Logics (2004)

Keyphrases

functional dependencies
logical implication
description logics
approximate functional dependencies
normal form
database design
integrity constraints

relational databases
relational model
knowledge base
database schemes
inclusion dependencies
data dependencies
deductive databases

refinement operators
automated reasoning
xml documents
knowledge representation
multivalued dependencies
answering queries
dl lite

conflict free
machine learning
database
user defined
query optimization
data integration