- From: Michael Erickson <erickson.michael@gmail.com>
- Date: Sun, 24 Jul 2011 11:49:46 -0500
- To: semantic-web@w3.org
As a follow up,
Given:
WidgetFamily a owl:Class .
inFamily a owl:ObjectProperty .
Widget a owl:Class .
Family_1 a WidgetFamily .
W1 a Widget .
W1 inFamily Family_1 .
W2 a Widget .
W2 inFamily Family_1 .
Family_1_Widget a owl:Class ;
owl:equivalentClass
[ a owl:Restriction ;
owl:onProperty inFamily ;
owl:hasValue Family_1
] .
I believe the following two statements will be inferred:
W1 a Family_1_Widget .
W2 a Family_1_Widget .
Is there a pattern to create an instance that represents all the
members of Family_1_Widget, call it Family_1_Widgets (note the
plural), such that it could be the object in a statement which
included a transitive property that then targeted all of the
individual members. Meaning I want to assert the statement:
ProductInfo describes Family_1_Widgets . # Note plural !!
And have the following two statements inferred:
ProductInfo describes W1 .
ProductInfo describes W2 .
Thanks again,
--mike
--
Michael Erickson
Received on Sunday, 24 July 2011 16:50:13 UTC