Checking Integrity Constraints in Deductive Systems based on Production Rules and a Description Logic Terminology.
Jaime RamírezAngélica de AntonioPublished in: VVEIS (2004)
Keyphrases
- integrity constraints
- description logics
- production rules
- medical terminology
- knowledge representation
- knowledge base
- knowledge based systems
- snomed ct
- functional dependencies
- deductive databases
- owl ontologies
- inclusion dependencies
- query answering
- rule base
- production system
- dl lite
- xml documents
- database schema
- conjunctive queries
- reasoning problems
- consistent query answering
- expert systems