Sciweavers

413 search results - page 20 / 83
» Decidable Reasoning in Terminological Knowledge Representati...
Sort
View
KRMED
2008
14 years 11 months ago
Essential SNOMED: Simplifying SNOMED-CT and supporting Integration with Health Information Models
SNOMED CT (SCT) has been designed and implemented in an era when health computer systems generally required terminology representations in the form of singular precoordinated conc...
Peter MacIsaac, Donald Walker, Rachel L. Richesson...
ESWS
2007
Springer
15 years 3 months ago
Real-World Reasoning with OWL
Abstract. This work is motivated by experiences in the course of developing an ontology-based application within a real-world setting. We found out that current benchmarks are not ...
Timo Weithöner, Thorsten Liebig, Marko Luther...
ACSC
2004
IEEE
15 years 1 months ago
Code Improvements for Model Elimination Based Reasoning Systems
We have been investigating ways in which the performance of model elimination based systems can be improved and in this paper we present some of our results. Firstly, we have inve...
Richard A. Hagen, Scott D. Goodwin, Abdul Sattar
CCIA
2007
Springer
15 years 3 months ago
Agents and Clinical Guidelines: Filling the Semantic Gap
Medical ontologies are developed to solve problems such as the demand for reusing, sharing and transmitting data. The unambiguous communication of complex and detailed medical conc...
David Isern, David Sánchez, Antonio Moreno
EWCBR
1993
Springer
15 years 1 months ago
Knowledge Engineering Requirements in Derivational Analogy
A major advantage in using a case-based approach to developing knowledge-based systems is that it can be applied to problems where a strong domain theory may be difficult to determ...
Padraig Cunningham, Donal Finn, Seán Slatte...