{"id":"https://openalex.org/W4250769932","doi":"https://doi.org/10.1017/s0269888900006251","title":"Verifying knowledge bases: A bibliography","display_name":"Verifying knowledge bases: A bibliography","publication_year":1992,"publication_date":"1992-06-01","ids":{"openalex":"https://openalex.org/W4250769932","doi":"https://doi.org/10.1017/s0269888900006251"},"language":"en","primary_location":{"id":"doi:10.1017/s0269888900006251","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s0269888900006251","pdf_url":null,"source":{"id":"https://openalex.org/S137506714","display_name":"The Knowledge Engineering Review","issn_l":"0269-8889","issn":["0269-8889","1469-8005"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The Knowledge Engineering Review","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.56958763,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"7","issue":"2","first_page":"143","last_page":"146"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9969000220298767,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9969000220298767,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9933000206947327,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10906","display_name":"AI-based Problem Solving and Planning","score":0.9907000064849854,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/bibliography","display_name":"Bibliography","score":0.7052494287490845},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6840004324913025},{"id":"https://openalex.org/keywords/subject","display_name":"Subject (documents)","score":0.644347071647644},{"id":"https://openalex.org/keywords/work","display_name":"Work (physics)","score":0.5047446489334106},{"id":"https://openalex.org/keywords/data-science","display_name":"Data science","score":0.4673759341239929},{"id":"https://openalex.org/keywords/library-science","display_name":"Library science","score":0.3398306369781494},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.3356112837791443},{"id":"https://openalex.org/keywords/information-retrieval","display_name":"Information retrieval","score":0.32678231596946716},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.12045708298683167}],"concepts":[{"id":"https://openalex.org/C97002063","wikidata":"https://www.wikidata.org/wiki/Q134995","display_name":"Bibliography","level":2,"score":0.7052494287490845},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6840004324913025},{"id":"https://openalex.org/C2777855551","wikidata":"https://www.wikidata.org/wiki/Q12310021","display_name":"Subject (documents)","level":2,"score":0.644347071647644},{"id":"https://openalex.org/C18762648","wikidata":"https://www.wikidata.org/wiki/Q42213","display_name":"Work (physics)","level":2,"score":0.5047446489334106},{"id":"https://openalex.org/C2522767166","wikidata":"https://www.wikidata.org/wiki/Q2374463","display_name":"Data science","level":1,"score":0.4673759341239929},{"id":"https://openalex.org/C161191863","wikidata":"https://www.wikidata.org/wiki/Q199655","display_name":"Library science","level":1,"score":0.3398306369781494},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3356112837791443},{"id":"https://openalex.org/C23123220","wikidata":"https://www.wikidata.org/wiki/Q816826","display_name":"Information retrieval","level":1,"score":0.32678231596946716},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.12045708298683167},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1017/s0269888900006251","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s0269888900006251","pdf_url":null,"source":{"id":"https://openalex.org/S137506714","display_name":"The Knowledge Engineering Review","issn_l":"0269-8889","issn":["0269-8889","1469-8005"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The Knowledge Engineering Review","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.6100000143051147,"id":"https://metadata.un.org/sdg/4","display_name":"Quality Education"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":51,"referenced_works":["https://openalex.org/W3748936","https://openalex.org/W16238053","https://openalex.org/W150830593","https://openalex.org/W194613234","https://openalex.org/W286477282","https://openalex.org/W1505839237","https://openalex.org/W1933579113","https://openalex.org/W1965992695","https://openalex.org/W1968762526","https://openalex.org/W1979241946","https://openalex.org/W1980470215","https://openalex.org/W1983261114","https://openalex.org/W1986982023","https://openalex.org/W1989348921","https://openalex.org/W1998650783","https://openalex.org/W1999583590","https://openalex.org/W2009247720","https://openalex.org/W2020375154","https://openalex.org/W2029680470","https://openalex.org/W2029853792","https://openalex.org/W2036866931","https://openalex.org/W2041035301","https://openalex.org/W2043949849","https://openalex.org/W2053820708","https://openalex.org/W2054081181","https://openalex.org/W2055099198","https://openalex.org/W2058571398","https://openalex.org/W2061519380","https://openalex.org/W2064333075","https://openalex.org/W2070759200","https://openalex.org/W2075762626","https://openalex.org/W2083678900","https://openalex.org/W2084245166","https://openalex.org/W2091394517","https://openalex.org/W2094561727","https://openalex.org/W2110679033","https://openalex.org/W2111634973","https://openalex.org/W2126077229","https://openalex.org/W2136170000","https://openalex.org/W2145287593","https://openalex.org/W2152833920","https://openalex.org/W2273904600","https://openalex.org/W2288769767","https://openalex.org/W2322278681","https://openalex.org/W2401209009","https://openalex.org/W2571083108","https://openalex.org/W2676733192","https://openalex.org/W3093981756","https://openalex.org/W6600200907","https://openalex.org/W6658027298","https://openalex.org/W6739625590"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W2737774955","https://openalex.org/W4205608827","https://openalex.org/W2370620280","https://openalex.org/W4231885144","https://openalex.org/W4302315688","https://openalex.org/W2385673297","https://openalex.org/W3132798417","https://openalex.org/W1559411330","https://openalex.org/W4210477429"],"abstract_inverted_index":{"The":[0],"preceding":[1],"paper":[2],"on":[3,32],"the":[4,30,55,65],"refinement":[5],"of":[6,18,24,29,54],"rule-based":[7],"systems":[8],"by":[9],"Precce":[10],"et":[11],"al.":[12],"reflects":[13],"a":[14],"recent,":[15],"rapid":[16],"growth":[17],"interest":[19],"in":[20,64],"verification":[21],"and":[22,43],"validation":[23],"knowledge":[25],"based":[26],"systems.":[27],"Much":[28],"literature":[31],"this":[33],"subject":[34],"is":[35],"thinly":[36],"spread":[37],"over":[38],"conference":[39],"proceedings,":[40],"professional":[41],"periodicals":[42],"academic":[44],"journals,":[45],"so":[46],"we":[47],"have":[48],"tried":[49],"to":[50,60],"collect":[51],"together":[52],"some":[53],"more":[56],"frequently":[57],"cited":[58],"work":[59],"assist":[61],"readers":[62],"interested":[63],"area.":[66]},"counts_by_year":[],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}