On Keys and Functional Dependencies as First-Class Citizens in Description Logics.
David TomanGrant E. WeddellPublished in: J. Autom. Reason. (2008)
Keyphrases
- description logics
- functional dependencies
- logical implication
- database schemes
- set of functional dependencies
- relational databases
- knowledge base
- integrity constraints
- normal form
- database design
- knowledge representation
- dl lite
- knowledge representation and reasoning
- reasoning tasks
- inclusion dependencies
- relational model
- semantic web
- user defined
- data dependencies
- xml documents
- refinement operators
- database
- query answering
- artificial intelligence
- deductive databases
- incomplete information