Exploring the use of ontologies and automated reasoning to manage selection of reportable condition lab tests from LOINC.
Karen EilbeckJason R. JacobsSunanda R. McGarveyCynthia VinionCatherine J. StaesPublished in: ICBO (2013)
Keyphrases
- automated reasoning
- knowledge representation
- reasoning systems
- theorem proving
- theorem prover
- decision procedures
- probabilistic reasoning
- reasoning tasks
- knowledge base
- automated verification
- knowledge representation and reasoning
- description logics
- expert systems
- propositional satisfiability
- first order logic
- domain ontology
- semantic web
- logic programming
- sufficient conditions
- natural language
- bayesian networks
- artificial intelligence
- semantic web technologies
- probability distribution