[Automated theorem prover finds inconsistencies in DAML+OIL]

From: Mike Dean ([email protected])
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: [email protected]
Content-return: allowed
Date: Wed, 20 Jun 2001 09:27:56 -0400
From: "Kogut, Paul A" <[email protected]>
Subject: HotDAML newsletter submission
To: "'John Flynn'" <[email protected]>, "'Mike Dean'" <[email protected]>
Message-id: <[email protected]>
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