{"id":"https://openalex.org/W2706392623","doi":"https://doi.org/10.1002/1098-111x(200103)16:3<377::aid-int1013>3.0.co;2-5","title":"The role of ontologies in the verification and validation of knowledge-based systems","display_name":"The role of ontologies in the verification and validation of knowledge-based systems","publication_year":2001,"publication_date":"2001-01-01","ids":{"openalex":"https://openalex.org/W2706392623","doi":"https://doi.org/10.1002/1098-111x(200103)16:3<377::aid-int1013>3.0.co;2-5","mag":"2706392623"},"language":"en","primary_location":{"id":"doi:10.1002/1098-111x(200103)16:3<377::aid-int1013>3.0.co;2-5","is_oa":false,"landing_page_url":"https://doi.org/10.1002/1098-111x(200103)16:3<377::aid-int1013>3.0.co;2-5","pdf_url":null,"source":{"id":"https://openalex.org/S57950554","display_name":"International Journal of Intelligent Systems","issn_l":"0884-8173","issn":["0884-8173","1098-111X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Intelligent Systems","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":[{"author_position":"first","author":{"id":"https://openalex.org/A5074094975","display_name":"Trevor Bench\u2010Capon","orcid":"https://orcid.org/0000-0003-3975-4398"},"institutions":[{"id":"https://openalex.org/I146655781","display_name":"University of Liverpool","ror":"https://ror.org/04xs57h96","country_code":"GB","type":"education","lineage":["https://openalex.org/I146655781"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Trevor J. M. Bench-Capon","raw_affiliation_strings":["Department of Computer Science, The University of Liverpool, Liverpool, United Kingdom"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, The University of Liverpool, Liverpool, United Kingdom","institution_ids":["https://openalex.org/I146655781"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5074094975"],"corresponding_institution_ids":["https://openalex.org/I146655781"],"apc_list":{"value":2500,"currency":"USD","value_usd":2500},"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.36111902,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":96,"max":99},"biblio":{"volume":"16","issue":"3","first_page":"377","last_page":"390"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.9998000264167786,"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"}},"topics":[{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.9998000264167786,"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"}},{"id":"https://openalex.org/T11710","display_name":"Biomedical Text Mining and Ontologies","score":0.9947999715805054,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},{"id":"https://openalex.org/T10317","display_name":"Advanced Database Systems and Queries","score":0.9905999898910522,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/conceptualization","display_name":"Conceptualization","score":0.8380400538444519},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7619602680206299},{"id":"https://openalex.org/keywords/ontology","display_name":"Ontology","score":0.7616820335388184},{"id":"https://openalex.org/keywords/structuring","display_name":"Structuring","score":0.55936199426651},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.5455822348594666},{"id":"https://openalex.org/keywords/automation","display_name":"Automation","score":0.5337734222412109},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.4891055226325989},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.4574526846408844},{"id":"https://openalex.org/keywords/completeness","display_name":"Completeness (order theory)","score":0.41945937275886536},{"id":"https://openalex.org/keywords/domain-analysis","display_name":"Domain analysis","score":0.4142843186855316},{"id":"https://openalex.org/keywords/test","display_name":"Test (biology)","score":0.41065263748168945},{"id":"https://openalex.org/keywords/data-science","display_name":"Data science","score":0.3347308933734894},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3157246708869934},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.1491856873035431},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.1268766224384308},{"id":"https://openalex.org/keywords/software-system","display_name":"Software system","score":0.10018718242645264},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.08943086862564087},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.08822822570800781},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.07535192370414734}],"concepts":[{"id":"https://openalex.org/C90734943","wikidata":"https://www.wikidata.org/wiki/Q17008777","display_name":"Conceptualization","level":2,"score":0.8380400538444519},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7619602680206299},{"id":"https://openalex.org/C25810664","wikidata":"https://www.wikidata.org/wiki/Q44325","display_name":"Ontology","level":2,"score":0.7616820335388184},{"id":"https://openalex.org/C2775945657","wikidata":"https://www.wikidata.org/wiki/Q381442","display_name":"Structuring","level":2,"score":0.55936199426651},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.5455822348594666},{"id":"https://openalex.org/C115901376","wikidata":"https://www.wikidata.org/wiki/Q184199","display_name":"Automation","level":2,"score":0.5337734222412109},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.4891055226325989},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4574526846408844},{"id":"https://openalex.org/C17231256","wikidata":"https://www.wikidata.org/wiki/Q5156540","display_name":"Completeness (order theory)","level":2,"score":0.41945937275886536},{"id":"https://openalex.org/C15708719","wikidata":"https://www.wikidata.org/wiki/Q2271801","display_name":"Domain analysis","level":5,"score":0.4142843186855316},{"id":"https://openalex.org/C2777267654","wikidata":"https://www.wikidata.org/wiki/Q3519023","display_name":"Test (biology)","level":2,"score":0.41065263748168945},{"id":"https://openalex.org/C2522767166","wikidata":"https://www.wikidata.org/wiki/Q2374463","display_name":"Data science","level":1,"score":0.3347308933734894},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3157246708869934},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.1491856873035431},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.1268766224384308},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.10018718242645264},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.08943086862564087},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.08822822570800781},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.07535192370414734},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C10138342","wikidata":"https://www.wikidata.org/wiki/Q43015","display_name":"Finance","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1002/1098-111x(200103)16:3<377::aid-int1013>3.0.co;2-5","is_oa":false,"landing_page_url":"https://doi.org/10.1002/1098-111x(200103)16:3<377::aid-int1013>3.0.co;2-5","pdf_url":null,"source":{"id":"https://openalex.org/S57950554","display_name":"International Journal of Intelligent Systems","issn_l":"0884-8173","issn":["0884-8173","1098-111X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Intelligent Systems","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":8,"referenced_works":["https://openalex.org/W2133109597","https://openalex.org/W2164471707","https://openalex.org/W2171816001","https://openalex.org/W4288919333","https://openalex.org/W6633201416","https://openalex.org/W6653700950","https://openalex.org/W6684292971","https://openalex.org/W7017431025"],"related_works":["https://openalex.org/W4362575170","https://openalex.org/W2984230149","https://openalex.org/W1532772865","https://openalex.org/W2531253623","https://openalex.org/W2112095637","https://openalex.org/W2237121679","https://openalex.org/W4390616414","https://openalex.org/W2006867289","https://openalex.org/W1188194610","https://openalex.org/W2900419298"],"abstract_inverted_index":{"In":[0],"this":[1],"paper,":[2],"the":[3,10,19,22,25,44,51,55,64,68,81,86,97,102,119,123],"author":[4,124],"gives":[5],"some":[6,126],"preliminary":[7],"examination":[8],"of":[9,18,21,29,46,50,70,83,88,96,108,118],"ways":[11],"in":[12,72],"which":[13],"an":[14],"ontology\u2014an":[15],"explicit":[16],"specification":[17],"conceptualization":[20],"domain\u2014can":[23],"support":[24,52],"verification":[26,73],"and":[27,74,78,100,111],"validation":[28,75],"a":[30,38,112],"knowledge-based":[31],"system.":[32],"The":[33],"discussion":[34],"is":[35],"focused":[36],"on":[37],"simple,":[39],"well-known,":[40],"example":[41],"relating":[42],"to":[43,58,60,63,92,104],"identification":[45],"animals.":[47],"Key":[48],"elements":[49],"provided":[53],"by":[54],"ontology":[56],"relate":[57],"attempting":[59],"give":[61,93,105],"coherence":[62],"domain":[65],"conceptualization;":[66],"making":[67],"role":[69],"experts":[71],"more":[76],"structured":[77],"less":[79],"at":[80],"mercy":[82],"interpretation;":[84],"constraining":[85],"number":[87],"test":[89],"cases":[90],"required":[91],"good":[94],"coverage":[95],"possible":[98,113],"cases;":[99],"structuring":[101],"testing":[103,120],"better":[106],"assurance":[107],"its":[109],"efficacy,":[110],"basis":[114],"for":[115],"greater":[116],"automation":[117],"process.":[121],"Finally,":[122],"makes":[125],"concluding":[127],"remarks.":[128],"\u00a9":[129],"2001":[130],"John":[131],"Wiley":[132],"&":[133],"Sons,":[134],"Inc.":[135]},"counts_by_year":[{"year":2026,"cited_by_count":1}],"updated_date":"2026-04-02T15:55:50.835912","created_date":"2025-10-10T00:00:00"}