- 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