Modeling a description logic vocabulary for cancer research.
Frank W. HartelSherri de CoronadoRobert DionneGilberto FragosoJennifer GolbeckPublished in: J. Biomed. Informatics (2005)
Keyphrases
- description logics
- knowledge base
- semantic web
- reasoning tasks
- computational properties
- snomed ct
- knowledge representation and reasoning
- dl lite
- knowledge representation
- reasoning mechanism
- computing least common subsumers
- owl dl
- concept descriptions
- reasoning systems
- model theoretic
- ontology languages
- reasoning problems
- reasoning services
- refinement operators
- semantic mapping
- logical implication
- automated reasoning
- default reasoning