Sciweavers

3775 search results - page 131 / 755
» The Expression Problem Revisited
Sort
View
FOIKS
2006
Springer
15 years 7 months ago
Reasoning Support for Expressive Ontology Languages Using a Theorem Prover
It is claimed in [45] that first-order theorem provers are not efficient for reasoning with ontologies based on description logics compared to specialised description logic reasone...
Ian Horrocks, Andrei Voronkov
147
Voted
AAAI
2006
15 years 5 months ago
Characterizing Data Complexity for Conjunctive Query Answering in Expressive Description Logics
Description Logics (DLs) are the formal foundations of the standard web ontology languages OWL-DL and OWL-Lite. In the Semantic Web and other domains, ontologies are increasingly ...
Magdalena Ortiz, Diego Calvanese, Thomas Eiter
137
Voted
BMCBI
2008
141views more  BMCBI 2008»
15 years 3 months ago
EzArray: A web-based highly automated Affymetrix expression array data management and analysis system
Background: Though microarray experiments are very popular in life science research, managing and analyzing microarray data are still challenging tasks for many biologists. Most m...
Yuerong Zhu, Yuelin Zhu, Wei Xu
157
Voted
CORR
2008
Springer
114views Education» more  CORR 2008»
15 years 3 months ago
Temporal Support of Regular Expressions in Sequential Pattern Mining
Classic algorithms for sequential pattern discovery, return all frequent sequences present in a database. Since, in general, only a few ones are interesting from a user's poin...
Leticia I. Gómez, Bart Kuijpers, Alejandro ...
140
Voted
BMCBI
2005
122views more  BMCBI 2005»
15 years 3 months ago
GenClust: A genetic algorithm for clustering gene expression data
Background: Clustering is a key step in the analysis of gene expression data, and in fact, many classical clustering algorithms are used, or more innovative ones have been designe...
Vito Di Gesù, Raffaele Giancarlo, Giosu&egr...