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