Using Description Logic and Abox Abduction to Capture Medical Diagnosis.
Mariam ObeidZeinab ObeidAsma MoubaiddinNadim ObeidPublished in: IEA/AIE (2019)
Keyphrases
- description logics
- medical diagnosis
- logical implication
- reasoning tasks
- knowledge base
- medical images
- dl lite
- conjunctive query answering
- expressive description logics
- knowledge representation
- semantic web
- computational properties
- reasoning systems
- expert systems
- reasoning services
- terminological reasoning
- reasoning problems
- owl dl
- model theoretic
- artificial intelligence
- owl ontologies