Hi again,

I thought I had a reasonable grasp on inferencing, but back to newbie 
status lol.

I had a class http://example.com/library/publishedBooks#Book with 2 
instances which i ran the following script on

CONSTRUCT {
    ?book a publishedBooks:Book .
    ?book ?p ?o .
}
WHERE {
    ?book a publishedBooks:Book .
    ?book ?p ?o .
}

All good up until now

Thinking about the future I decided to add a subclass/es to try and 
classify the type of book  ie 
http://example.com/library/publishedBooks#Electrical  which is a 
rdfs:subClassOf example.com:Book and moved the instances to this subClass

This is where my so called knowledge (or lack of it) gets blown out of the 
window as running the same rule now provides no results.

I was under the impression that when running owl-max inferencing with 
TopSpin(Sparql rules) on the above two instances would infer the following

ie CONSTRUCT {?instance rdf:type ?book}
   WHERE{?sub rdfs:subclassOf ?book.
   ?instance rdf:type ?sub}

and would result in

?instance a ?Book 

I can only achieve this result if I i tick the compleMode check box under 
inferencing configuration, but this is not something I thought I should do. 

Stangely this has never been an issue in the past and is not an issue if i 
run owl-max inferencing with the same data on a Sesame repository

Sorry if this yet again is lack of knowledge

John











-- 
-- You received this message because you are subscribed to the Google
Group "TopBraid Suite Users", the topics of which include Enterprise Vocabulary 
Network (EVN), TopBraid Composer, TopBraid Live,
TopBraid Ensemble, SPARQLMotion, SPARQL Web Pages and SPIN.
To post to this group, send email to
[email protected]
To unsubscribe from this group, send email to
[email protected]
For more options, visit this group at
http://groups.google.com/group/topbraid-users?hl=en


Reply via email to