xom-interest AT lists.ibiblio.org
Subject: XOM API for Processing XML with Java
List archive
Re: [XOM-interest] Validating Against Relax NG Schemas?
- From: "Steve Loughran" <steve.loughran AT gmail.com>
- To: "Randall R Schulz" <rschulz AT sonic.net>
- Cc: xom-interest AT lists.ibiblio.org
- Subject: Re: [XOM-interest] Validating Against Relax NG Schemas?
- Date: Wed, 25 Oct 2006 22:52:11 +0100
On 25/10/06, Randall R Schulz <rschulz AT sonic.net> wrote:
The source of the information represented by these internal types is a
variety of human-oriented logic languages (KIF and the TPTP problem
format, e.g.). The internal data structures are used by theorem-proving
and logic programming algorithms. The purpose for the XML repository is
largely to add support for creating human-interfaces for building and
managing theory libraries and knowledge bases. So while there's a
single internal representation for the formulas, there are several
external ones, XML being the newest.
Is Java really the right language for all this? I dont want to
advocate something like swi-prolog, but sometimes 'legacy'
logic/constraint languages are better than OO things.
I might add that building Web interfaces using JSP and custom tags, (my
first attempt) is much too tedious for my taste and still doesn't
address content persistence. Using XML and its toolset gives me a huge
leg up in persistence, content management and Web-based UI
construction.
]
Well, once you embrace the XML space, there is Apache Cocoon and
NetKernel. JSP[X] pages are just servlets turned inside out and a
build process to match.
-steve
-
[XOM-interest] Validating Against Relax NG Schemas?,
Randall R Schulz, 10/25/2006
-
Re: [XOM-interest] Validating Against Relax NG Schemas?,
Wolfgang Hoschek, 10/25/2006
-
Re: [XOM-interest] Validating Against Relax NG Schemas?,
Randall R Schulz, 10/25/2006
-
Re: [XOM-interest] Validating Against Relax NG Schemas?,
Wolfgang Hoschek, 10/25/2006
-
Re: [XOM-interest] Validating Against Relax NG Schemas?,
Randall R Schulz, 10/25/2006
-
Re: [XOM-interest] Validating Against Relax NG Schemas?,
Steve Loughran, 10/25/2006
- Re: [XOM-interest] Validating Against Relax NG Schemas?, Randall R Schulz, 10/25/2006
-
Re: [XOM-interest] Validating Against Relax NG Schemas?,
Steve Loughran, 10/25/2006
-
Re: [XOM-interest] Validating Against Relax NG Schemas?,
Randall R Schulz, 10/25/2006
- Re: [XOM-interest] Validating Against Relax NG Schemas?, Wolfgang Hoschek, 10/25/2006
-
Re: [XOM-interest] Validating Against Relax NG Schemas?,
Wolfgang Hoschek, 10/25/2006
-
Re: [XOM-interest] Validating Against Relax NG Schemas?,
Randall R Schulz, 10/25/2006
-
Re: [XOM-interest] Validating Against Relax NG Schemas?,
Wolfgang Hoschek, 10/25/2006
Archive powered by MHonArc 2.6.24.