Automated Reasoning on Conceptual Schemas (Dagstuhl Seminar 13211).
Diego CalvaneseSven HartmannErnest TenientePublished in: Dagstuhl Reports (2013)
Keyphrases
- automated reasoning
- conceptual schemas
- conceptual schema
- xml schema
- entity relationship
- knowledge representation
- public administration
- theorem proving
- theorem prover
- probabilistic reasoning
- database schema
- reverse engineering
- relational databases
- integrity constraints
- e government
- object oriented
- databases
- inference rules
- database design
- knowledge structures
- general purpose
- data model
- conceptual modeling
- bayesian networks
- information systems