DALI-a knowledge base management system

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

DALI-a knowledge base management system

Full text

Pdf (1.04 MB)

Source

International conference on Industrial and engineering applications of artificial intelligence and expert systems archive
Proceedings of the 1st international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 2 table of contents

Tullahoma, Tennessee, United States

Pages: 837 - 846

Year of Publication: 1988

ISBN:0-89791-271-3

Authors

C. F. Eick	Univ. of Houston, Houston, TX
R. Kochhar	Univ. of Houston, Houston, TX
S. Kumar	Univ. of Houston, Houston, TX

Sponsor

SIGART: ACM Special Interest Group on Artificial Intelligence

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 1, Downloads (12 Months): 20, Citation Count: 2

Additional Information:

references cited by index terms collaborative colleagues peer to peer

Tools and Actions:	Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/55674.55698 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	ABR 74	Abrial, J.R.: Data Semantics; Proc. IFIP TC~ Conference, Cargese, North HoUand(1984).
	AHL 85	Ahlsen,M.; Bjornerstedt, A.; Hulten, C.: OPAL - an Object- Based System for Application Development; Database Enginerring, Vol.8, No,i,pp.81-41(Dec. 1985).
	BAL 85	Batzert, Robert: Automated Enhancement of Knowledge Representation; Proc. iJCAI, pp.g03-207, Los Angeles(t985)
	BANC 81	Bancilhon, F.; Spiratos,N.: Data Base Mappings - Theory and Application; Advanced Seminar on Theoretical Issues in Databases, Cetraro{1983).
	BOR 85	Alexander Borgida, Language features for flexible handling of exceptions in information systems, ACM Transactions on Database Systems (TODS), v.10 n.4, p.565-603, Dec. 1985 [doi>10.1145/4879.4995]
	BUC 84	Buchanan, Bruce G.;Shortliffe,E.: Rule-based Expert Systems; Addison- Wesley(1984).
	CAMP 84	John A. Campbell, Implementation of PROLOG, Prentice Hall PTR, Upper Saddle River, NJ, 1984
	CER 83	Stefano Ceri, Methodology and Tools for Data Design, Elsevier Science Inc., New York, NY, 1983
	DAV 82	Randall Davis , Douglas B. Lenat, Knowledge-Based Systems in Artificial Intelligence: 2 Case Studies, McGraw-Hill, Inc., New York, NY, 1982
	DKL 85	Derett, N.; Kent, W.; Lynbaek, P.: Some aspects of operations in an object oriented data base; Database Engineering~ Vol. 8, No. 4, pp.66-75(Dec. 1985).
	EICK 84	Christoph F. Eick, From Natural Language Requirements to good Data Base Definitions - A Data Base Design Methodology, Proceedings of the First International Conference on Data Engineering, p.324-331, April 24-27, 1984
	EIL 85	Christoph F. Eick , Peter C. Lockemann, Acquisition of terminological knowledge using database design techniques, Proceedings of the 1985 ACM SIGMOD international conference on Management of data, p.84-94, May 1985, Austin, Texas, United States
	ELMA 86	Elmasri, Ramez;Moore,R.;Srinivas,P.: Semantic Integrity of High Level Database Transactions; submitted for publication.
	HSU 85	Arding Hsu , Tomasz Imielinski, Integrity checking for multiple updates, Proceedings of the 1985 ACM SIGMOD international conference on Management of data, p.152-168, May 1985, Austin, Texas, United States
	ISO W3 82	ISO//TCgT~SC5~WG3: Concepts and Terminology for the Conceptual Schema and the Information Base; publication number N695(1982).
	KEE 86	IntelliCorp.: KEE Software Developement System Training Manual; IntelliCorp document number 2.1- TZ-~(Jan. 1986).
	KER 85	Larry Kerschberg , Michael Brodie , Charles Kellogg , D. Stott Parker , Gio Wiederhold , Carlo Zaniolo, Expert database systems (workshop review), Proceedings of the 1985 ACM SIGMOD international conference on Management of data, p.414-417, May 1985, Austin, Texas, United States
	KK 83	KaehlerjT.; KrasnersG.: LOOM- Large Object Oriented Memory for Smalltatk-80 Systems; in SSSmalltalk-80, Bits of History, Words of Advice'spp.251-270s Addison Wesley(1983).
	KO 84	Isamu Kobayashi, validating database updates, Information Systems, v.9 n.1, p.1-17, 1984 [doi>10.1016/0306-4379(84)90012-7]
	KOC 88	Kochhar, R.: Function Management for Knowledge Based Systems; Master Thesis; University of Houston(Feb. 1988).
	LAW 87	Laws Keith: Data Management for Knowledge Based Systems; Master Thesis, University of Houston(July 1987).
	LOG 84	Proc. IEEE International Symposium on Logic Programming, Atlantic Cityf l O&t).
	LIU 88	Liu: Efficient Access to Knowledge Bases; Master Thesis; University of Houston(to appear in Summer 1988).
	MBW 80	John Mylopoulos , Philip A. Bernstein , Harry K. T. Wong, A language facility for designing database-intensive applications, ACM Transactions on Database Systems (TODS), v.5 n.2, p.185-207, June 1980 [doi>10.1145/320141.320150]
	McL 78	McLeodsDe.: A Semantic Data Base Model and its associated structured user interfaces PhD Dissertation MIT, MIT/L cs/ rne~4 (~ 97s).
	MO 82	Noto-Oka(ed.): Fifth Generation Computer Systems; North Holland(1982).
	NIC 82	Nicolas, J.M.: Logic for Improving integrity Checking in Relational Databases; Acts Informal;ca, pp.227-253(1982).
	RS 87	C. V. Ramamoorthy , Phillip C.-Y. Sheu, Logic-oriented Object Bases, Proceedings of the Third International Conference on Data Engineering, p.218-225, February 03-05, 1987
	SKM 87	Kumars Suresh: Consistency Enforcement and Exception Handling for Knowledge Based Systems; Master Thesis; University of Houston(Jan. 1988).
	SHU 76	Schubert, Lenart: Extending the expressive power of semantic networks; Artificial InteIligencespp. 163-198(1976).
	STO 87	Michael Stonebraker , Eric N. Hanson , Chin-Heng Hong, The Design of the Postgres Rules System, Proceedings of the Third International Conference on Data Engineering, p.365-374, February 03-05, 1987
	SYM 84	Symbolics Inc.: Symbolics 3600 Technical Summary; Cambridge(198~).
	TIB 84	Jaques Tiberghien, New Computer Architectures, Academic Press, Inc., Orlando, FL, 1984
	WAT 85	Donald A. Waterman, A guide to expert systems, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1985

CITED BY 2

	C. F. Eick , P. Werstein, Rule-Based Consistency Enforcement for Knowledge-Based Systems, IEEE Transactions on Knowledge and Data Engineering, v.5 n.1, p.52-64, February 1993
	Pamela A. Taylor , Dana L. Wyatt, Database and artificial intelligence integration: a challenge to academia, ACM SIGCSE Bulletin, v.24 n.4, p.35-42, Dec. 1992

INDEX TERMS

Primary Classification:
H. Information Systems
H.2 DATABASE MANAGEMENT

General Terms:
Design, Languages, Verification

Collaborative Colleagues:

C. F. Eick: colleagues

R. Kochhar: colleagues

S. Kumar: colleagues

Peer to Peer - Readers of this Article have also read:

Constructing reality Proceedings of the 11th annual international conference on Systems documentation
Douglas A. Powell , Norman R. Ball , Mansel W. Griffiths
Data structures for quadtree approximation and compression Communications of the ACM 28, 9
Hanan Samet
A hierarchical single-key-lock access control using the Chinese remainder theorem Proceedings of the 1992 ACM/SIGAPP Symposium on Applied computing
Kim S. Lee , Huizhu Lu , D. D. Fisher
An intelligent component database for behavioral synthesis Proceedings of the 27th ACM/IEEE Design Automation Conference on
Gwo-Dong Chen , Daniel D. Gajski
The GemStone object database management system Communications of the ACM 34, 10
Paul Butterworth , Allen Otis , Jacob Stein

Adobe Acrobat

QuickTime

Windows Media Player

Real Player