A note on the translation of conceptual data models into description logics: disjointness and covering assumptions.
Giovanni CasiniAurona GerberThomas MeyerPublished in: SAICSIT (2012)
Keyphrases
- description logics
- data model
- databases
- knowledge base
- conceptual model
- database systems
- query language
- computational properties
- knowledge representation formalisms
- dl lite
- entity relationship
- knowledge representation
- conceptual models
- reasoning tasks
- object oriented
- database design
- knowledge representation and reasoning
- reasoning systems
- computing least common subsumers
- machine translation
- data integration
- ontology languages
- reasoning problems
- relational model
- consistency checking
- owl dl
- concept descriptions
- reasoning services
- expert systems
- database
- semantic web
- model theoretic
- relational algebra
- conceptual modeling
- data sources