On Keys and Functional Dependencies as First-Class Citizens in Description Logics.
David TomanGrant E. WeddellPublished in: IJCAR (2006)
Keyphrases
- description logics
- functional dependencies
- logical implication
- set of functional dependencies
- database schemes
- relational databases
- knowledge base
- integrity constraints
- database design
- reasoning tasks
- relational model
- normal form
- knowledge representation and reasoning
- knowledge representation
- dl lite
- inclusion dependencies
- data dependencies
- user defined
- semantic web
- database
- database schema
- logic programming
- refinement operators
- multivalued dependencies
- artificial intelligence