Sciweavers

450 search results - page 41 / 90
» An enriched knowledge model for formal ontological analysis
Sort
View
FM
2003
Springer
169views Formal Methods» more  FM 2003»
15 years 5 months ago
Checking and Reasoning about Semantic Web through Alloy
Abstract. Semantic Web (SW), commonly regarded as the next generation of the Web, is an emerging vision of the new Web from the Knowledge Representation and the Web communities. Th...
Jin Song Dong, Jing Sun, Hai H. Wang
ER
2010
Springer
104views Database» more  ER 2010»
14 years 10 months ago
Provenance Management in BioSciences
: Data provenance is becoming increasingly important for biosciences with the advent of large-scale collaborative environments such as the iPlant collaborative, where scientists co...
Sudha Ram, Jun Liu
CBMS
2005
IEEE
15 years 5 months ago
An Ontology-Driven Clustering Method for Supporting Gene Expression Analysis
The Gene Ontology (GO) is an important knowledge resource for biologists and bioinformaticians. This paper explores the integration of similarity information derived from GO into ...
Haiying Wang, Francisco Azuaje, Olivier Bodenreide...
BMCBI
2007
186views more  BMCBI 2007»
14 years 12 months ago
GeneBins: a database for classifying gene expression data, with application to plant genome arrays
Background: To interpret microarray experiments, several ontological analysis tools have been developed. However, current tools are limited to specific organisms. Results: We deve...
Nicolas Goffard, Georg Weiller
ESWS
2007
Springer
15 years 6 months ago
Semantic EPC: Enhancing Process Modeling Using Ontology Languages
Abstract. In this article we describe a semantic extension of event-driven process chains, with which it is possible to specify the semantics of individual model elements as it is ...
Oliver Thomas, Michael Fellmann