I think I've done all of what you said (besides the comments) using TBC, but it 
still doesn't work. 

-----Original Message-----
From: Scott Henninger [mailto:[email protected]] 
Sent: Friday, April 03, 2009 2:11 PM
To: TopBraid Composer Users
Subject: [tbc-users] Re: SPIN Inference with import


Jeff;  In Composer create a new file (does not need to be a SPIN file) and 
import spinsquare.  Any instances you add will be added to that file, but as 
long as they are instances of, e.g., spinsquare:Rectangle, the SPIN rules will 
apply.

Insofar as the import statement is concerned, the below n3 file is missing the 
import comment:
# imports: http://topbraid.org/examples/spinsquare

...also a good idea to include the base URI comment, e.g.:
# baseURI: http://SupportQuestions.com/unnamed0

-- Scott

On Apr 3, 1:41 pm, Jeff <[email protected]> wrote:
> hello,
>    Using the spinsquare.n3 model I'm able to get the rectangle area 
> inference to work correctly.  However, I would like to be able to 
> create an "instance" model that imports the spinsquare model, add 
> instances of Rectangle to the instance model and get the SPIN area 
> inference to work on all the instance model rectangles by running the 
> topSPIN inferences on the instance model.  Is there a way to do this?
> I have tried but can't seem to get it to work, neither in code nor in 
> Topbraid composer.  Below I've pasted my instance model in full.  It's 
> interesting that the namespaces for the spin models weren't created, 
> even though I did explicitly import them all.
>
> @prefix spinsquare:  <http://topbraid.org/examples/spinsquare#> .
> @prefix xsd:     <http://www.w3.org/2001/XMLSchema#> .
> @prefix rdfs:    <http://www.w3.org/2000/01/rdf-schema#> .
> @prefix rdf:     <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
> @prefix owl:     <http://www.w3.org/2002/07/owl#> .
> @prefix :        <http://topbraid.org/examples/spinsquareinst#> .
>
> spinsquare:TestInstRectangle
>       a       spinsquare:Rectangle ;
>       rdfs:label "Test rectangle"^^xsd:string ;
>       spinsquare:height 6 ;
>       spinsquare:width 8 .
>
> <http://topbraid.org/examples/spinsquareinst>
>       a       owl:Ontology ;
>       owl:imports <http://topbraid.org/examples/spinsquare> , <http:// 
> spinrdf.org/spin> , <http://spinrdf.org/sp> , <http://spinrdf.org/
> spl> , <http://www.boeing.com/IVHM/SpinLib.owl> ;
>       owl:versionInfo "Created with TopBraid Composer"^^xsd:string .
>
> Thanks,
> Jeff


--~--~---------~--~----~------------~-------~--~----~
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