SeDeLo: Using Semantics and Description Logics to Support Aided Clinical Diagnosis.
Alejandro Rodríguez GonzálezJosé Emilio Labra GayoRicardo Colomo PalaciosMiguel Angel MayerJuan Miguel Gómez-BerbísÁngel García-CrespoPublished in: J. Medical Syst. (2012)
Keyphrases
- description logics
- reasoning tasks
- clinical diagnosis
- model theoretic
- computational properties
- fuzzy description logics
- reasoning services
- owl dl
- knowledge base
- knowledge representation languages
- knowledge representation formalisms
- highly expressive
- knowledge representation
- concept descriptions
- dl lite
- semantic web
- semantic information
- logic programming
- modal operators
- dl programs
- formal semantics
- description logic programs
- reasoning problems
- ontology languages
- operational semantics
- support vector machine
- database systems