From owner-freebsd-doc@FreeBSD.ORG Mon Apr 16 12:32:18 2007 Return-Path: X-Original-To: FreeBSD-doc@FreeBSD.org Delivered-To: FreeBSD-doc@FreeBSD.org Received: from mx1.freebsd.org (mx1.freebsd.org [69.147.83.52]) by hub.freebsd.org (Postfix) with ESMTP id EFC8B16A401 for ; Mon, 16 Apr 2007 12:32:18 +0000 (UTC) (envelope-from schoenbe@ifis.uni-passau.de) Received: from solimano.ifis.uni-passau.de (solimano.ifis.uni-passau.de [132.231.132.231]) by mx1.freebsd.org (Postfix) with ESMTP id 5EF5813C45D for ; Mon, 16 Apr 2007 12:32:18 +0000 (UTC) (envelope-from schoenbe@ifis.uni-passau.de) Received: from minerva.IFIS.uni-passau.de (minerva.ifis.uni-passau.de [132.231.132.10]) by solimano.ifis.uni-passau.de (8.11.7p2+Sun/8.10.2) with ESMTP id l3GCBwN05692 for ; Mon, 16 Apr 2007 14:11:59 +0200 (MEST) X-MimeOLE: Produced By Microsoft Exchange V6.5 Content-class: urn:content-classes:message MIME-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable Date: Mon, 16 Apr 2007 14:11:57 +0200 Message-ID: <7487D02EE66AEB42BFE1F528FF10AB8C63AD08@minerva.IFIS.uni-passau.de> X-MS-Has-Attach: X-MS-TNEF-Correlator: Thread-Topic: FreeBSD DocBook documents Thread-Index: AceAIG4P/3M50cBOTrKFCyFTLJ5+1A== From: =?iso-8859-1?Q?Sch=F6nberg=2C_Christian?= To: Cc: Subject: FreeBSD DocBook documents X-BeenThere: freebsd-doc@freebsd.org X-Mailman-Version: 2.1.5 Precedence: list List-Id: Documentation project List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Mon, 16 Apr 2007 12:32:19 -0000 Hi, I am working with a University research project that deals with = automated verification of semi-structured data. The goal is to check for = consistency criteria in documents that have a difficult structure, that = were created by more than one person, or that were created over a long = period of time. Possible criteria are e.g. "no topic is defined twice", = "for every definition, there must be an example somewhere", or "every = section, except for the introduction, must begin with a motivation and = end with a summary" (those were formulated for e-learning documents that = we worked with). These criteria are specified in a mixture of = description logics and temporal logics, and validated using model = checking against the document(s). Further information is available online at = http://www.im.uni-passau.de/db/projekte?project=3DVerDiKt&lang=3Den = (currently only in German, but some of the papers linked at the bottom = of the page are in English). The scope of the project is two people = working full-time, several people part-time, for 2-3 years. We are now looking for documents that can be used to test our theories = and tools. Would it be possible for us to use the FreeBSD docbook = documents for this purpose (purely scientific)? As a bonus for you, we might actually catch a few inconsistencies that = the human eye has missed so far. Kind regards, Chris P.S.: jfyi, I sent a similar request to the KDE documentation team as = well - the more test cases we have, the better.