Re: Updated: CONCRETE SYNTAX FOR RULES LITE

From: Mike Dean ([email protected])
Date: 09/16/03

  • Next message: Benjamin Grosof: "sorry to miss yesterday's JC telecon -- a personal event intervened (my grandmother died)"
    As discussed during today's telecon, I updated the OWL
    ontology [1] and instances [2] and added the XML-based rules
    [3].  I'm pretty happy with the result.
    
    Several notes:
    
      1) I used a bNode with flankedBy and added a comment to
      OceanPair to make more clear that this is an n-ary
      relation.
    
      2) I used an owl:versionInfo statement in [3] as an
      example of a non-imported fact.
    
      3) owl:versionInfo also shows a need to be able to use
    
        <ind>value</ind>
    
      or more fully
    
        <ind rdf:datatype="uri">value</ind>
    
      to fully express RDF literal values.  This is a different
      use from symbolic names (at least for languages that
      distinguish among symbols, strings, and other data types).
    
      4) Shouldn't
    
        <!ELEMENT facto ((_opr, (ind | var)) |
                         (_opr, (ind | var), (ind | var)))>
    
      just be
    
        <!ELEMENT facto ((_opr, ind)) |
                         (_opr, ind, ind))>
    
    Thanks!
    
    	Mike
    
    [1] http://www.daml.org/2003/06/ruletests/ocean-ont
    
    [2] http://www.daml.org/2003/06/ruletests/oceans
    
    [3] http://www.daml.org/2003/06/ruletests/ocean-rules
    


    This archive was generated by hypermail 2.1.4 : 09/16/03 EST