As soon as I sent that out, I realized I had made at least one mistake.
Here is a (hopefully) better version of that rule.
CONSTRUCT {?Y a ?P}
WHERE {?Y a ?B.
?P rdfs:subclassOf ?B.
?P owl:equivalentClass ?A.
?A owl:intersectionOf ?B, ?restriction, ?restriction2.
?datatype owl:onDatatype xsd:float .
?datatype owl:withRestrictions ?var .
?datatype a rdfs:Datatype .
?restriction owl:allValuesFrom ?datatype .
?restriction a owl:Restriction .
?restriction owl:onProperty ?datatypeproperty .
?var rdf:first ?var1 .
?var1 xsd:minInclusive ?mval .
?x ?datatypeproperty ?val .
?datatype2 owl:onDatatype xsd:float .
?datatype2 owl:withRestrictions ?var .
?datatype2 a rdfs:Datatype .
?restriction2 owl:allValuesFrom ?datatype .
?restriction2 a owl:Restriction .
?restriction2 owl:onProperty ?datatypeproperty .
?var2 rdf:rest ?var3 .
?var3 xsd:maxInclusive ?maval .
FILTER (?val >= ?mval) .
FILTER (?val <= ?maval). }
--
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
