[OWL-S]: proposed update to "Expression" class

[readers of public-sws-ig: This message is in reference to an 
*incomplete, draft* version of Process.owl, which is under development 
for the upcoming release of OWL-S.  It can be found here: 
http://www.daml.org/services/owl-s/1.1/Process.owl.]

This is what I believe we agreed upon in recent telecons with respect to 
the "Expression" class and a couple related classes.  Comments welcome. 
  If no objections arise, I'll go ahead and update Process.owl with this.

Well, actually, I plan to move this and a few related classes (such as 
"Condition") into a separate OWL file, as they are not specific to services.

Regards,
David


<owl:Class rdf:ID="LogicLanguage">
   <rdfs:comment>
     An instance of this class represents a particular logical formalism,
     such as KIF, SWRL, or DRS.  At present we allow for zero or more
     URIs to be specified, which normally are references to public
     document(s)
     that define the formalism.  We anticipate a variety of other
     properties
     will be added as the requirements become better understood.
   </rdfs:comment>
</owl:Class>

<owl:DatatypeProperty rdf:ID="refURI">
   <rdfs:domain rdf:resource="#LogicLanguage"/>
   <rdfs:range rdf:resource="&xsd;anyURI"/>
</owl:DatatypeProperty>

<LogicLanguage rdf:ID="SWRL">
   <refURI rdf:datatype="&xsd;anyURI">&swrl;</refURI>
</LogicLanguage>

<LogicLanguage rdf:ID="DRS">
   <refURI rdf:datatype="&xsd;anyURI">&drs;</refURI>
</LogicLanguage>

<owl:Class rdf:ID="Expression">
   <rdfs:subClassOf>
     <owl:Restriction>
       <owl:onProperty rdf:resource="#expressionLanguage"/>
       <owl:cardinality 
rdf:datatype="&xsd;nonNegativeInteger">1</owl:cardinality>
     </owl:Restriction>
   </rdfs:subClassOf>
   <rdfs:subClassOf>
     <owl:Restriction>
       <owl:onProperty rdf:resource="#expressionBody"/>
       <owl:cardinality 
rdf:datatype="&xsd;nonNegativeInteger">1</owl:cardinality>
     </owl:Restriction>
   </rdfs:subClassOf>
</owl:Class>

<owl:ObjectProperty rdf:ID="expressionLanguage">
   <rdfs:domain rdf:resource="#Expression"/>
   <rdfs:range rdf:resource="#LogicLanguage"/>
</owl:ObjectProperty>

<owl:DatatypeProperty rdf:ID="expressionBody">
   <rdfs:domain rdf:resource="#Expression"/>
</owl:DatatypeProperty>

<owl:Class rdf:ID="SWRL-Expression">
   <rdfs:subClassOf>
     <owl:Restriction>
       <owl:onProperty rdf:resource="#expressionLanguage"/>
       <owl:hasValue rdf:resource="#SWRL" />
     </owl:Restriction>
   </rdfs:subClassOf>
   <rdfs:subClassOf>
     <owl:Restriction>
       <owl:onProperty rdf:resource="#expressionBody"/>
       <owl:allValuesFrom rdf:resource="&rdf;#XMLLiteral" />
     </owl:Restriction>
   </rdfs:subClassOf>
</owl:Class>

<owl:Class rdf:ID="DRS-Expression">
   <rdfs:subClassOf>
     <owl:Restriction>
       <owl:onProperty rdf:resource="#expressionLanguage"/>
       <owl:hasValue rdf:resource="#DRS" />
     </owl:Restriction>
   </rdfs:subClassOf>
   <rdfs:subClassOf>
     <owl:Restriction>
       <owl:onProperty rdf:resource="#expressionBody"/>
       <owl:allValuesFrom rdf:resource="&rdf;#XMLLiteral" />
     </owl:Restriction>
   </rdfs:subClassOf>
</owl:Class>

Received on Wednesday, 28 April 2004 21:30:03 UTC