Thanks for the reply! Yes, checking that box did result in the expected
behavior (I actually discovered the option about an hour or so after
posting.)
On Tuesday, December 3, 2013 7:32:36 PM UTC-5, Holger Knublauch wrote:
>
> Hi Aaron,
>
> the TopSPIN engine (and all other TopBraid engines) is indeed using some
> triples at runtime that are filtered out before they get reported as
> "inferred" triples. Let's call those "trivial" inferences that are not
> really interesting to the outside world. These include things like
>
> ?class owl:equivalentClass ?class
>
> and
>
> ?class rdf:type owl:Thing .
>
> To see and infer those, activate the "Complete mode" box in the dialog
> where you configure the inferences.
>
> Please check if that makes a difference, and whether you get additional
> triples.
>
> Thanks
> Holger
>
>
>
> On 11/28/2013 5:08, Aaron Jackson wrote:
> > Hi,
> >
> > Here is my basic issue:
> >
> > I am running TBC Free 4.3.1.v20131101-1317R.
> >
> > I have defined an ontology that describes Einstein's riddle
> > (attached), which is solvable by strict DL reasoners (HermiT and
> > Pellet) in Protege. I decided to test it out in RL with TopSPIN,
> > importing the owlrl spin rules.
> >
> > It does not solve initially, so I decided to see what additional rules
> > I should create to complete the inferenced solution.
> >
> > One rule I added was very similar to cls-maxqc3, except that it
> > operates on "qualifiedCardinality" of 1 instead of
> > "maxQualifiedCardinality". Here is the rule in SPARQL:
> >
> > CONSTRUCT {
> > ?v1 owl:sameAs ?v2 .
> > }
> > WHERE {
> > ?c owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger .
> > ?c owl:onProperty ?p .
> > ?c owl:onClass ?c2 .
> > ?o a ?c .
> > ?o ?p ?v1 .
> > ?v1 a ?c2 .
> > ?o ?p ?v2 .
> > ?v2 a ?c2 .
> > FILTER (?v1 != ?v2) .
> > }
> >
> > Here's the interesting part:
> >
> > When I run the reasoner, it correctly infers a new statement,
> > specifically that the individual "blue" is owl:sameAs the individual
> > "second". This is based the fact the the individual "first" is a
> > subclass of the anonymous "qualifiedCardinality" restriction defined
> > above (on the property "nextTo"), which points to both "blue" and
> > "second".
> >
> > So far so good.
> >
> > But when I execute the exact SPARQL of the rule in the SPARQL query
> > view (against the fully realized graph), it returns nothing. I
> > investigated this by querying for a bunch of individual relationships
> > and found that while "FirstHouse" is correctly identified to be a
> > subclass of the anonymous restriction, the individual "first" is not
> > declared to be of the anonymous type. Thus the query fails at the "?o
> > a ?c" pattern.
> >
> > At first it seemed like a possible failure of the cax-sco rule, but
> > like I said, it works when executed by the reasoner.
> >
> > So what I'm wondering is whether TopSPIN may calculate certain
> > "internal" triples that it uses to reason without "exporting" those
> > triples to the resultant inferred graph. The reason it's an issue is
> > that it makes it difficult to test rules/queries when the behavior is
> > different depending on how the SPARQL is executed.
> >
> > Thank you!
> > --
> > -- 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
> > Insight, SPARQLMotion, SPARQL Web Pages and SPIN.
> > To post to this group, send email to
> > [email protected] <javascript:>
> > To unsubscribe from this group, send email to
> > [email protected] <javascript:>
> > For more options, visit this group at
> > http://groups.google.com/group/topbraid-users?hl=en
> > ---
> > You received this message because you are subscribed to the Google
> > Groups "TopBraid Suite Users" group.
> > To unsubscribe from this group and stop receiving emails from it, send
> > an email to [email protected] <javascript:>.
> > For more options, visit https://groups.google.com/groups/opt_out.
>
>
--
-- 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 Insight,
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
---
You received this message because you are subscribed to the Google Groups
"TopBraid Suite Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
For more options, visit https://groups.google.com/groups/opt_out.
