Normal forms for description logic expressions of clinical concepts in SNOMED RT.
Kent A. SpackmanPublished in: AMIA (2001)
Keyphrases
- description logics
- normal form
- snomed ct
- description logic alc
- concept descriptions
- database design
- medical terminology
- reasoning tasks
- knowledge representation languages
- functional dependencies
- reasoning services
- knowledge base
- owl ontologies
- modal logic
- knowledge representation
- relational databases
- computational properties
- dl lite
- relational algebra
- data dependencies
- computing least common subsumers
- object oriented
- expert systems
- natural language
- databases
- data exchange
- expressive power
- semantic web
- owl dl
- logic programming
- query language
- database