[XML-DEV Mailing List Archive Home] [By Thread] [By Date] [Recent Entries] [Reply To This Message]

RE: Logical markup Language

• To: "Trevor Croll" <trevorcroll@f...>,<xml-dev@l...>
• Subject: RE: Logical markup Language
• From: "Danny Ayers" <danny666@v...>
• Date: Mon, 24 Jun 2002 10:46:34 +0200
• Importance: Normal
• In-reply-to: <003101c21b0b$0f3de520$ae8c8890@q...>

Hi Trevor,

The closest thing I can think of to what you're talking about is RuleML, or
even the markup I used for a simple expert system for the Palm [2] (this
certainly isn't standard!).

A lot of work has been done on this kind of thing with RDF, which has an XML
syntax (amongst others) e.g. [4] (this actually uses Notation 3, but the
same stuff can be expressed in RDF/XML), also [5], and logic plays a huge
role in DAML [6].

[1] http://www.dfki.uni-kl.de/ruleml/
[2] http://www.isacat.net/2001/code/kex.htm
[3] http://www.w3.org
[4] http://www.w3.org/2000/10/swap/Primer
[5] http://www.w3.org/2000/01/sw/#access
[6] http://www.daml.org/

Cheers,
Danny.

---
Danny Ayers
<stuff> http://www.isacat.net </stuff>


>-----Original Message-----
>From: Trevor Croll [mailto:trevorcroll@f...]
>Sent: 24 June 2002 01:10
>To: xml-dev@l...
>Subject:  Logical markup Language
>
>
>There does not seem to be a logical markup language, A language where a
>problem  or a set of problems can be defined as a tree of options where the
>nodes of the tree state the logical operation that should be applied to the
>sub nodes and attributes indicate the state of the nodes such as true or
>false such that a recursive decent can determine a truth about the tree.
>
>Is ther such a beast, could there be one as a subset of another markup
>specification.
>
>In many situations if A and B then true, but B could be C or D or E or F,
>and F could be Not G and Not H
>
>I know there are other ways of doing this but there could be a sentence
>attached to A explaining what happened and why this should be
>true, and when
>the tree is parsed and displayed a complete logical sentence could be
>produced that verifies the truth/False result
>
>Trevor Croll
>
>
>-----------------------------------------------------------------
>The xml-dev list is sponsored by XML.org <http://www.xml.org>, an
>initiative of OASIS <http://www.oasis-open.org>
>
>The list archives are at http://lists.xml.org/archives/xml-dev/
>
>To subscribe or unsubscribe from this list use the subscription
>manager: <http://lists.xml.org/ob/adm.pl>
>

• References:
  • Logical markup Language
    • From: "Trevor Croll" <trevorcroll@f...>

• Prev by Date: Namespace declaration using DOM
• Next by Date: Re: Suggestions for a slightly less verbose (and easier to author) XML
• Previous by thread: Re: Logical markup Language
• Next by thread: Re: Suggestions for a slightly less verbose (and easiertoauthor) XML
• Index(es):
  • Date
  • Thread