Paul;  First, it is the case that the asserted + inferred triples is
the result of running the ApplyOWLIM module.  However, when you do
that, the rdfs:subClassOf inferences will be made.  Your filter will
then filter out triples you hadn't before.

For example, let's say you start with:
  1.  :Matriarch rdfs:subClassOf :Person
  2.  :Person rdfs:subClassOf owl:Thing
  3.  :MyWife a :Matriarch
  4.  :Me a :Person

A variant of your filter is:

CONSTRUCT {
    ?a a ?type .
    ?a ?b ?c .
}
WHERE {
    ?a a ?type .
    ?a ?b ?c .
    FILTER (?type != :Matriarch) .
}

In scenario A; the output would be triple 1 and 4.

If you then run OWLIM, you add the triples:
  5. :Matriarch rdfs:subClassOf owl:Thing
  6. :MyWife a :Person

The filter will now catch all of the instances, :MyWife in this case,
that have been inferred to be members of classed other
than :Matriarch.  Hence there are no results to pass on to the next
module.

-- Scott

On Nov 10, 10:12 am, PaulZH <[email protected]> wrote:
> Scott,
>
> The question is what is passed to the next module.
> Scott; OWLIM with default settings.
>
> In scenario A: the asserted triples
> In scenario B: the asserted triples + the inferred triples OR only the
> inferred triples.
> According to the what I see in the SPARQLMotion result pane it is
> asserted + inferred.
>
> So I would expect that if I have the same filter I at least get the
> same leftovers as in scenario A.
>
> Paul
>
> On Nov 10, 4:38 pm, Scott Henninger <[email protected]>
> wrote:
>
> > Paul; It all depends on what inferences are being made by OWLIM, hence
> > questions on what is in the model, what OWLIM ruleset is used (I'd
> > assume owl-max, the default) have to be asked.
>
> > -- Scott
>
> > On Nov 10, 6:44 am, PaulZH <[email protected]> wrote:
>
> > > I have following flow:
> > > a) import from remote sesame ->SPARQLMotion results as expected
> > > b) filterByConstruct with
> > > CONSTRUCT {
> > >     ?a a ?type .
> > >     ?a ?b ?c .}
>
> > > WHERE {
> > >     ?a a ?type .
> > >     ?a ?b ?c .
> > >     FILTER (?type != ns:ClassA) .}
>
> > > ->SPARQLMotion results as expected
>
> > > Now
> > > a) idem import from remote sesame
> > > b) ApplyOWLIM
> > > c) idem filterByConstruct with same query
>
> > > I get only a few triples with predicate rdf:first and rdf:rest.
>
> > > I would have expected the same result as previously.
>
> > > What am I missing?
--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups 
"TopBraid Composer Users" group.
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-composer-users?hl=en
-~----------~----~----~----~------~----~------~--~---

Reply via email to