Dear Scot, Wrt equivalence/sameas: ok I see, but for now I kept this in owl semantics
Wrt your last sentence....ok we're getting closer....my first response would be: it has no value because I want to construct it! I.e. based on the semantic Wall property values I want to construct a 'less semantic' representation. In the bounding box case the bounding box instance is created by the swiwt inference (based on the equivalence relationship), next the values for the bounding box properties are calculated via the LET statement. For the other representation, the extruded solid it a bit more complex because it has no direct properties (that can be derived like in the bounding box case) but it has a link to some other class IfcRectangleProfileDef that has to be instantiated first and then this one has properties that can be calculated. I thought that the CONSTRUCT statement could actually do this (including the construction of the intermediate classes). Hmmmm, any further advide very much apprec. MIchel -----Original Message----- From: [email protected] [mailto:[email protected]] On Behalf Of Scott Henninger Sent: 01 March 2009 16:56 To: TopBraid Composer Users Subject: [tbc-users] Re: Trying to CONSTRUCT a graph involving more than 1 triple template (TBC version 3.0.0.62) Michel; Yes you can do owl:same as inferences with SPIN. The following is a spin:rule that will infer all of the properties that make instances equivalent: CONSTRUCT { ?this ?aprop ?value . ?arsc ?aprop2 ?value2 . } WHERE { ?this owl:sameAs ?arsc . ?arsc ?aprop ?value . ?this ?aprop2 ?value2 . } If you don't want, for example, type triples to be inferred, you can filter these with FILTER ((?aprop2 != rdf:type) && (?aprop != rdf:type)). In this way it is more flexible than OWL semantics. Also, in your script, you have the following in your IfcExtrudedAreaSoliddefinition: CONSTRUCT { ?this :Depth ?Depth . ?this :SweptArea ?IfcRectangleProfileDef . ?IfcRectangleProfileDef :XDim ?XDim . ?IfcRectangleProfileDef :YDim ?YDim . } WHERE { ?this :height ?height . ?this :lenght ?length . ?this :width ?width . LET (?Depth := ?height) . LET (?XDim := ?length) . LET (?YDim := ?width) . } This fail to construct any triples because ?IfcRectangleProfileDef is not bound to avalue. -- Scott On Mar 1, 5:09 am, "Bohms, H.M. (Michel)" <[email protected]> wrote: > Hi Scot, > > - unfort. TopSpin first doesn't solve the problem. > - I have OWLIM in to do the inference of the equivalent instances... > (assuming TopSpin does not do this...maybe wrong...) > > Cheers, Michel > > -----Original Message----- > From: [email protected] > [mailto:[email protected]] On Behalf Of Scott > Henninger > Sent: 26 February 2009 16:10 > To: TopBraid Composer Users > Subject: [tbc-users] Re: Trying to CONSTRUCT a graph involving more > than 1 triple template (TBC version 3.0.0.62) > > Michel; Thanks for sending both the ontology and .tbc file! I took a look at > the SPIN rules and don't see a obvious issues. I'm unclear on what what role > the OWLIM inference plays in your inferences, but it seems to me that > reversing the order of inference engines may work. > I.e. running TopSPIN first, then OWLIM. > > -- Scott > > On Feb 26, 6:45 am, Michel Bohms <[email protected]> wrote: > > Dear all, > > > I try to use SPIN/Sparql for mapping from one ontology to another, > > actually from a semantic ontology featuring a Wall with a length, > > width and height to two alternative, derived representations: one in > > the form of a BoundingBox, one in the form of a ExtrudedAreaSolid. > > > The first one is quite simple and is easily inferred with combo of > > Swift/TopSpin (the spin:rule is also trivial) The second is giving > > me problems since the CONTRUCT graph is more complex here. > > > Currently I cannot find many examples for such situations so maybe I > > am making some sparql mistake in my spin:rule. > > > For the moment the base mapping is started by making Wall and the > > two reps. equivalent classes (so that SWIFT starts to > > infer/construct the reps first; maybe I change this later in "no > > equivalence+adapted rules" ie construct the rep classes first in my > > CONSTRUCT after adding an objectproperty like "representation" for Wall, > > but this aside). > > Next I try to construct via my rule the properties of the > > ExtrudedAreaSolid. Since this is an objectproperty ("SweptArea") I > > also want to construct properties "further in the graph". > > > After inferring however, the are not even instances of the SweptArea > > range class (being "IfcRectangleProfileDef", let alone values for > > its properties calculated via the LET clauses (XDim and YDim). > > > What I can think of is that the reasoners have problems with the > > underlying types of the involved datatype properties, not being > > simple floats, but user-defined datatypes (PostiveLengthMeasures). > > However, guess this cause is unlikely. > > > Any help very much appreciated! (when I get this one to work I have > > the feeling I get get 'anything' to work with SPIN/Sparql ...:) > > > Michel Bohms > > > ps > > I hope the attachments work > > > mu .owl.tbc file content: > > # Saved by TopBraid on Thu Feb 26 13:23:15 CET 2009 # baseURI: null > > > @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> . > > @prefix inference: <http://www.topbraid.org/2007/06/inference.owl#> . > > @prefix visual: <http://topbraid.org/visual#> . > > @prefix owl: <http://www.w3.org/2002/07/owl#> . > > @prefix xsd: <http://www.w3.org/2001/XMLSchema#> . > > @prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> . > > @prefix forms: <http://www.topbraid.org/2007/01/forms.owl#> . > > @prefix composite: <http://www.topbraid.org/2007/05/composite.owl#> . > > > [] a inference:Configuration ; > > composite:child > > [ a inference:SwiftOWLIMEngine ; > > composite:index "0"^^xsd:int > > ] ; > > composite:child > > [ a <http://spinrdf.org/spin#TopSPIN> ; > > composite:index "1"^^xsd:int > > ] . > > > my ontology (cannot find how to have attachments to this mail...): > > > <?xml version="1.0"?> > > <rdf:RDF > > xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"; > > xmlns="http://www.tno.nl/mapping2#"; > > xmlns:spin="http://spinrdf.org/spin#"; > > xmlns:sp="http://spinrdf.org/sp#"; > > xmlns:owl="http://www.w3.org/2002/07/owl#"; > > xmlns:xsd="http://www.w3.org/2001/XMLSchema#"; > > xmlns:owl11="http://www.w3.org/2006/12/owl11#"; > > xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"; > > xmlns:spl="http://spinrdf.org/spl#"; > > xml:base="http://www.tno.nl/mapping2";> > > <owl:Ontology rdf:about=""> > > <owl:versionInfo rdf:datatype="http://www.w3.org/2001/ > > XMLSchema#string" > > >Created with TopBraid Composer</owl:versionInfo> > > <owl:imports rdf:resource="http://spinrdf.org/spin"/> > > </owl:Ontology> > > <owl:Class rdf:ID="IfcParameterizedProfileDef"> > > <rdfs:subClassOf> > > <owl:Class rdf:ID="IfcProfileDef"/> > > </rdfs:subClassOf> > > </owl:Class> > > <owl:Class rdf:ID="Wall"> > > <rdfs:subClassOf rdf:resource="http://www.w3.org/2002/07/ > > owl#Thing"/> > > </owl:Class> > > <owl:Class rdf:ID="IfcBoundingBox"> > > <owl:equivalentClass rdf:resource="#Wall"/> > > <rdfs:subClassOf rdf:resource="http://www.w3.org/2002/07/ > > owl#Thing"/> > > <spin:rule> > > <sp:Construct> > > <sp:templates rdf:parseType="Collection"> > > <rdf:Description> > > <sp:object> > > <rdf:Description rdf:nodeID="A0"> > > <sp:varName rdf:datatype="http://www.w3.org/2001/ > > XMLSchema#string" > > >XDim</sp:varName> > > </rdf:Description> > > </sp:object> > > <sp:predicate> > > <owl:DatatypeProperty rdf:ID="XDim"/> > > </sp:predicate> > > <sp:subject > > rdf:resource="http://spinrdf.org/spin#_this"/> > > </rdf:Description> > > <rdf:Description> > > <sp:object> > > <rdf:Description rdf:nodeID="A1"> > > <sp:varName rdf:datatype="http://www.w3.org/2001/ > > XMLSchema#string" > > >YDim</sp:varName> > > </rdf:Description> > > </sp:object> > > <sp:predicate> > > <owl:DatatypeProperty rdf:ID="YDim"/> > > </sp:predicate> > > <sp:subject > > rdf:resource="http://spinrdf.org/spin#_this"/> > > </rdf:Description> > > <rdf:Description> > > <sp:object> > > <rdf:Description rdf:nodeID="A2"> > > <sp:varName rdf:datatype="http://www.w3.org/2001/ > > XMLSchema#string" > > >ZDim</sp:varName> > > </rdf:Description> > > </sp:object> > > <sp:predicate> > > <owl:DatatypeProperty rdf:ID="ZDim"/> > > </sp:predicate> > > <sp:subject > > rdf:resource="http://spinrdf.org/spin#_this"/> > > </rdf:Description> > > </sp:templates> > > <sp:where rdf:parseType="Collection"> > > <rdf:Description> > > <sp:object> > > <rdf:Description rdf:nodeID="A3"> > > <sp:varName rdf:datatype="http://www.w3.org/2001/ > > XMLSchema#string" > > >length</sp:varName> > > </rdf:Description> > > </sp:object> > > <sp:predicate> > > <owl:DatatypeProperty rdf:ID="length"/> > > </sp:predicate> > > <sp:subject > > rdf:resource="http://spinrdf.org/spin#_this"/> > > </rdf:Description> > > <rdf:Description> > > <sp:object> > > <rdf:Description rdf:nodeID="A4"> > > <sp:varName rdf:datatype="http://www.w3.org/2001/ > > XMLSchema#string" > > >width</sp:varName> > > </rdf:Description> > > </sp:object> > > <sp:predicate> > > <owl:DatatypeProperty rdf:ID="width"/> > > </sp:predicate> > > <sp:subject > > rdf:resource="http://spinrdf.org/spin#_this"/> > > </rdf:Description> > > <rdf:Description> > > <sp:object> > > <rdf:Description rdf:nodeID="A5"> > > <sp:varName rdf:datatype="http://www.w3.org/2001/ > > XMLSchema#string" > > >height</sp:varName> > > </rdf:Description> > > </sp:object> > > <sp:predicate> > > <owl:DatatypeProperty rdf:ID="height"/> > > </sp:predicate> > > <sp:subject > > rdf:resource="http://spinrdf.org/spin#_this"/> > > </rdf:Description> > > <sp:Let> > > <sp:expression rdf:nodeID="A3"/> > > <sp:variable rdf:nodeID="A0"/> > > </sp:Let> > > <sp:Let> > > <sp:expression rdf:nodeID="A4"/> > > <sp:variable rdf:nodeID="A1"/> > > </sp:Let> > > <sp:Let> > > <sp:expression rdf:nodeID="A5"/> > > <sp:variable rdf:nodeID="A2"/> > > </sp:Let> > > </sp:where> > > </sp:Construct> > > </spin:rule> > > </owl:Class> > > <owl:Class rdf:ID="IfcSweptAreaSolid"> > > <rdfs:subClassOf rdf:resource="http://www.w3.org/2002/07/ > > owl#Thing"/> > > <rdfs:subClassOf> > > <owl:Restriction> > > <owl:onProperty> > > <owl:DatatypeProperty rdf:ID="SweptArea"/> > > </owl:onProperty> > > <owl:cardinality rdf:datatype="http://www.w3.org/2001/ > > XMLSchema#int" > > ... > > read more » This e-mail and its contents are subject to the DISCLAIMER at http://www.tno.nl/disclaimer/email.html --~--~---------~--~----~------------~-------~--~----~ 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 -~----------~----~----~----~------~----~------~--~---
