Using the Abstraction Network in Complement to Description Logics for Quality Assurance in Biomedical Terminologies - A Case Study in SNOMED CT.
Duo Helen WeiOlivier BodenreiderPublished in: MedInfo (2010)
Keyphrases
- description logics
- snomed ct
- quality assurance
- quality control
- knowledge base
- knowledge representation
- biomedical ontologies
- semantic web
- reasoning tasks
- concept descriptions
- quality assessment
- software development
- monitoring system
- software quality
- ontology languages
- computing least common subsumers
- number restrictions
- reasoning services
- high level
- case study