Checking Full Satisfiability of Conceptual Models.
Alessandro ArtaleDiego CalvaneseYazmín Angélica Ibáñez-GarcíaPublished in: Description Logics (2010)
Keyphrases
- conceptual models
- conceptual modeling
- information systems
- conceptual model
- satisfiability problem
- object oriented
- conceptual modelling
- business users
- data model
- propositional logic
- entity relationship
- computational complexity
- np complete
- phase transition
- formal ontologies
- databases
- training data
- database systems
- ontology languages
- cnf formula
- conceptual schema
- semi automatic
- unified modeling language