{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,2,9]],"date-time":"2023-02-09T16:12:41Z","timestamp":1675959161018},"reference-count":70,"publisher":"Hindawi Limited","issue":"3","license":[{"start":{"date-parts":[[2015,9,1]],"date-time":"2015-09-01T00:00:00Z","timestamp":1441065600000},"content-version":"tdm","delay-in-days":5356,"URL":"http:\/\/doi.wiley.com\/10.1002\/tdm_license_1.1"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Intell. Syst."],"published-print":{"date-parts":[[2001,3]]},"DOI":"10.1002\/1098-111x(200103)16:3<425::aid-int1016>3.0.co;2-c","type":"journal-article","created":{"date-parts":[[2002,8,25]],"date-time":"2002-08-25T19:16:29Z","timestamp":1030302989000},"page":"425-447","source":"Crossref","is-referenced-by-count":2,"title":["Verification, validation, and integrity issues in expert and database systems: Two perspectives"],"prefix":"10.1155","volume":"16","author":[{"given":"Frans","family":"Coenen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Barry","family":"Eaglestone","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mick","family":"Ridley","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"98","published-online":{"date-parts":[[2001]]},"reference":[{"key":"BIB1","volume-title":"Foundations of databases.","author":"Abiteboul","year":"1995","unstructured":"Foundations of databases. Reading, MA: Addison-Wesley; 1995."},{"key":"BIB2","author":"Aiken","unstructured":"Behaviour of database production rules: Termination, confluence and observable determinism. In: Proceedings ACM SIGMOD, International Conference on the Management of Data, 1992. p 59-68."},{"key":"BIB3","author":"Alexiev","year":"1993","unstructured":"Bibliography on integrating object-oriented and logic programming, 1993. ftp:\/\/ftp.cs.ualberta.ca\/pub\/oolog\/oolog-bib.ps.gz."},{"key":"BIB4","year":"1998","unstructured":"ANSI. SQL3 drafts and discussion documents can be found at ftp:\/\/speckle.mcsl.nist.gov\/isowg3\/dbl, 1998."},{"key":"BIB5","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1016\/B978-0-444-88433-6.50020-4","volume-title":"Deductive and object-oriented databases","author":"Atkinson","year":"1990","unstructured":"et al. The object-oriented database system manifesto. In: editors. Deductive and object-oriented databases; 1990. p 223-239."},{"key":"BIB6","volume-title":"Validation, verification and testing of knowledge based systems","author":"Ayel","year":"1991","unstructured":"Validation, verification and testing of knowledge based systems. United Kingdom: John Wiley & Sons; 1991."},{"key":"BIB7","volume-title":"Conceptual database design.","author":"Batini","year":"1992","unstructured":"Conceptual database design. Redwood City, CA: Benjamin-Cummings; 1992."},{"key":"BIB8","volume-title":"Knowledge representation: An approach to artificial intelligence","author":"Bench-Capon","year":"1990","unstructured":"Knowledge representation: An approach to artificial intelligence. London: Academic Press; 1990."},{"key":"BIB9","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1145\/320493.320489","volume":"1","author":"Bernstein","year":"1976","journal-title":"ACM Trans Database Syst"},{"key":"BIB10","volume-title":"Software engineering economics.","author":"Bohem","year":"1981","unstructured":"Software engineering economics. New York: Prentice Hall; 1981."},{"key":"BIB11","volume-title":"Object-oriented analysis and design with applications","author":"Booch","year":"1994","unstructured":"Object-oriented analysis and design with applications. 2nd ed. Redwood City, CA: Benjamin-Cummings; 1994."},{"key":"BIB12","author":"Booch","year":"1996","unstructured":"et al. UML resource center, 1996. http:\/\/www.rational.com\/uml\/index.html."},{"key":"BIB13","first-page":"253","volume-title":"Research and development in expert system XIV.","author":"Bouali","year":"1997","unstructured":"Verification and revision of rule bases. In: editors. Research and development in expert system XIV. SGES Publications; 1997. p 253-264."},{"key":"BIB14","volume-title":"Prolog programming for artificial intelligence.","author":"Bratko","year":"1986","unstructured":"Prolog programming for artificial intelligence. Wokingham, United Kingdom: Addison-Wesley; 1986."},{"key":"BIB15","volume-title":"Migrating legacy systems: Gateways, interfaces, and the incremental approach","author":"Brodie","year":"1995","unstructured":"Migrating legacy systems: Gateways, interfaces, and the incremental approach. San Mateo, CA: Morgan Kaufmann; 1995."},{"key":"BIB16","volume-title":"Object-oriented multidatabase systems: A solution for advanced applications.","author":"Bukhres","year":"1996","unstructured":"editors. Object-oriented multidatabase systems: A solution for advanced applications. Englewood Cliffs, NJ: Prentice Hall; 1996."},{"key":"BIB17","doi-asserted-by":"crossref","first-page":"471","DOI":"10.1145\/6041.6042","volume":"17","author":"Cardelli","year":"1985","journal-title":"ACM Comput Surveys"},{"key":"BIB18","volume-title":"The object database standard: ODMG 2.0","author":"Cattell","year":"1997","unstructured":"editors. The object database standard: ODMG 2.0. San Francisco: Morgan Kaufmann; 1997."},{"key":"BIB19","doi-asserted-by":"crossref","DOI":"10.1109\/69.43410","volume":"1","author":"Ceri","year":"1989","journal-title":"IEEE Trans Knowledge Data Eng"},{"key":"BIB20","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1016\/0957-4174(90)90003-D","volume":"1","author":"Chang","year":"1990","journal-title":"Expert Syst Appl"},{"key":"BIB21","volume-title":"Programming in Prolog","author":"Clocksin","year":"1984","unstructured":"Programming in Prolog. 2nd ed. 1984."},{"key":"BIB22","doi-asserted-by":"crossref","first-page":"377","DOI":"10.1145\/362384.362685","volume":"13","author":"Codd","year":"1970","journal-title":"Commun ACM"},{"key":"BIB23","volume-title":"Maintenance of knowledge-based systems: Theory, techniques and tools","author":"Coenen","year":"1993","unstructured":"Maintenance of knowledge-based systems: Theory, techniques and tools. London: Academic Press; 1993."},{"key":"BIB24","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1016\/0950-7051(95)96217-F","volume":"8","author":"Coenen","year":"1995","journal-title":"J Knowledge-Based Syst"},{"key":"BIB25","first-page":"6","volume-title":"Database and expert systems applications. Workshop Proceedings DEXA'98","author":"Coenen","year":"1998","unstructured":"Verification and validation issues in expert and database systems: The expert systems perspective. In: editor. Database and expert systems applications. Workshop Proceedings DEXA'98. Vienna: IEEE; 1998. p 6-21."},{"key":"BIB26","first-page":"177","author":"Colmerauer","year":"1987","journal-title":"BYTE"},{"key":"BIB27","author":"Conrad","unstructured":"Research issues in federated database systems; Report of EFDBS'97 Workshop, SIGMOD, December, 1997."},{"key":"BIB28","author":"Craw","unstructured":"Automating the refinement of KBS. In: Proceedings of the Eleventh Conference on Artificial Intelligence, 1990."},{"key":"BIB29","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1006\/ijhc.1996.0012","volume":"44","author":"Craw","year":"1996","journal-title":"Int J Human Comput Stud"},{"key":"BIB30","volume-title":"Relational databases.","author":"Eaglestone","year":"1991","unstructured":"Relational databases. Stanley Thornes: Cheltenham, UK; 1991."},{"key":"BIB31","volume-title":"Object databases: A Introduction.","author":"Eaglestone","year":"1998","unstructured":"Object databases: A Introduction. New York: McGraw Hill; 1998."},{"key":"BIB32","doi-asserted-by":"crossref","DOI":"10.1017\/S0269888900007566","volume":"10","author":"Fensel","year":"1995","journal-title":"Knowledge Eng Rev"},{"key":"BIB33","author":"Ginsberg","unstructured":"Knowledge base reduction: A new approach to checking knowledge bases for inconsistency and redundancy. In: Proceedings AAAI'88, 1988."},{"key":"BIB34","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1006\/ijhc.1996.0010","volume":"44","author":"van Harmelen","year":"1996","journal-title":"J Human Comput Stud"},{"key":"BIB35","series-title":"DEXA'98, Lect","first-page":"333","volume-title":"Formal specification, object oriented design and implementation of an ephemeral logger for database systems.","volume":"1134","author":"Hennessey","year":"1996","unstructured":"Formal specification, object oriented design and implementation of an ephemeral logger for database systems. DEXA'98, Lecture Notes in Computer Science. Berlin\/New York: Springer-Verlag; 1996. Vol 1134, p 333-355."},{"key":"BIB36","volume-title":"Constraint satisfaction in logic Programming.","author":"van Hentenryck","year":"1989","unstructured":"Constraint satisfaction in logic Programming. Cambridge, MA: MIT Press, 1989."},{"key":"BIB37","volume-title":"The Godel programming language.","author":"Hill","year":"1994","unstructured":"The Godel programming language. Cambridge, MA: MIT Press; 1994."},{"key":"BIB38","doi-asserted-by":"crossref","first-page":"275","DOI":"10.1016\/B978-0-934613-40-8.50012-9","volume-title":"Foundations of deductive databases and logic programming.","author":"Imielinski","year":"1988","unstructured":"Intelligent query answering in rule based systems. In: editor. Foundations of deductive databases and logic programming. San Mateo, CA: Morgan Kaufmann; 1988. p 275-312."},{"key":"BIB39","volume-title":"Object-oriented software engineering.","author":"Jacobson","year":"1992","unstructured":"Object-oriented software engineering. Reading, MA: Addison-Wesley; 1992."},{"key":"BIB40","author":"Jaffer","unstructured":"Constraint logic programming. In: Proceedings of the 14th ACM Conference on Principles of Programming Languages (POPL), Munich, 1987."},{"key":"BIB41","doi-asserted-by":"crossref","first-page":"26","DOI":"10.1006\/jcss.1995.1051","volume":"51","author":"Kanellakis","year":"1995","journal-title":"J Comput Syst Sci"},{"key":"BIB42","author":"Karadimce","unstructured":"Refined trigger graphs: A logic-based approach to termination analysis in an active object-oriented database management systems. In: International Conference on Data Engineering 1996. p 384-391."},{"key":"BIB43","author":"Kaushal","unstructured":"View-based support for transparent schema evolution in federated database systems. In: Workshop on Issues and Applications of Database Technology. Part of 3rd Biennial World Conference on Integrated Design & Process Technology, (IDPT'98), 1998."},{"key":"BIB44","volume-title":"Proceedings from the First International Conference.","author":"Kerschberg","year":"1986","unstructured":"editor. Expert database systems: Proceedings from the First International Conference. Redwood City, CA: Benjamin-Cummings; 1986."},{"key":"BIB45","first-page":"61","volume-title":"Proceedings of 13th Very Large Data Bases Conference","author":"Kowalski","year":"1987","unstructured":"Integrity checking in deductive databases. In: Proceedings of 13th Very Large Data Bases Conference Brighton, U.K.: Morgan Kaufmann; 1987. p 61-69."},{"key":"BIB46","series-title":"Lecture Notes","doi-asserted-by":"crossref","first-page":"182","DOI":"10.1007\/BFb0022030","volume-title":"Database and expert systems applications","volume":"1308","author":"Lee","year":"1997","unstructured":"Refined termination decision in active databases. In: editors. Database and expert systems applications, Proceedings DEXA'97. Lecture Notes in Computer Science. Berlin\/New York: Springer-Verlag; 1997. Vol 1308, p 182-191."},{"key":"BIB47","series-title":"Macmillan Com","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-349-11979-0","volume-title":"Database design theory.","author":"Leonard","year":"1992","unstructured":"Database design theory. Macmillan Computer Science Series. New York: Macmillan Co.; 1992."},{"key":"BIB48","author":"Levy","unstructured":"Verification of knowledge bases using containment checking. In: Proceedings of AAAI'96, 1996."},{"key":"BIB49","doi-asserted-by":"crossref","first-page":"331","DOI":"10.1016\/0743-1066(87)90009-4","volume":"4","author":"Lloyd","year":"1987","journal-title":"J Logic Program"},{"key":"BIB50","volume-title":"The theory of relational databases.","author":"Maier","year":"1983","unstructured":"The theory of relational databases. MD: Pitman Science; 1983."},{"key":"BIB51","doi-asserted-by":"crossref","DOI":"10.1057\/ejis.1993.5","volume":"2","author":"Marche","year":"1993","journal-title":"European J Inf Syst"},{"key":"BIB52","author":"Meseguer","unstructured":"Expert system validation through knowledge base refinement. In: Proceedings of the International Joint Conference on Artificial Intelligence, 1993."},{"key":"BIB53","series-title":"Lecture Notes","doi-asserted-by":"crossref","first-page":"80","DOI":"10.1007\/BFb0054470","volume-title":"Database and expert systems applications, proceedings DEXA'98, Vienna.","volume":"1460","author":"Masood","year":"1998","unstructured":"Semantics based schema integration. In: editors. Database and expert systems applications, proceedings DEXA'98, Vienna. Lecture Notes in Computer Science. Berlin\/New York: Springer-Verlag; 1998. Vol 1460, p 80-89."},{"key":"BIB54","first-page":"56","volume-title":"Database and expert systems applications. Workshop Proceedings DEXA'98.","author":"Millns","year":"1998","unstructured":"An integrity constraint for database systems containing embedded neural networks. In: editor. Database and expert systems applications. Workshop Proceedings DEXA'98. Vienna, IEEE; 1998. p 56-63."},{"key":"BIB55","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1016\/0743-1066(93)90028-F","volume":"17","author":"Minker","year":"1993","journal-title":"J Logic Program"},{"key":"BIB56","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1016\/0004-3702(82)90012-1","volume":"18","author":"Newell","year":"1982","journal-title":"Artif Intell"},{"key":"BIB57","volume-title":"Database programming languages.","author":"Paton","year":"1996","unstructured":"Database programming languages. Englewood Cliffs, NJ: Prentice-Hall; 1996."},{"key":"BIB58","doi-asserted-by":"crossref","first-page":"683","DOI":"10.1002\/int.4550090804","volume":"9","author":"Preece","year":"1994","journal-title":"Int J Intell Syst"},{"key":"BIB59","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1145\/321250.321253","volume":"12","author":"Robinson","year":"1965","journal-title":"J ACM"},{"key":"BIB60","volume-title":"Object-oriented modeling and design.","author":"Rumbaugh","year":"1991","unstructured":"Object-oriented modeling and design. Englewood Cliffs, NJ: Prentice Hall; 1991."},{"key":"BIB61","volume":"35","author":"Sj\ufffdderg","year":"1993","journal-title":"Inf Software Technol"},{"key":"BIB62","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1109\/69.50912","volume":"2","author":"Stonebraker","year":"1990","journal-title":"IEEE Trans Knowledge Data Eng"},{"key":"BIB63","volume":"19","author":"Stonebraker","year":"1990","journal-title":"Third Generation Database System Manifesto, SIGMOD Record"},{"key":"BIB64","doi-asserted-by":"crossref","first-page":"78","DOI":"10.1145\/125223.125262","volume":"34","author":"Stonebraker","year":"1991","journal-title":"Commun ACM"},{"key":"BIB65","author":"van Heijst","year":"1995","unstructured":"The role of ontologies in knowledge engineering, doctoral thesis. Amsterdam, The Netherlands: University of Amsterdam; 1995."},{"key":"BIB66","first-page":"77","author":"Vanthienen","year":"1995","journal-title":"New Rev Appl Expert Syst"},{"key":"BIB67","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1002\/stvr.4370050404","volume":"5","author":"Vermesan","year":"1995","journal-title":"Software Testing, Verification Reliability"},{"key":"BIB68","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1016\/1042-8143(92)90013-Q","volume":"4","author":"Wielinga","year":"1992","journal-title":"Knowledge Acquisition"},{"key":"BIB69","volume-title":"Artificial Intelligence","author":"Winston","year":"1992","unstructured":"Artificial Intelligence. 3rd ed. Reading, MA: Addison-Wesley; 1992."},{"key":"BIB70","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1007\/978-1-4471-3225-7_16","volume-title":"Rules in database systems.","author":"Zaniola","year":"1994","unstructured":"A unified semantics for active and deductive databases. In: editors. Rules in database systems. Berlin\/New York: Springer-Verlag; 1994. p 271-287."}],"container-title":["International Journal of Intelligent Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2F1098-111X(200103)16:3%3C425::AID-INT1016%3E3.0.CO;2-C","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/full\/10.1002\/1098-111X(200103)16:3%3C425::AID-INT1016%3E3.0.CO;2-C","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,9]],"date-time":"2023-02-09T15:37:37Z","timestamp":1675957057000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/1098-111X(200103)16:3<425::AID-INT1016>3.0.CO;2-C"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"references-count":70,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2001,3]]}},"URL":"https:\/\/doi.org\/10.1002\/1098-111x(200103)16:3<425::aid-int1016>3.0.co;2-c","relation":{},"ISSN":["0884-8173","1098-111X"],"issn-type":[{"value":"0884-8173","type":"print"},{"value":"1098-111X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2001]]}}}