I have created a simple model to test some inferencing scenarios but I
don't get the expected results. Here is my model.
:myDocument
a rdfs:Resource ;
:hasValue "valueA" .
:aValueDocument
a owl:Class ;
rdfs:subClassOf owl:Thing ;
rdfs:subClassOf
[ a owl:Restriction ;
owl:hasValue :valueA ;
owl:onProperty :hasValue
] ;
owl:disjointWith :Domain .
:Domain
a owl:Class ;
rdfs:subClassOf owl:Thing ;
owl:disjointWith aValueDocument ;
owl:oneOf (:valueA) .
when I run the inference engin I expect to ge the foloowing triple:
:myDocument a :aValueDocument
but I don't, I have tried with multiple engins.
Cheers,
James
--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups
"TopBraid Composer Users" group.
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-composer-users?hl=en
-~----------~----~----~----~------~----~------~--~---
