Question on consistency and semantic checks in knowledge bases

Article View: comp.ai

Article #1218

#1218

From: Gerald Baumgartner
Date: Thu, 18 Jan 1990 15:07

38 lines
1498 bytes


                                              December 18th,
                                              Hagenberg - Linz,
                                              Austria, Europe



   Dear subscribers,

I am interested in writing my PhD thesis on the general area
of semantic checks on knowledge bases. One concern of course
is to determine whether knowledge bases are internally
consistent (or whether several knowledge bases are consistent
with each other).
Other issues concern the completeness of a knowledge base, as
measured against some domain model.

I would be greatful if you could point me to some researchers
working on these topics, or to relevant literature.



Please send information to:
       Thomas Moritz
       Research Institute for Symbolic Computation
       Schloss Hagenberg
       4232 Hagenberg / Linz
       Austria (Europe)
       Tel. (7236)3231-64
       Fax. (7236)333830
       e-mail K313670@AEARN.BITNET

Your informations will be very important for my future work.

I appreciate your effort.

Th. M.

Technical Details

Message-ID: <9304@medusa.cs.purdue.edu>

Path: arc1-ca.pugleaf.net!utzoo!utgpu!jarvis.csri.toronto.edu!mailrus!iuvax!purdue!gb

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!utzoo!utgpu!jarvis.csri.toronto.edu!mailrus!iuvax!purdue!gb
From: gb@cs.purdue.EDU (Gerald Baumgartner)
Newsgroups: comp.ai
Subject: Question on consistency and semantic checks in knowledge bases
Keywords: knowledge bases, consistency, semantic checks
Message-ID: <9304@medusa.cs.purdue.edu>
Date: 18 Jan 90 15:07:29 GMT
Organization: Department of Computer Science, Purdue University
Lines: 38