Notice: Scheduled maintenance is set for Tuesday, Sept 2nd at 1am EST. During this time, we will experience up to 20 minutes of downtime. Thank you for your patience.


0
1

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!!

asked 02 Feb '11, 03:05

user-1027%20%28google%29's gravatar image

user-1027 (g...
112
accept rate: 0%

edited 02 Feb '11, 03:11

Signified's gravatar image

Signified ♦
23.8k1623


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.)

link

answered 02 Feb '11, 03:22

Signified's gravatar image

Signified ♦
23.8k1623
accept rate: 37%

Your answer
toggle preview

Follow this question

By Email:

Once you sign in you will be able to subscribe for any updates here

By RSS:

Answers

Answers and Comments

Markdown Basics

  • *italic* or _italic_
  • **bold** or __bold__
  • link:[text](http://url.com/ "Title")
  • image?![alt text](/path/img.jpg "Title")
  • numbered list: 1. Foo 2. Bar
  • to add a line break simply add two spaces to where you would like the new line to be.
  • basic HTML tags are also supported

Tags:

×1,276
×866
×160
×110

Asked: 02 Feb '11, 03:05

Seen: 3,963 times

Last updated: 18 Jan '13, 11:05