{"id":"https://openalex.org/W2147150441","doi":"https://doi.org/10.1017/s0269888910000019","title":"A survey of formalisms for representing and reasoning with scientific knowledge","display_name":"A survey of formalisms for representing and reasoning with scientific knowledge","publication_year":2010,"publication_date":"2010-06-01","ids":{"openalex":"https://openalex.org/W2147150441","doi":"https://doi.org/10.1017/s0269888910000019","mag":"2147150441"},"language":"en","primary_location":{"id":"doi:10.1017/s0269888910000019","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s0269888910000019","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":[{"author_position":"first","author":{"id":"https://openalex.org/A5019854432","display_name":"Anthony Hunter","orcid":"https://orcid.org/0000-0001-5602-7446"},"institutions":[{"id":"https://openalex.org/I2800173700","display_name":"UCL Australia","ror":"https://ror.org/024atcf19","country_code":"AU","type":"education","lineage":["https://openalex.org/I2800173700"]}],"countries":["AU"],"is_corresponding":true,"raw_author_name":"Anthony Hunter","raw_affiliation_strings":["University college London"],"affiliations":[{"raw_affiliation_string":"University college London","institution_ids":["https://openalex.org/I2800173700"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5002349071","display_name":"Weiru Liu","orcid":"https://orcid.org/0000-0001-8356-1361"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Weiru Liu","raw_affiliation_strings":["School of Electronics, Electrical Engineering and Computer Science"],"affiliations":[{"raw_affiliation_string":"School of Electronics, Electrical Engineering and Computer Science","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5019854432"],"corresponding_institution_ids":["https://openalex.org/I2800173700"],"apc_list":null,"apc_paid":null,"fwci":0.929,"has_fulltext":false,"cited_by_count":18,"citation_normalized_percentile":{"value":0.82018782,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"25","issue":"2","first_page":"199","last_page":"222"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.9994999766349792,"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.9994999766349792,"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.9966999888420105,"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/T10317","display_name":"Advanced Database Systems and Queries","score":0.9909999966621399,"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/rotation-formalisms-in-three-dimensions","display_name":"Rotation formalisms in three dimensions","score":0.9728296995162964},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.734228789806366},{"id":"https://openalex.org/keywords/knowledge-representation-and-reasoning","display_name":"Knowledge representation and reasoning","score":0.7123154401779175},{"id":"https://openalex.org/keywords/scientific-reasoning","display_name":"Scientific reasoning","score":0.5233487486839294},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.5189123153686523},{"id":"https://openalex.org/keywords/data-science","display_name":"Data science","score":0.5054278373718262},{"id":"https://openalex.org/keywords/sociology-of-scientific-knowledge","display_name":"Sociology of scientific knowledge","score":0.50018310546875},{"id":"https://openalex.org/keywords/knowledge-management","display_name":"Knowledge management","score":0.49974727630615234},{"id":"https://openalex.org/keywords/management-science","display_name":"Management science","score":0.35265231132507324},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.30936306715011597},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.0984659194946289},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.0921388566493988},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.06487926840782166}],"concepts":[{"id":"https://openalex.org/C171018156","wikidata":"https://www.wikidata.org/wiki/Q7370306","display_name":"Rotation formalisms in three dimensions","level":2,"score":0.9728296995162964},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.734228789806366},{"id":"https://openalex.org/C161301231","wikidata":"https://www.wikidata.org/wiki/Q3478658","display_name":"Knowledge representation and reasoning","level":2,"score":0.7123154401779175},{"id":"https://openalex.org/C2992562121","wikidata":"https://www.wikidata.org/wiki/Q3817808","display_name":"Scientific reasoning","level":2,"score":0.5233487486839294},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.5189123153686523},{"id":"https://openalex.org/C2522767166","wikidata":"https://www.wikidata.org/wiki/Q2374463","display_name":"Data science","level":1,"score":0.5054278373718262},{"id":"https://openalex.org/C195732255","wikidata":"https://www.wikidata.org/wiki/Q981008","display_name":"Sociology of scientific knowledge","level":2,"score":0.50018310546875},{"id":"https://openalex.org/C56739046","wikidata":"https://www.wikidata.org/wiki/Q192060","display_name":"Knowledge management","level":1,"score":0.49974727630615234},{"id":"https://openalex.org/C539667460","wikidata":"https://www.wikidata.org/wiki/Q2414942","display_name":"Management science","level":1,"score":0.35265231132507324},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.30936306715011597},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0984659194946289},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0921388566493988},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.06487926840782166},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1017/s0269888910000019","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s0269888910000019","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"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.157.4595","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.157.4595","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.ucl.ac.uk/staff/a.hunter/papers/scikr.pdf","raw_type":"text"},{"id":"pmh:oai:eprints.ucl.ac.uk.OAI2:105478","is_oa":false,"landing_page_url":"http://discovery.ucl.ac.uk/105478/","pdf_url":null,"source":{"id":"https://openalex.org/S4306400024","display_name":"UCL Discovery (University College London)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I45129253","host_organization_name":"University College London","host_organization_lineage":["https://openalex.org/I45129253"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"   KNOWL ENG REV , 25  (2)   199 - 222.   (2010)      ","raw_type":"Article"},{"id":"pmh:oai:pure.qub.ac.uk/portal:publications/c1ccaf0e-a4ba-4b6f-b839-5da4443b376c","is_oa":false,"landing_page_url":"http://www.scopus.com/inward/record.url?scp=77958545535&partnerID=8YFLogxK","pdf_url":null,"source":{"id":"https://openalex.org/S4306402319","display_name":"Research Portal (Queen's University Belfast)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I126231945","host_organization_name":"Queen's University Belfast","host_organization_lineage":["https://openalex.org/I126231945"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Hunter , A & Liu , W 2010 , ' A survey of formalisms for representing and reasoning with scientific knowledge ' , Knowledge Engineering Review , vol. 25(2) , no. 2 , pp. 199-222 . https://doi.org/10.1017/S0269888910000019","raw_type":"article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Quality Education","id":"https://metadata.un.org/sdg/4","score":0.6299999952316284}],"awards":[{"id":"https://openalex.org/G3845455577","display_name":null,"funder_award_id":"EP/D070864/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"}],"funders":[{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":128,"referenced_works":["https://openalex.org/W4508078","https://openalex.org/W33288189","https://openalex.org/W35522179","https://openalex.org/W75176724","https://openalex.org/W89983288","https://openalex.org/W120338395","https://openalex.org/W136232721","https://openalex.org/W178169250","https://openalex.org/W181660137","https://openalex.org/W593534837","https://openalex.org/W604620276","https://openalex.org/W651638839","https://openalex.org/W1241680585","https://openalex.org/W1487020114","https://openalex.org/W1487409515","https://openalex.org/W1501337828","https://openalex.org/W1501578849","https://openalex.org/W1502512169","https://openalex.org/W1511521912","https://openalex.org/W1523712082","https://openalex.org/W1524698412","https://openalex.org/W1524812096","https://openalex.org/W1529749645","https://openalex.org/W1534731256","https://openalex.org/W1555563750","https://openalex.org/W1569787078","https://openalex.org/W1572606423","https://openalex.org/W1574901103","https://openalex.org/W1586617399","https://openalex.org/W1586696788","https://openalex.org/W1593793857","https://openalex.org/W1600475986","https://openalex.org/W1621551262","https://openalex.org/W1648311451","https://openalex.org/W1667574996","https://openalex.org/W1701274269","https://openalex.org/W1736833414","https://openalex.org/W1824971879","https://openalex.org/W1825730661","https://openalex.org/W1845127254","https://openalex.org/W1847380893","https://openalex.org/W1858048186","https://openalex.org/W1940586415","https://openalex.org/W1950785758","https://openalex.org/W1965552673","https://openalex.org/W1972791848","https://openalex.org/W1974036812","https://openalex.org/W1983791213","https://openalex.org/W1987977790","https://openalex.org/W1999734274","https://openalex.org/W2003017965","https://openalex.org/W2003848617","https://openalex.org/W2006654540","https://openalex.org/W2017540033","https://openalex.org/W2017898908","https://openalex.org/W2018590585","https://openalex.org/W2029784280","https://openalex.org/W2031445920","https://openalex.org/W2032951307","https://openalex.org/W2034065427","https://openalex.org/W2034592587","https://openalex.org/W2037792717","https://openalex.org/W2038051455","https://openalex.org/W2048297209","https://openalex.org/W2050211807","https://openalex.org/W2056002728","https://openalex.org/W2065807795","https://openalex.org/W2066695383","https://openalex.org/W2069650148","https://openalex.org/W2073180286","https://openalex.org/W2075774526","https://openalex.org/W2076291573","https://openalex.org/W2084827335","https://openalex.org/W2085544069","https://openalex.org/W2104126268","https://openalex.org/W2105953471","https://openalex.org/W2109440600","https://openalex.org/W2110782695","https://openalex.org/W2114739726","https://openalex.org/W2116137060","https://openalex.org/W2116204363","https://openalex.org/W2119710029","https://openalex.org/W2120566556","https://openalex.org/W2121835362","https://openalex.org/W2124648060","https://openalex.org/W2125880609","https://openalex.org/W2128838779","https://openalex.org/W2130714423","https://openalex.org/W2136636278","https://openalex.org/W2138618671","https://openalex.org/W2140812562","https://openalex.org/W2144925414","https://openalex.org/W2146485107","https://openalex.org/W2148970881","https://openalex.org/W2152590570","https://openalex.org/W2152888402","https://openalex.org/W2156226368","https://openalex.org/W2157204637","https://openalex.org/W2158505321","https://openalex.org/W2159080219","https://openalex.org/W2159569510","https://openalex.org/W2160540739","https://openalex.org/W2160948978","https://openalex.org/W2162606611","https://openalex.org/W2166106571","https://openalex.org/W2171265988","https://openalex.org/W2339121806","https://openalex.org/W2341078838","https://openalex.org/W2442495973","https://openalex.org/W2493873169","https://openalex.org/W2520858206","https://openalex.org/W2528816995","https://openalex.org/W2531563875","https://openalex.org/W2608239929","https://openalex.org/W2913368694","https://openalex.org/W2914728526","https://openalex.org/W2966089139","https://openalex.org/W3146347964","https://openalex.org/W3146404850","https://openalex.org/W4210317869","https://openalex.org/W4229554797","https://openalex.org/W4250775714","https://openalex.org/W4285719527","https://openalex.org/W4290750029","https://openalex.org/W4297792526","https://openalex.org/W6631621757","https://openalex.org/W6676734988","https://openalex.org/W6682235990"],"related_works":["https://openalex.org/W2022114210","https://openalex.org/W1587803076","https://openalex.org/W2485617017","https://openalex.org/W1943401937","https://openalex.org/W1736833414","https://openalex.org/W2017022033","https://openalex.org/W2756959681","https://openalex.org/W2147150441","https://openalex.org/W2101885143","https://openalex.org/W2395428749"],"abstract_inverted_index":{"Abstract":[0],"With":[1],"the":[2,6,19,37,63,89,112,130],"rapid":[3],"growth":[4],"in":[5,43,62,78],"quantity":[7],"and":[8,16,39,51,68,91,102,114,137],"complexity":[9],"of":[10,30,36,65,104,129],"scientific":[11,73,105,140],"knowledge":[12,25,66,74],"available":[13],"for":[14,54,100,133,135],"scientists,":[15],"allied":[17],"professionals,":[18],"problems":[20,32,47],"associated":[21],"with":[22,88,139],"harnessing":[23,109],"this":[24,44,55,124],"are":[26,33],"well":[27],"recognized.":[28],"Some":[29],"these":[31,59],"a":[34],"result":[35],"uncertainties":[38],"inconsistencies":[40],"that":[41],"arise":[42,48],"knowledge.":[45,56,106,141],"Other":[46],"from":[49],"heterogeneous":[50],"informal":[52],"formats":[53],"To":[57],"address":[58],"problems,":[60],"developments":[61],"application":[64],"representation":[67],"reasoning":[69,87,138],"technologies":[70],"can":[71,85,117],"allow":[72,94],"to":[75,93,97],"be":[76,98,118],"captured":[77],"logic-based":[79],"formalisms.":[80],"Using":[81],"such":[82],"formalisms,":[83],"we":[84,126],"undertake":[86],"uncertainty":[90],"inconsistency":[92],"automated":[95],"techniques":[96],"used":[99],"querying":[101,113],"combining":[103,115],"Furthermore,":[107],"by":[108],"background":[110],"knowledge,":[111],"tasks":[116],"carried":[119],"out":[120],"more":[121],"intelligently.":[122],"In":[123],"paper,":[125],"review":[127],"some":[128],"significant":[131],"proposals":[132],"formalisms":[134],"representing":[136]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":3},{"year":2017,"cited_by_count":3},{"year":2016,"cited_by_count":3},{"year":2012,"cited_by_count":1}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}