13383 search results - page 2279 / 2677 » Abstractions from proofs |
132
click to vote
SEMWEB
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. The Web of Data is increasingly becoming an important infrastructure for such diverse sectors as entertainment, government, ecommerce and science. As a result, the robust...
131
click to vote
SEMWEB
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Semantic similarity and relatedness measures between ontology concepts are useful in many research areas. While similarity only considers subsumption relations to assess ...
145
click to vote
SEMWEB
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. We study the problem of evolution for Knowledge Bases (KBs) expressed in Description Logics (DLs) of the DL-Lite family. DL-Lite is at the basis of OWL 2 QL, one of the t...
132
click to vote
SEMWEB
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. In Linked Data, the use of owl:sameAs is ubiquitous in interlinking data-sets. There is however, ongoing discussion about its use, and potential misuse, particularly with...
120
click to vote
SEMWEB
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Clinical trials are fundamental for medical science: they provide the evaluation for new treatments and new diagnostic approaches. One of the most difficult parts of clin...