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]
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.
--
-- 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.
|
