Hi Scott, didn't know about that setting, thanks for clarifying! Wim Op dinsdag 22 april 2014 22:13:45 UTC+2 schreef Scott Henninger: > > Wim; For applying inferences from the OWL 2 profile, see Help > > Application Development Tools > SPIN > SPIN Inferencing. > > Basically go to the Ontology home and check the Profile sub-tab. Then > choose the desired inference profile. For your inference you will want to > choose the OW 2 RL profile. > > -- Scott > > On 4/22/2014, 4:05 AM, Wim wrote: > > Hi all, > > I've created an ontology called "expressions", having: > - a class :Primitive > - a class :Double, which is a subclass of :Primitive, and which is > equivalent to ":hasValue some xsd:double". > - an instance of :Primitive that :hasValue "1.0"^^xsd:double > > I've imported owlrl-all, and I'm using SwiftOWLIM + TopSPIN reasoning. > > Strangely, it is not inferred that my individual is a :Double. Am I > forgetting something obvious here? Can anyone help? > > Thanks a lot in advance! > > Wim > > > :Primitive a owl:Class ; > > :hasValue a owl:DatatypeProperty ; > rdfs:domain :Primitive . > > :Double a owl:Class ; > rdfs:subClassOf :Primitive ; > owl:equivalentClass [ a owl:Restriction ; > owl:onProperty :hasValue ; > owl:someValuesFrom xsd:double > ] . > > :testVar a :Primitive ; > :hasValue "1.0"^^xsd:double . > > > -- > -- 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 > Insight, SPARQLMotion, SPARQL Web Pages and SPIN. > To post to this group, send email to > [email protected] <javascript:> > To unsubscribe from this group, send email to > [email protected] <javascript:> > 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 Groups > "TopBraid Suite Users" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected] <javascript:>. > For more options, visit https://groups.google.com/d/optout. > > >
-- -- 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 Insight, 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 --- You received this message because you are subscribed to the Google Groups "TopBraid Suite Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. For more options, visit https://groups.google.com/d/optout.
