[Automated theorem prover finds inconsistencies in DAML+OIL]

From: Mike Dean (mdean@bbn.com)
Date: 06/20/01

See [1] and the message below.


[1] http://vis.home.mindspring.com

------- Forwarded Message

Return-Path: paul.a.kogut@lmco.com
Content-return: allowed
Date: Wed, 20 Jun 2001 09:27:56 -0400
From: "Kogut, Paul A" <paul.a.kogut@lmco.com>
Subject: HotDAML newsletter submission
To: "'John Flynn'" <jflynn@bbn.com>, "'Mike Dean'" <mdean@bbn.com>
Message-id: <079B626B05A0D3118B1000508B0EA5E904CD4F7F@emss04m05.ems.lmco.com>
MIME-version: 1.0
X-Mailer: Internet Mail Service (5.5.2653.19)


Here is a paragraph for your next newsletter issue.

Paul Kogut

Automated theorem prover finds inconsistencies in DAML+OIL.

The UBOT project <http://ubot.lockheedmartin.com/>
has successfully applied its consistency checking
technology to the DAML+OIL axiomatic semantics, uncovering a number of
previously unsuspected inconsistencies.  The UBOT ConsVISor
consistency checking tool can be used to check both ontologies and
annotations.  It will be available on the web for trial use in mid-July.

See <http://vis.home.mindspring.com/> for more detailed information.

------- End of Forwarded Message

This archive was generated by hypermail 2.1.4 : 04/02/02 EST