Description Logics with Concrete Domains and Functional Dependencies.
Carsten LutzMaja MilicicPublished in: ECAI (2004)
Keyphrases
- description logics
- functional dependencies
- logical implication
- relational databases
- relational model
- database design
- integrity constraints
- reasoning tasks
- normal form
- knowledge base
- user defined
- semantic web
- knowledge representation
- data dependencies
- dl lite
- knowledge representation and reasoning
- refinement operators
- inclusion dependencies
- database
- artificial intelligence
- databases
- database schema
- data model
- logic programming