772 search results - page 40 / 155 » Ontology Based Information Integration Using Logic Programmi... |
116
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
Dependently typed lambda calculi such as the Logical Framework (LF) can encode relationships between terms in types and can naturally capture correspondences between formulas and ...
108
click to vote
IFIP
1992
Springer
15 years 6 months ago
1992
Springer
Retrieving relevant information in Data and Knowledge Bases containing a large number of di erent types of information is a non trivial problem. That is the reason why, in areas l...
122
click to vote
COSIT
2001
Springer
15 years 7 months ago
2001
Springer
Geographical context is required of many information retrieval tasks in which the target of the search may be documents, images or records which are referenced to geographical spac...
119
click to vote
BMCBI
2010
15 years 2 months ago
2010
Background: The Salivaomics Knowledge Base (SKB) is designed to serve as a computational infrastructure that can permit global exploration and utilization of data and information ...
111
click to vote
OTM
2007
Springer
15 years 8 months ago
2007
Springer
Semantic Web technologies have in recent years started to also find their way into the world of commercial enterprises. Enterprise ontologies can be used as a basis for determinin...