{"id":"https://openalex.org/W2157368609","doi":"https://doi.org/10.1207/s15516709cog0101_2","title":"An Overview of KRL, a Knowledge Representation Language","display_name":"An Overview of KRL, a Knowledge Representation Language","publication_year":1977,"publication_date":"1977-01-01","ids":{"openalex":"https://openalex.org/W2157368609","doi":"https://doi.org/10.1207/s15516709cog0101_2","mag":"2157368609"},"language":"en","primary_location":{"id":"doi:10.1207/s15516709cog0101_2","is_oa":false,"landing_page_url":"https://doi.org/10.1207/s15516709cog0101_2","pdf_url":null,"source":{"id":"https://openalex.org/S78735424","display_name":"Cognitive Science","issn_l":"0364-0213","issn":["0364-0213","1551-6709"],"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":"Cognitive Science","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/A5051959560","display_name":"Daniel G. Bobrow","orcid":null},"institutions":[{"id":"https://openalex.org/I173498003","display_name":"Palo Alto Research Center","ror":"https://ror.org/0529fxt39","country_code":"US","type":"facility","lineage":["https://openalex.org/I173498003","https://openalex.org/I4210132870"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Daniel G. Bobrow","raw_affiliation_strings":["Xerox Palo Alto Research Center"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Xerox Palo Alto Research Center","institution_ids":["https://openalex.org/I173498003"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5005685978","display_name":"Terry Winograd","orcid":"https://orcid.org/0000-0003-4435-7215"},"institutions":[{"id":"https://openalex.org/I97018004","display_name":"Stanford University","ror":"https://ror.org/00f54p054","country_code":"US","type":"education","lineage":["https://openalex.org/I97018004"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Terry Winograd","raw_affiliation_strings":["Stanford University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Stanford University","institution_ids":["https://openalex.org/I97018004"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5051959560"],"corresponding_institution_ids":["https://openalex.org/I173498003"],"apc_list":{"value":3810,"currency":"USD","value_usd":3810},"apc_paid":null,"fwci":150.5549,"has_fulltext":false,"cited_by_count":898,"citation_normalized_percentile":{"value":0.9996863,"is_in_top_1_percent":true,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":100},"biblio":{"volume":"1","issue":"1","first_page":"3","last_page":"46"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10906","display_name":"AI-based Problem Solving and Planning","score":0.9936000108718872,"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/T10906","display_name":"AI-based Problem Solving and Planning","score":0.9936000108718872,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9919000267982483,"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/T10215","display_name":"Semantic Web and Ontologies","score":0.9884999990463257,"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/computer-science","display_name":"Computer science","score":0.8121604323387146},{"id":"https://openalex.org/keywords/knowledge-base","display_name":"Knowledge base","score":0.6042978763580322},{"id":"https://openalex.org/keywords/knowledge-representation-and-reasoning","display_name":"Knowledge representation and reasoning","score":0.5826000571250916},{"id":"https://openalex.org/keywords/procedural-knowledge","display_name":"Procedural knowledge","score":0.435674786567688},{"id":"https://openalex.org/keywords/formalism","display_name":"Formalism (music)","score":0.43255722522735596},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.41450995206832886},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.34059593081474304},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3221491575241089}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8121604323387146},{"id":"https://openalex.org/C4554734","wikidata":"https://www.wikidata.org/wiki/Q593744","display_name":"Knowledge base","level":2,"score":0.6042978763580322},{"id":"https://openalex.org/C161301231","wikidata":"https://www.wikidata.org/wiki/Q3478658","display_name":"Knowledge representation and reasoning","level":2,"score":0.5826000571250916},{"id":"https://openalex.org/C124469403","wikidata":"https://www.wikidata.org/wiki/Q1813993","display_name":"Procedural knowledge","level":3,"score":0.435674786567688},{"id":"https://openalex.org/C73301696","wikidata":"https://www.wikidata.org/wiki/Q5469984","display_name":"Formalism (music)","level":3,"score":0.43255722522735596},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.41450995206832886},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.34059593081474304},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3221491575241089},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0},{"id":"https://openalex.org/C558565934","wikidata":"https://www.wikidata.org/wiki/Q2743","display_name":"Musical","level":2,"score":0.0},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1207/s15516709cog0101_2","is_oa":false,"landing_page_url":"https://doi.org/10.1207/s15516709cog0101_2","pdf_url":null,"source":{"id":"https://openalex.org/S78735424","display_name":"Cognitive Science","issn_l":"0364-0213","issn":["0364-0213","1551-6709"],"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":"Cognitive Science","raw_type":"journal-article"},{"id":"pmh:oai:cumincad.architexturez.net:6299","is_oa":false,"landing_page_url":"http://cumincad.architexturez.net//doc/oai-cumincadworks-id-2168","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":""}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":64,"referenced_works":["https://openalex.org/W2751752","https://openalex.org/W22438026","https://openalex.org/W57206305","https://openalex.org/W193854645","https://openalex.org/W307257734","https://openalex.org/W836784621","https://openalex.org/W1480687347","https://openalex.org/W1484780672","https://openalex.org/W1488252886","https://openalex.org/W1500643282","https://openalex.org/W1517080328","https://openalex.org/W1526553470","https://openalex.org/W1527127371","https://openalex.org/W1533070959","https://openalex.org/W1541540802","https://openalex.org/W1552704885","https://openalex.org/W1577290756","https://openalex.org/W1582861705","https://openalex.org/W1596869943","https://openalex.org/W1597621223","https://openalex.org/W1614081703","https://openalex.org/W1819699930","https://openalex.org/W1904895072","https://openalex.org/W1910913679","https://openalex.org/W1970457902","https://openalex.org/W1972945478","https://openalex.org/W1978347212","https://openalex.org/W1989144113","https://openalex.org/W1990993454","https://openalex.org/W1992871189","https://openalex.org/W1995779818","https://openalex.org/W2000255081","https://openalex.org/W2003240077","https://openalex.org/W2010571030","https://openalex.org/W2014344082","https://openalex.org/W2020793163","https://openalex.org/W2034967522","https://openalex.org/W2045830397","https://openalex.org/W2055085346","https://openalex.org/W2058691906","https://openalex.org/W2060642394","https://openalex.org/W2064332540","https://openalex.org/W2073598277","https://openalex.org/W2094493170","https://openalex.org/W2110293626","https://openalex.org/W2118385830","https://openalex.org/W2131062488","https://openalex.org/W2145459199","https://openalex.org/W2150421161","https://openalex.org/W2151351523","https://openalex.org/W2152909313","https://openalex.org/W2163523176","https://openalex.org/W2175268987","https://openalex.org/W2333196491","https://openalex.org/W2622008356","https://openalex.org/W3088535272","https://openalex.org/W3088842588","https://openalex.org/W3179316447","https://openalex.org/W3196332710","https://openalex.org/W4233992305","https://openalex.org/W4285719527","https://openalex.org/W4298028598","https://openalex.org/W6635959133","https://openalex.org/W6644484969"],"related_works":["https://openalex.org/W4237775755","https://openalex.org/W2355172082","https://openalex.org/W1580667900","https://openalex.org/W2102929690","https://openalex.org/W2329796696","https://openalex.org/W2787986796","https://openalex.org/W2333104768","https://openalex.org/W1838463810","https://openalex.org/W1979978247","https://openalex.org/W2355493958"],"abstract_inverted_index":{"This":[0,144],"paper":[1],"describes":[2],"KRL,":[3],"a":[4,46,55,112,141,151,193],"Knowledge":[5],"Representation":[6],"Language":[7],"designed":[8],"for":[9,97,127,150,192,201,225],"use":[10],"in":[11,67,72],"understander":[12],"systems.":[13],"It":[14,190,206],"outlines":[15],"both":[16],"the":[17,25,61,65,87,128,137,148,160,172,175,221,242],"general":[18],"concepts":[19],"which":[20,210],"underlie":[21],"our":[22],"research":[23],"and":[24,77,84,93,184,203,228],"details":[26],"of":[27,32,34,49,57,64,82,90,114,121,140,159,167,178,220,234],"KRL\u20100,":[28],"an":[29,39],"experimental":[30],"implementation":[31],"some":[33],"these":[35],"concepts.":[36],"KRL":[37,168,235],"is":[38,100,169],"attempt":[40],"to":[41,59,69,85,154,216],"integrate":[42,182],"procedural":[43,218],"knowledge":[44,99],"with":[45,79,106,117,136,197,213,241],"broad":[47],"base":[48],"declarative":[50,98],"forms.":[51],"These":[52,109],"forms":[53],"provide":[54],"variety":[56],"ways":[58],"express":[60],"logical":[62],"structure":[63,139,166],"knowledge,":[66,83],"order":[68],"give":[70],"flexibility":[71],"associating":[73],"procedures":[74],"(for":[75],"memory":[76,115,230],"reasoning)":[78],"specific":[80,161],"pieces":[81],"control":[86,165],"relative":[88],"accessibility":[89],"different":[91,119],"facts":[92],"descriptions.":[94,108],"The":[95,164],"formalism":[96],"based":[101,170],"on":[102,171],"structured":[103],"conceptual":[104,142],"objects":[105,110],"associated":[107,134],"form":[111],"network":[113],"units":[116],"several":[118],"sorts":[120],"linkages,":[122],"each":[123],"having":[124],"well\u2010specified":[125],"implications":[126],"retrieval":[129],"process.":[130],"Procedures":[131],"can":[132],"be":[133,155],"directly":[135],"internal":[138],"object.":[143],"procedurul":[145],"attachment":[146],"allows":[147],"steps":[149],"particular":[152],"operation":[153],"determined":[156],"by":[157,187],"characteristics":[158],"entities":[162],"involved.":[163],"belief":[173],"that":[174],"next":[176],"generation":[177],"intelligent":[179],"programs":[180],"will":[181,236],"data\u2010directed":[183],"goal\u2010directed":[185],"processing":[186],"using":[188],"multiprocessing.":[189],"provides":[191,207],"priority\u2010ordered":[194],"multiprocess":[195],"agenda":[196],"explicit":[198],"(user\u2010provided)":[199],"strategies":[200],"scheduling":[202],"resource":[204],"allocation.":[205],"procedure":[208,239],"directories":[209],"operate":[211],"along":[212],"process":[214],"frameworks":[215],"allow":[217],"parameterization":[219],"fundamental":[222],"system":[223],"processes":[224],"building,":[226],"comparing,":[227],"retrieving":[229],"structures.":[231],"Future":[232],"development":[233],"include":[237],"integrating":[238],"definition":[240],"descriptive":[243],"formalism.":[244]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":6},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":4},{"year":2020,"cited_by_count":6},{"year":2019,"cited_by_count":6},{"year":2018,"cited_by_count":14},{"year":2017,"cited_by_count":7},{"year":2016,"cited_by_count":5},{"year":2015,"cited_by_count":4},{"year":2014,"cited_by_count":14},{"year":2013,"cited_by_count":5},{"year":2012,"cited_by_count":5}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}