[Automated theorem prover finds inconsistencies in DAML+OIL]

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

Next message: Peter F. Patel-Schneider: "Coordination between RDF(S) and DAML+OIL"
Previous message: Ian Horrocks: "Framework for specifying "reasonable" properties"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
Mail actions: [ respond to this message ] [ mail a new topic ]

See [1] and the message below.

	Mike

[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)

John,

Here is a paragraph for your next newsletter issue.

 <<finalhothead.txt>> 
Thanks,
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

Next message: Peter F. Patel-Schneider: "Coordination between RDF(S) and DAML+OIL"
Previous message: Ian Horrocks: "Framework for specifying "reasonable" properties"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
Mail actions: [ respond to this message ] [ mail a new topic ]

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