SWRL RuleML Suggestion

• Previous message: Mike Dean: "Joint Committee telecon tomorrow 13 July"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
• Mail actions: [ respond to this message ] [ mail a new topic ]

Hello Mike and all,

As was discussed in the last JC telecon, the RuleML XSD
(http://www.daml.org/rules/proposal/ruleml.xsd) accompanying the
current version of the SWRL proposal is not fully compatible with
RuleML (http://www.ruleml.org/0.86).  Namely, rule labels in
the SWRL proposal require empty content with an href value:


 <xsd:element name="_rlab">
   <xsd:complexType>
     <xsd:attribute name="href" type="ruleml:RuleName" use="required" />
   </xsd:complexType>
 </xsd:element>

 <xsd:simpleType name="RuleName">
   <xsd:restriction base="xsd:anyURI" />
 </xsd:simpleType>


or more abstractly (from Section 5):


 <ruleml:_rlab
   ruleml:href = xsd:anyURI (required)
 >
   Content: ( )
 </ruleml:_rlab>


This use of the href attribute is different from RuleML's "webizing" use.

In RuleML the _rlab element does not allow an href attribute,
but rather contains an ind(ividual).  Allowing so-called "foreign"
individuals is still preferable to shifting them from element content to
attribute value.

For _rlab's, it would be desirable to use an OWL instance (Individual)
e.g. from http://www.daml.org/rules/proposal/swrlx.xsd,

 <xsd:element name="Ontology">
   ...
   <xsd:complexType>
     ...
     <!-- Instances -->
     <xsd:element ref="owlx:Individual" />
     ...
   </xsd:complexType>
   ...
 </xsd:element>

together with webizing via the "name" attribute of OWL's Individual
(from http://www.w3.org/TR/owl-xmlsyntax/#owls_Individual):

 <Individual
   name = xsd:anyURI
 >
   Content: (Annotation*, (type | DataPropertyValue | 
ObjectPropertyValue)* )
 </Individual>

Using these defintions, we can now use rule labels as the content of the 
_rlab
element instead of as an href attribute value.  The _rlab element 
declaration
would simply be as follows in the proposal's ruleml.xsd:

 <xsd:element name="_rlab">
   <xsd:complexType>
     <xsd:sequence>
       <xsd:element ref="owlx:Individual" />
     </xsd:sequence>
   </xsd:complexType>
 </xsd:element>


Thanks,

David and Harold

• Next message: Wagner, G.R.: "RE: SWR/ RuleML rule names"
• Previous message: Mike Dean: "Joint Committee telecon tomorrow 13 July"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
• Mail actions: [ respond to this message ] [ mail a new topic ]

This archive was generated by hypermail 2.1.4 : 07/15/04 EST