Leonard, Sorry, what I meant was that while
:hasAge some xsd:integer[> 0 , < 19 ] didn't work, using :hasAge some xsd:integer[>= 1 , < 19] did work, i.e. minInclusive worked, minExclusive didn't. On the other hand, neither maxInclusive and maxExclusive seem to work. :( On Apr 20, 4:33 pm, Leonard Jacuzzo <[email protected]> wrote: > Gerrit, > Is it possible to elaborate on this? > > What does the (>=x+1 <y) do? That is, what does 'x' stand for? > Are you suggesting that one makes the lower bound value one digit less than > what one intends in order to facilitate this inference in Pellet? Have you > tried it with >= and <=? That is using inclusive maxes and mins? > Best, > Leonard > > > > > > > > On Wed, Apr 20, 2011 at 7:27 AM, Gerrit <[email protected]> wrote: > > Maybe I should just mention that more recent versions of Pellet do > > make this inference. With Pellet 2.1.1 I have verified that > > > :hasAge some xsd:int[>x, <y] > > doesn't work, > > > while > > :hasAge some xsd:int[>=(x+1), <y] > > does. > > > Is it possible to swap out the Pellet reasoner shipped with TBC? (I'm > > using FE so I can't test it) > > > Regards, > > Gerrit > > > On Apr 20, 2:48 am, Holger Knublauch <[email protected]> wrote: > > > On Apr 20, 2011, at 5:56 AM, Irene Polikoff wrote: > > > > > Scott’s suggestion is very specific to what you are wanting to do with > > age. In addition to it, here is a pretty detailed example with screenshots > > showing how you can add a more generic rule: > >http://dallemang.typepad.com/my_weblog/2010/08/extending-owl-rl-.html > > > > Yes, and in fact we have done some of this already, in the file > > spinowl.owl that is included in the TopBraid/SPIN folder. Please look at the > > Turtle file below, that defines a user-defined datatype to restrict a > > Person's age >= 0. You just need to either owl:import or spin:import the > > spinowl file and activate constraint checking to get the violation reported > > on screen. > > > > The spinowl.owl file contains generic constraints against the OWL > > user-defined datatypes vocabulary. It may not cover all cases, but it's > > hopefully a good start. You can either use owl:imports to get this file into > > your model, or use spin:imports. spin:imports is the better option because > > it does not "pollute" your model with constraints etc that are only used at > > inferencing/checking time. You can either define spin:imports as a local > > property, or import spin, or import imports.rdf (which only defines the > > spin:imports property). I will try to make importing this file more > > convenient through the Profiles tab in 3.5.0. > > > > Cheers, > > > Holger > > > > # Saved by TopBraid on Wed Apr 20 10:36:57 EST 2011 > > > # baseURI:http://sandbox.org/facet > > > # imports:http://spinrdf.org/imports > > > > @prefix : <http://sandbox.org/facet#> . > > > @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 spin: <http://spinrdf.org/spin#> . > > > @prefix xsd: <http://www.w3.org/2001/XMLSchema#> . > > > > <http://sandbox.org/facet> > > > rdf:type owl:Ontology ; > > > spin:imports <http://topbraid.org/spin/spinowl> ; > > > owl:imports <http://spinrdf.org/imports> ; > > > owl:versionInfo "Created with TopBraid Composer"^^xsd:string . > > > > :Person > > > rdf:type owl:Class ; > > > rdfs:subClassOf owl:Thing . > > > > :Person_1 > > > rdf:type :Person ; > > > rdfs:label "Person 1"^^xsd:string ; > > > :age -1 . > > > > :age rdf:type owl:DatatypeProperty ; > > > rdfs:domain :Person ; > > > rdfs:label "age"^^xsd:string ; > > > rdfs:range > > > [ rdf:type rdfs:Datatype ; > > > owl:onDatatype xsd:integer ; > > > owl:withRestrictions > > > ([ xsd:minInclusive 0 > > > ]) > > > ] . > > > -- > > You received this message because you are subscribed to the Google > > Group "TopBraid Suite Users", the topics of which include TopBraid > > Composer, > > TopBraid Live, TopBraid Ensemble, SPARQLMotion 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 Group "TopBraid Suite Users", the topics of which include TopBraid Composer, TopBraid Live, TopBraid Ensemble, SPARQLMotion 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
