626 search results - page 14 / 126 » Logical Foundations for Data Integration |
AAAI
2006
13 years 10 months ago
2006
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 ...
OWLED
2007
13 years 10 months ago
2007
Abstract. We describe a system in which Contextual Logic Programming is used as a mediator for knowledge modeled by ontologies. Our system provides the components required to behav...
FLOPS
2010
Springer
14 years 3 months ago
2010
Springer
The logical framework LF provides an elegant foundation for specifying formal systems and proofs and it is used successfully in a wide range of applications such as certifying code...
SEMCO
2009
IEEE
14 years 3 months ago
2009
IEEE
Semantic integration in the hidden Web is an emerging area of research where traditional assumptions do not always hold. Frequent changes, conflicts and the sheer size of the hid...
BMCBI
2008
13 years 8 months ago
2008
Background: The accurate detection of differentially expressed (DE) genes has become a central task in microarray analysis. Unfortunately, the noise level and experimental variabi...