SPIN rules working in 3.6.2 beta? (was: [topbraid-users] Re: associations view issue)

Thu, 20 Sep 2012 15:18:05 -0700

Speaking of which, I was doing a response to John's question.  See the attached file with a simple rule.  I can't get Composer to make this inference, even when manually selecting an instance and running it in the SPARQL View - it won't do the CONSTRUCT.

Can you verify this? I am using the public beta.

-- Scott

On 9/20/2012 5:11 PM, Holger Knublauch wrote:
On 9/21/2012 0:26, Scott Henninger wrote:
Michel; The templates Holger refers to are the implementation of the
CWA constraints you use when choosing "SPIN constraints on OWL axioms
with CWA" in the Profile sub-tab.  They refer to the same thing and
Holger may be indicating that you can extend these if you wish.

Yes exactly. I didn't see that Scott had already responded along the same lines as me - I guess his response was in a different thread. Turned out my response was a bit redundant.

Holger


--
-- 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
 
 
# baseURI: http://support.tq.com/unnamed1
# imports: http://purl.org/dc/elements/1.1/
# imports: http://spinrdf.org/spin
# imports: http://xmlns.com/foaf/0.1/

@prefix dc:      <http://purl.org/dc/elements/1.1/> .
@prefix foaf:    <http://xmlns.com/foaf/0.1/> .
@prefix owl:     <http://www.w3.org/2002/07/owl#> .
@prefix publishedBooks:  <http://example.com/library/publishedBooks#> .
@prefix rdf:     <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs:    <http://www.w3.org/2000/01/rdf-schema#> .
@prefix sp:      <http://spinrdf.org/sp#> .
@prefix spin:    <http://spinrdf.org/spin#> .
@prefix unnamed1:  <http://support.tq.com/unnamed1#> .
@prefix xsd:     <http://www.w3.org/2001/XMLSchema#> .

publishedBooks:Author
      rdf:type owl:Class ;
      rdfs:label "Author"^^xsd:string .

publishedBooks:Book
      rdf:type owl:Class ;
      rdfs:label "Books"^^xsd:string ;
      rdfs:subClassOf owl:Thing ;
      spin:rule
              [ rdf:type sp:Construct ;
                sp:templates ([ sp:object publishedBooks:Author ;
                            sp:predicate rdf:type ;
                            sp:subject
                                    [ sp:varName "author"^^xsd:string
                                    ]
                          ]) ;
                sp:where ([ sp:object
                                    [ sp:varName "author"^^xsd:string
                                    ] ;
                            sp:predicate dc:creator ;
                            sp:subject spin:_this
                          ])
              ] .

publishedBooks:Books_1
      rdf:type publishedBooks:Book ;
      rdfs:label "Books 1"^^xsd:string ;
      dc:creator "foaf:Person_1"^^xsd:string .

publishedBooks:Books_2
      rdf:type publishedBooks:Book ;
      rdfs:label "Books 2"^^xsd:string ;
      dc:creator "foaf:Person_2"^^xsd:string .

<http://support.tq.com/unnamed1>
      rdf:type owl:Ontology ;
      owl:imports <http://spinrdf.org/spin> , foaf: , dc: ;
      owl:versionInfo "Created with TopBraid Composer"^^xsd:string .

foaf:Person_1
      rdf:type foaf:Person ;
      rdfs:label "Person 1"^^xsd:string .

foaf:Person_2
      rdf:type foaf:Person ;
      rdfs:label "Person 2"^^xsd:string .

# baseURI: null

@prefix composite:  <http://www.topbraid.org/2007/05/composite.owl#> .
@prefix forms:   <http://www.topbraid.org/2007/01/forms.owl#> .
@prefix inference:  <http://www.topbraid.org/2007/06/inference.owl#> .
@prefix owl:     <http://www.w3.org/2002/07/owl#> .
@prefix rdf:     <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs:    <http://www.w3.org/2000/01/rdf-schema#> .
@prefix visual:  <http://topbraid.org/visual#> .
@prefix xsd:     <http://www.w3.org/2001/XMLSchema#> .

[]    rdf:type inference:Configuration ;
      composite:child
              [ rdf:type <http://spinrdf.org/spin#TopSPIN> ;
                composite:index "0"^^xsd:int
              ] ;
      inference:completeMode
              "true"^^xsd:boolean .

Reply via email to