Attribute Inversion in Description Logic with Path Functional Dependencies .
David TomanGrant E. WeddellPublished 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