Abstract: In this paper we explore embeddings of the various kinds of RDF entailment in F-Logic. We show that the embeddings of simple, RDF, and RDFS entailment, as well as a large fragment of ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results