Taking the RDF Model Theory Out for a Spin [chapter]

Ora Lassila
<span title="">2002</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
Entailment, as defined by RDF's model-theoretical semantics, is a basic requirement for processing RDF, and represents the kind of "semantic interoperability" that RDF-based systems have been anticipated to have to realize the vision of the "Semantic Web". In this paper we give some results in our investigation of a practical implementation of the entailment rules, based on the graph-walking query mechanism of the Wilbur RDF toolkit.
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-48005-6_24">doi:10.1007/3-540-48005-6_24</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/datwhsgqlvfivhpn47oklexbey">fatcat:datwhsgqlvfivhpn47oklexbey</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190503004214/https://link.springer.com/content/pdf/10.1007%2F3-540-48005-6_24.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/39/0a/390ab0aa42b72a435f91ec188f91201137e65f51.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-48005-6_24"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>