query using SPARQL with RDF inference model (reasoner)

Question

Hi!!

I have a problem while making an inference model with RDF reasoner. I have a RDF file and OWL file for inference.

RDF file:

<rdf:Description rdf:about="PC1">
  <PC_Architecture rdf:resource="Arch://#x86_64" />
</rdf>

OWL File:

<owl:Class rdf:about="Arch://#x86_64">
  <rdfs:subClassOf rdf:resource="Arch://#Intel" />
</owl:Class>

Using two files, I want to process the following query:

SELECT ?x
WHERE{ ?x <PC_Architecture > <Arch://#Intel>}

I expected the instance "PC1" should be returned from this query, but it did not. I used infModel class in Jena as my RDF reasoner. Can you see something I am missing?

Thanks!!

Accepted Answer

Howdy,

Here's the triple your first RDF/XML snippet encodes (/obfuscates):

:PC1 :PC_Architecture <Arch://#x86_64> .

Here's the two triples your second RDF/XML snippet represents (/obfuscates):

<Arch://#x86_64> rdf:type owl:Class .
<Arch://#x86_64> rdfs:subClassOf <Arch://#Intel> .

Here's the rule for supporting rdfs:subClassOf

IF
?class1 rdfs:subClassOf ?class2 . AND ?something rdf:type ?class1 .
THEN
?something rdf:type ?class2 .

Your data don't match the condition of the rule! You would need to say:

:PC1 rdf:type <Arch://#x86_64> . (1)

to infer

:PC1 rdf:type <Arch://#Intel> .

(Whether or not you want to say (1) is another question.)

query using SPARQL with RDF inference model (reasoner)

Follow this question

Upcoming Events

Related questions