James,
:aValueDocument
a owl:Class ;
rdfs:subClassOf owl:Thing ;
rdfs:subClassOf
[ a owl:Restriction ;
owl:hasValue :valueA ;
owl:onProperty :hasValue
] ;
Means that every member of aValueDocument class should have hasProperty
valueA
It does not mean that any resource that hasProperty valueA (in other words,
is a subject of a triple with hasProperty and valueA as predicate and
object) is necessarily a member of aValueDocument class.
To get the inference you want, change the restriction from rdfs:subClassOf
to owl:equivalentClass.
Regards,
Irene Polikoff
Executive Partner, TopQuadrant
tel: 914-777-0888/ cell: 914-329-8576
www.topquadrant.com
-----Original Message-----
From: [email protected]
[mailto:[EMAIL PROTECTED] On Behalf Of jlapalme
Sent: Thursday, October 23, 2008 10:56 AM
To: TopBraid Composer Users
Subject: [tbc-users] Inferencing Issue
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
-~----------~----~----~----~------~----~------~--~---
