Sciweavers

1722 search results - page 190 / 345
» Ontology Formalism Transformation
Sort
View
CBMS
2009
IEEE
16 years 1 months ago
ADONIS: Automated diagnosis system based on sound and precise logical descriptions
Automated medical diagnosis systems based on knowledge-oriented descriptions have gained momentum with the emergence of Semantic Descriptions. However, soundness and efficiency of...
Alejandro Rodríguez González, Jos&ea...
COSIT
2009
Springer
114views GIS» more  COSIT 2009»
16 years 1 months ago
Spatio-terminological Inference for the Design of Ambient Environments
We present an approach to assist the smart environment design process by means of automated validation of work-in-progress designs. The approach facilitates validation of not only ...
Mehul Bhatt, Frank Dylla, Joana Hois
SEMWEB
2007
Springer
16 years 18 days ago
Using the Dempster-Shafer Theory of Evidence to Resolve ABox Inconsistencies
Abstract. Automated ontology population using information extraction algorithms can produce inconsistent knowledge bases. Confidence values assigned by the extraction algorithms m...
Andriy Nikolov, Victoria S. Uren, Enrico Motta, An...
SKG
2005
IEEE
16 years 2 days ago
DLOnto: A Semantic Information Model for Digital Libraries
In this paper, we propose the Semantic Information Model for Digital Libraries - DLOnto based on the theory of the Semantic Web, and give the formalized definition of and relative ...
Ming Zhang, Zhi-Hong Deng, Shukai Ding, Dongqing Y...
WISE
2005
Springer
16 years 1 days ago
Semantic Web Technologies for Interpreting DNA Microarray Analyses: The MEAT System
Abstract. This paper describes MEAT (Memory of Experiments for the Analysis of Transcriptomes), a project aiming at supporting biologists working on DNA microarrays. We provide met...
Khaled Khelif, Rose Dieng-Kuntz, Pascal Barbry