Ask a question to Desklib · AI bot
In order to show using the entailment rules it is not possible
Added on -2019-09-22
| 2 pages
| 299 words
| 149 views
Trusted by 2+ million users,
1000+ happy students everyday
a. In order to show using the entailment rules it is not possible to derive the following triple::hasAuthors rdfs:domain :PublicationLet’s draw all the possible derivations from the original triple.Figure 1: Possible DerivationsTherefore, it is not logically correct to have the triple given in the problem statement.b.Verifying the given set of triples S:_:m1 :has Authors _:l1 ._:m1 rdf:type :W3CStandard ._:m1 rdfs:subClassOf :ConferenceArticleThe original triple is given as:Figure 2: RDF graph GIt is not possible, with simple entailment obtain the given set of triples S.c.Verifying the given set of triples S:_:m1 :has Authors _:l1 ._:m1 rdf:type _:m2 ._:m2 rdfs:subClassOf :PublicationNow using the RDFS entailment, we can write:_m rdfs:domain :ConferenceArticleAlso, we have::ConferenceArticle rdfs:subClassOf PublicationTherefore,_:m rdfs:subClassOf :PublicationAn rdf:Seq is used to indicate that the order indicated by the numerical order of the container membership properties of the container is intended to be significant. Satisfyingthe other two triples in the subset S. Therefore, S is RDFS-entailed by G
Found this document preview useful?
You are reading a preview
Upload your documents to download
or
Become a Desklib member to get accesss
Paid Plans
Free Plan
Single Unlock
Monthly Plan
Yearly Plan