Hi, still learing owl and tbc and I am wondering if you could clarify
something for me.

I have an instance called Title with another called Published book
which is a subclass of Source

ie

Owl Thing
       Title
       Source
              PublishedBook

I have added a owl:equivelent class restriction to an object property
hasSource within the Title class,  ie hasSource some Source

1) when i run inferencing on a newly added instance of Title that has
no hasSource object assigned, the inferencing infers a blank node as a
source and 8 other blank nodes as members of Source.

2) when the same instance then has a source object assigned to it  the
inferred blank node goes away, but I am still left with  8 other blank
nodes that ie: _b1 rdf:type Source, if i run inferncing again these
nodes just seem to multiply.

3) When I remove the restriction completely, I cannot do not see any
blank nodes left over. and all other restrictions (all cardinality
ones) work fine.

Am i missing something , do i have some other restriction configured
wrongly, any help tips or tricks on how to troubleshoot inferencing
issues    (i have yet to be able to get a message from the lightbulb)
would be much appreicated.

thanks in advnance

John

-- 
You received this message because you are subscribed to the Google
Group "TopBraid Suite Users", the topics of which include TopBraid Composer,
TopBraid Live, TopBraid Ensemble, SPARQLMotion 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