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.
