Re: Updated: CONCRETE SYNTAX FOR RULES LITE

• Previous message: Mike Dean: "Re: Updated: CONCRETE SYNTAX FOR RULES LITE"
• Maybe in reply to: Harold Boley: "Updated: CONCRETE SYNTAX FOR RULES LITE"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
• Mail actions: [ respond to this message ] [ mail a new topic ]

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

• Next message: Benjamin Grosof: "sorry to miss yesterday's JC telecon -- a personal event intervened (my grandmother died)"
• Previous message: Mike Dean: "Re: Updated: CONCRETE SYNTAX FOR RULES LITE"
• Maybe in reply to: Harold Boley: "Updated: CONCRETE SYNTAX FOR RULES LITE"
• 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 : 09/16/03 EST