From owner-freebsd-doc@FreeBSD.ORG Wed Apr 18 13:01:54 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 5558516A400 for ; Wed, 18 Apr 2007 13:01:54 +0000 (UTC) (envelope-from gabor@FreeBSD.org) Received: from server.t-hosting.hu (server.t-hosting.hu [217.20.133.7]) by mx1.freebsd.org (Postfix) with ESMTP id 125E213C489 for ; Wed, 18 Apr 2007 13:01:54 +0000 (UTC) (envelope-from gabor@FreeBSD.org) Received: from localhost (localhost [127.0.0.1]) by server.t-hosting.hu (Postfix) with ESMTP id 597769F2834; Wed, 18 Apr 2007 14:46:01 +0200 (CEST) X-Virus-Scanned: amavisd-new at t-hosting.hu Received: from server.t-hosting.hu ([127.0.0.1]) by localhost (server.t-hosting.hu [127.0.0.1]) (amavisd-new, port 10024) with LMTP id E8BoQRlcX6+K; Wed, 18 Apr 2007 14:45:57 +0200 (CEST) Received: from [192.168.2.186] (catv-5063f539.catv.broadband.hu [80.99.245.57]) (using TLSv1 with cipher DHE-RSA-AES256-SHA (256/256 bits)) (No client certificate requested) by server.t-hosting.hu (Postfix) with ESMTP id 4D5889F262C; Wed, 18 Apr 2007 14:45:57 +0200 (CEST) Message-ID: <462612F5.1060108@FreeBSD.org> Date: Wed, 18 Apr 2007 14:45:41 +0200 From: Gabor Kovesdan User-Agent: Thunderbird 1.5.0.10 (Windows/20070221) MIME-Version: 1.0 To: Christian References: <7487D02EE66AEB42BFE1F528FF10AB8C63AD08@minerva.IFIS.uni-passau.de> In-Reply-To: <7487D02EE66AEB42BFE1F528FF10AB8C63AD08@minerva.IFIS.uni-passau.de> Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 8bit Cc: FreeBSD-doc@FreeBSD.org Subject: Re: 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: Wed, 18 Apr 2007 13:01:54 -0000 Schönberg schrieb: > 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=VerDiKt&lang=en (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. > Hello Chris, the legal restrictions on the documents are very liberal, the only limitations are that both the SGML source and any kind of processed output must retain/reproduce the original copyright message. Your comments and suggestions on our documentation set is more than welcome. If you have any questions/help regarding our doc infrastructure, feel free to poke me. Regards, Gabor