{"id":"https://openalex.org/W2147967344","doi":"https://doi.org/10.1108/03684920910977050","title":"Fragmentary structure of global knowledge: constructive processes for interoperability","display_name":"Fragmentary structure of global knowledge: constructive processes for interoperability","publication_year":2009,"publication_date":"2009-08-07","ids":{"openalex":"https://openalex.org/W2147967344","doi":"https://doi.org/10.1108/03684920910977050","mag":"2147967344"},"language":"en","primary_location":{"id":"doi:10.1108/03684920910977050","is_oa":false,"landing_page_url":"https://doi.org/10.1108/03684920910977050","pdf_url":null,"source":{"id":"https://openalex.org/S168682784","display_name":"Kybernetes","issn_l":"0368-492X","issn":["0368-492X","1758-7883"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319811","host_organization_name":"Emerald Publishing Limited","host_organization_lineage":["https://openalex.org/P4310319811"],"host_organization_lineage_names":["Emerald Publishing Limited"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Kybernetes","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/A5103350801","display_name":"Michael Heather","orcid":null},"institutions":[{"id":"https://openalex.org/I32394136","display_name":"Northumbria University","ror":"https://ror.org/049e6bc10","country_code":"GB","type":"education","lineage":["https://openalex.org/I32394136"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Michael Heather","raw_affiliation_strings":["School of Computing, Engineering and Information Sciences, Northumbria University, Newcastle upon Tyne, UK"],"affiliations":[{"raw_affiliation_string":"School of Computing, Engineering and Information Sciences, Northumbria University, Newcastle upon Tyne, UK","institution_ids":["https://openalex.org/I32394136"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5081548134","display_name":"Nick Rossiter","orcid":null},"institutions":[{"id":"https://openalex.org/I32394136","display_name":"Northumbria University","ror":"https://ror.org/049e6bc10","country_code":"GB","type":"education","lineage":["https://openalex.org/I32394136"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Nick Rossiter","raw_affiliation_strings":["School of Computing, Engineering and Information Sciences, Northumbria University, Newcastle upon Tyne, UK"],"affiliations":[{"raw_affiliation_string":"School of Computing, Engineering and Information Sciences, Northumbria University, Newcastle upon Tyne, UK","institution_ids":["https://openalex.org/I32394136"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5103350801"],"corresponding_institution_ids":["https://openalex.org/I32394136"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.13816698,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"38","issue":"7/8","first_page":"1409","last_page":"1418"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.9980999827384949,"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.9980999827384949,"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.9761999845504761,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9681000113487244,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/decidability","display_name":"Decidability","score":0.6911882162094116},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5964776873588562},{"id":"https://openalex.org/keywords/interoperability","display_name":"Interoperability","score":0.5930019617080688},{"id":"https://openalex.org/keywords/axiom","display_name":"Axiom","score":0.5155677795410156},{"id":"https://openalex.org/keywords/first-order-logic","display_name":"First-order logic","score":0.5057363510131836},{"id":"https://openalex.org/keywords/monad","display_name":"Monad (category theory)","score":0.47897982597351074},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.46035879850387573},{"id":"https://openalex.org/keywords/category-theory","display_name":"Category theory","score":0.4292985200881958},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4268147349357605},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.40139538049697876},{"id":"https://openalex.org/keywords/functor","display_name":"Functor","score":0.31070274114608765},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.17775565385818481},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.1319284737110138}],"concepts":[{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.6911882162094116},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5964776873588562},{"id":"https://openalex.org/C20136886","wikidata":"https://www.wikidata.org/wiki/Q749647","display_name":"Interoperability","level":2,"score":0.5930019617080688},{"id":"https://openalex.org/C167729594","wikidata":"https://www.wikidata.org/wiki/Q17736","display_name":"Axiom","level":2,"score":0.5155677795410156},{"id":"https://openalex.org/C100481476","wikidata":"https://www.wikidata.org/wiki/Q4055684","display_name":"First-order logic","level":2,"score":0.5057363510131836},{"id":"https://openalex.org/C33959348","wikidata":"https://www.wikidata.org/wiki/Q1630568","display_name":"Monad (category theory)","level":3,"score":0.47897982597351074},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.46035879850387573},{"id":"https://openalex.org/C54884031","wikidata":"https://www.wikidata.org/wiki/Q217413","display_name":"Category theory","level":2,"score":0.4292985200881958},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4268147349357605},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.40139538049697876},{"id":"https://openalex.org/C156772000","wikidata":"https://www.wikidata.org/wiki/Q864475","display_name":"Functor","level":2,"score":0.31070274114608765},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.17775565385818481},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.1319284737110138},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1108/03684920910977050","is_oa":false,"landing_page_url":"https://doi.org/10.1108/03684920910977050","pdf_url":null,"source":{"id":"https://openalex.org/S168682784","display_name":"Kybernetes","issn_l":"0368-492X","issn":["0368-492X","1758-7883"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319811","host_organization_name":"Emerald Publishing Limited","host_organization_lineage":["https://openalex.org/P4310319811"],"host_organization_lineage_names":["Emerald Publishing Limited"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Kybernetes","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":28,"referenced_works":["https://openalex.org/W672252","https://openalex.org/W75859641","https://openalex.org/W582408169","https://openalex.org/W583126019","https://openalex.org/W1518243152","https://openalex.org/W1546755696","https://openalex.org/W1548554945","https://openalex.org/W1611242394","https://openalex.org/W1971678930","https://openalex.org/W1995945562","https://openalex.org/W2035260372","https://openalex.org/W2064445530","https://openalex.org/W2084804301","https://openalex.org/W2107843384","https://openalex.org/W2114804254","https://openalex.org/W2115456387","https://openalex.org/W2120713972","https://openalex.org/W2263727957","https://openalex.org/W2291645583","https://openalex.org/W2319520949","https://openalex.org/W2331346174","https://openalex.org/W2483106497","https://openalex.org/W3005233229","https://openalex.org/W3152800724","https://openalex.org/W4213174560","https://openalex.org/W4243541327","https://openalex.org/W4256369010","https://openalex.org/W6676193181"],"related_works":["https://openalex.org/W4300258627","https://openalex.org/W2738383450","https://openalex.org/W4382765585","https://openalex.org/W2467819319","https://openalex.org/W4287663723","https://openalex.org/W3087126312","https://openalex.org/W4286849957","https://openalex.org/W2071463650","https://openalex.org/W3215427587","https://openalex.org/W3122394275"],"abstract_inverted_index":{"Purpose":[0],"The":[1,34,129,160,171],"application":[2],"of":[3,11,19,36,54,68,143,151,154,167,173],"category":[4,92,105,162],"theory":[5,27,93,106],"to":[6,8,15,31,208],"interoperability":[7,73],"increase":[9],"understanding":[10],"the":[12,17,52,168],"problems":[13],"and":[14,116,120,153],"facilitate":[16],"development":[18,172],"practical":[20],"tools":[21],"for":[22,112,138,146,156],"their":[23],"solution.":[24],"Design/methodology/approach":[25],"Category":[26],"is":[28,78,81,94,98,114,117],"naturally":[29],"suited":[30],"handling":[32],"interoperability.":[33,159,209],"use":[35],"first":[37],"order":[38,76],"predicate":[39],"logic":[40,77],"in":[41,181],"many":[42],"information":[43],"systems":[44,59,67],"may":[45,183],"be":[46,184],"justified":[47],"through":[48],"its":[49],"completeness.":[50],"However,":[51,90],"work":[53],"G\u00f6del":[55],"shows":[56],"that":[57,132],"such":[58],"are":[60],"undecidable":[61],"if":[62,86],"they":[63],"rely":[64],"on":[65,88,108,177],"formal":[66,206],"number":[69,150],"and/or":[70],"sets.":[71,89],"For":[72],"dyadic":[74],"higher":[75],"required,":[79],"which":[80,202],"neither":[82,100],"complete":[83,101,119],"nor":[84,102],"decidable":[85],"based":[87,107,176],"pure":[91],"still":[95],"axiomatic":[96],"so":[97],"also":[99],"decidable.":[103,121],"Applied":[104],"cartesian":[109],"closed":[110],"categories":[111],"process":[113,158],"natural":[115,205],"both":[118],"G\u00f6del's":[122],"theorems":[123],"therefore":[124],"do":[125],"not":[126],"apply.":[127],"Findings":[128],"paper":[130,198],"finds":[131],"composed":[133],"adjunctions":[134],"appear":[135],"particularly":[136],"well\u2010suited":[137],"modelling":[139],"interoperability,":[140],"with":[141],"composition":[142],"distinct":[144],"functors":[145],"mapping":[147],"across":[148],"a":[149,164,174,185,204],"levels":[152],"endofunctors":[155],"business":[157,169],"monad/comonad":[161],"provides":[163],"powerful":[165],"abstraction":[166],"process.":[170],"tool":[175],"categorial":[178,200],"principles":[179],"written":[180],"Haskell":[182],"way":[186],"forward":[187],"but":[188],"only":[189],"as":[190],"an":[191],"initial":[192],"set":[193],"model":[194],"approach.":[195],"Originality/value":[196],"This":[197],"applies":[199],"constructions":[201],"permit":[203],"approach":[207]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}