Expressive Identification Constraints to Capture Functional Dependencies in Description Logics.
Diego CalvaneseWolfgang FischlReinhard PichlerEmanuel SallingerMantas SimkusPublished in: Description Logics (2014)
Keyphrases
- description logics
- functional dependencies
- logical implication
- data dependencies
- inclusion dependencies
- xml keys
- knowledge representation languages
- integrity constraints
- database design
- relational databases
- normal form
- knowledge base
- knowledge representation and reasoning
- knowledge representation
- reasoning tasks
- refinement operators
- dl lite
- semantic web
- relational model
- null values
- tight complexity bounds
- user defined
- xml documents
- database schema
- logic programs
- database systems
- databases
- xml data