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

Re: Logical markup Language

• To: <xml-dev@l...>
• Subject: Re: Logical markup Language
• From: "Rick Jelliffe" <ricko@a...>
• Date: Mon, 24 Jun 2002 14:02:24 +1000
• References: <016901c21af5$f5275320$0200a8c0@e...> <3D163BB5.31362495@p...> <01a201c21b00$de9127c0$0200a8c0@e...> <3D16463F.4010407@t...> <4.2.0.58.20020623183243.01967258@p...> <003101c21b0b$0f3de520$ae8c8890@q...>

The Schematron schema language lets you test logical statements
about a document tree and providing detailed natural language
statements, including statements with queried values embedded.

It is a rule-chaining language (no backtracking) so it might not be
what you are thinking of as a "logical markup language" but it
seems to fulfill all your criteria.

The rule syntax is XML. The logic syntax is XPath. 

It was developed at the Computing Centre of the prestige Taiwanese research
institution Academia Sinica (ASCC), and several other researches developed
similar approaches independently at the same time (XLinkit, XCSL).
It currently undergoing ISO standardization.  

The main references are:
     RDDL directory  http://www.ascc.net/xml/schematron
     ASCC  page http://www.ascc.net/xml/resource/schematron/schematron.html

My company, Topologi, offers a free Windows-based tool for it,
but the code is open source.  A new version with some improvements
is currently under progress.
     Topologi  http://www.topologi.com/

Cheers
Rick Jelliffe

----- Original Message ----- 
From: "Trevor Croll" <trevorcroll@f...>
To: <xml-dev@l...>
Sent: Monday, June 24, 2002 9:09 AM
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:
  • Suggestions for a slightly less verbose (and easier to author) XML
    • From: "Rob Lugt" <roblugt@e...>
  • Re: Suggestions for a slightly less verbose (and easier to author) XML
    • From: Paul Prescod <paul@p...>
  • Re: Suggestions for a slightly less verbose (and easier to author) XML
    • From: "Rob Lugt" <roblugt@e...>
  • Re: Suggestions for a slightly less verbose (and easierto author) XML
    • From: Tim Bray <tbray@t...>
  • Re: Suggestions for a slightly less verbose (and easierto author) XML
    • From: "Simon St.Laurent" <simonstl@s...>
  • Logical markup Language
    • From: "Trevor Croll" <trevorcroll@f...>

• Prev by Date: RE: DTDs, W3C Schemas, RELAX NG, Schematron?
• Next by Date: RE: DTDs, W3C Schemas, RELAX NG, Schematron?
• Previous by thread: Logical markup Language
• Next by thread: RE: Logical markup Language
• Index(es):
  • Date
  • Thread