The Specification of a Frame-based Medical Terminological System in Protégé.
Ameen Abu-HannaRonald CornetNicolette de KeizerPublished in: MedInfo (2004)
Keyphrases
- knowledge base
- semantic web
- high level
- medical diagnosis
- knowledge representation
- medical information
- formal specification
- databases
- specification language
- medical domain
- medical imaging
- medical knowledge
- database
- medical databases
- knowledge representation languages
- situation calculus
- decision support system
- formal methods
- digital libraries
- artificial intelligence
- medical experts
- asynchronous circuits
- provably correct
- medical students
- medical treatment