{"id":"https://openalex.org/W1972810337","doi":"https://doi.org/10.1142/s1793351x09000641","title":"A HINDSIGHT ON FORMAL METHODS AND PROSPECTS OF SEMANTIC COMPUTING IN SOFTWARE ENGINEERING","display_name":"A HINDSIGHT ON FORMAL METHODS AND PROSPECTS OF SEMANTIC COMPUTING IN SOFTWARE ENGINEERING","publication_year":2009,"publication_date":"2009-03-01","ids":{"openalex":"https://openalex.org/W1972810337","doi":"https://doi.org/10.1142/s1793351x09000641","mag":"1972810337"},"language":"en","primary_location":{"id":"doi:10.1142/s1793351x09000641","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s1793351x09000641","pdf_url":null,"source":{"id":"https://openalex.org/S4210201727","display_name":"International Journal of Semantic Computing","issn_l":"1793-7108","issn":["1793-7108","1793-351X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Semantic Computing","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/A5004271647","display_name":"Bernd Kr\u00e4mer","orcid":"https://orcid.org/0000-0001-8433-2667"},"institutions":[{"id":"https://openalex.org/I120691247","display_name":"FernUniversit\u00e4t in Hagen","ror":"https://ror.org/04tkkr536","country_code":"DE","type":"education","lineage":["https://openalex.org/I120691247"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"BERND J. KR\u00c4MER","raw_affiliation_strings":["Faculty of Mathematics and Computer Science, FernUniversit\u00e4t in Hagen, 58084 Hagen, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Faculty of Mathematics and Computer Science, FernUniversit\u00e4t in Hagen, 58084 Hagen, Germany","institution_ids":["https://openalex.org/I120691247"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5013165259","display_name":"Tiziana Margaria","orcid":"https://orcid.org/0000-0002-5547-9739"},"institutions":[{"id":"https://openalex.org/I176453806","display_name":"University of Potsdam","ror":"https://ror.org/03bnmw459","country_code":"DE","type":"education","lineage":["https://openalex.org/I176453806"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"TIZIANA MARGARIA","raw_affiliation_strings":["Institute of Computer Science, Universit\u00e4t Potsdam, August-Bebel-Strasse 89, 14482 Potsdam, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Computer Science, Universit\u00e4t Potsdam, August-Bebel-Strasse 89, 14482 Potsdam, Germany","institution_ids":["https://openalex.org/I176453806"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":3.5698,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.94603264,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":94,"max":96},"biblio":{"volume":"03","issue":"01","first_page":"5","last_page":"30"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.9998999834060669,"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"}},"topics":[{"id":"https://openalex.org/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.9998999834060669,"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/T10215","display_name":"Semantic Web and Ontologies","score":0.998199999332428,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9973000288009644,"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.8243972063064575},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.5830960273742676},{"id":"https://openalex.org/keywords/semantic-web","display_name":"Semantic Web","score":0.5650327205657959},{"id":"https://openalex.org/keywords/sketch","display_name":"Sketch","score":0.5513191819190979},{"id":"https://openalex.org/keywords/semantic-computing","display_name":"Semantic computing","score":0.4832190275192261},{"id":"https://openalex.org/keywords/social-semantic-web","display_name":"Social Semantic Web","score":0.4792501926422119},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.4727517068386078},{"id":"https://openalex.org/keywords/semantic-grid","display_name":"Semantic grid","score":0.4511687755584717},{"id":"https://openalex.org/keywords/semantic-technology","display_name":"Semantic technology","score":0.441201776266098},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.4178151488304138},{"id":"https://openalex.org/keywords/world-wide-web","display_name":"World Wide Web","score":0.38539591431617737},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.3586445450782776},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.30379194021224976}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8243972063064575},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.5830960273742676},{"id":"https://openalex.org/C2129575","wikidata":"https://www.wikidata.org/wiki/Q54837","display_name":"Semantic Web","level":2,"score":0.5650327205657959},{"id":"https://openalex.org/C2779231336","wikidata":"https://www.wikidata.org/wiki/Q7534724","display_name":"Sketch","level":2,"score":0.5513191819190979},{"id":"https://openalex.org/C511149849","wikidata":"https://www.wikidata.org/wiki/Q7449051","display_name":"Semantic computing","level":3,"score":0.4832190275192261},{"id":"https://openalex.org/C534406577","wikidata":"https://www.wikidata.org/wiki/Q7550843","display_name":"Social Semantic Web","level":3,"score":0.4792501926422119},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.4727517068386078},{"id":"https://openalex.org/C103692084","wikidata":"https://www.wikidata.org/wiki/Q1765824","display_name":"Semantic grid","level":3,"score":0.4511687755584717},{"id":"https://openalex.org/C6881194","wikidata":"https://www.wikidata.org/wiki/Q7449091","display_name":"Semantic technology","level":4,"score":0.441201776266098},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.4178151488304138},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.38539591431617737},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.3586445450782776},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.30379194021224976},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1142/s1793351x09000641","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s1793351x09000641","pdf_url":null,"source":{"id":"https://openalex.org/S4210201727","display_name":"International Journal of Semantic Computing","issn_l":"1793-7108","issn":["1793-7108","1793-351X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Semantic Computing","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure","score":0.4300000071525574}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":116,"referenced_works":["https://openalex.org/W9756089","https://openalex.org/W64286206","https://openalex.org/W74334858","https://openalex.org/W101925239","https://openalex.org/W127276186","https://openalex.org/W143930113","https://openalex.org/W203864484","https://openalex.org/W258022877","https://openalex.org/W326353637","https://openalex.org/W791830148","https://openalex.org/W1152827136","https://openalex.org/W1482384446","https://openalex.org/W1485610452","https://openalex.org/W1485776234","https://openalex.org/W1489800325","https://openalex.org/W1492683468","https://openalex.org/W1503170978","https://openalex.org/W1503973138","https://openalex.org/W1536956420","https://openalex.org/W1538991291","https://openalex.org/W1552382283","https://openalex.org/W1557292059","https://openalex.org/W1559063185","https://openalex.org/W1572140523","https://openalex.org/W1577783107","https://openalex.org/W1578500392","https://openalex.org/W1580714196","https://openalex.org/W1580925329","https://openalex.org/W1589349472","https://openalex.org/W1601195943","https://openalex.org/W1603788080","https://openalex.org/W1764236772","https://openalex.org/W1802904226","https://openalex.org/W1857327297","https://openalex.org/W1864417503","https://openalex.org/W1964193719","https://openalex.org/W1967031800","https://openalex.org/W1972818437","https://openalex.org/W1975322993","https://openalex.org/W1976883511","https://openalex.org/W1983608286","https://openalex.org/W1994143452","https://openalex.org/W1999640872","https://openalex.org/W2006267758","https://openalex.org/W2010444348","https://openalex.org/W2015937909","https://openalex.org/W2015966716","https://openalex.org/W2016914525","https://openalex.org/W2028005385","https://openalex.org/W2034268990","https://openalex.org/W2034717157","https://openalex.org/W2038754076","https://openalex.org/W2043100293","https://openalex.org/W2043540769","https://openalex.org/W2045057107","https://openalex.org/W2052689828","https://openalex.org/W2053344396","https://openalex.org/W2077359497","https://openalex.org/W2077592849","https://openalex.org/W2080267935","https://openalex.org/W2083039210","https://openalex.org/W2084797476","https://openalex.org/W2088508682","https://openalex.org/W2090036533","https://openalex.org/W2092957278","https://openalex.org/W2105390144","https://openalex.org/W2106112636","https://openalex.org/W2106581782","https://openalex.org/W2107725559","https://openalex.org/W2108754536","https://openalex.org/W2111164171","https://openalex.org/W2115937516","https://openalex.org/W2118926712","https://openalex.org/W2125429832","https://openalex.org/W2128932399","https://openalex.org/W2130981351","https://openalex.org/W2131171036","https://openalex.org/W2134338128","https://openalex.org/W2136277350","https://openalex.org/W2137837392","https://openalex.org/W2139280369","https://openalex.org/W2140595120","https://openalex.org/W2141762210","https://openalex.org/W2144192824","https://openalex.org/W2144973245","https://openalex.org/W2153183909","https://openalex.org/W2156434123","https://openalex.org/W2160096280","https://openalex.org/W2167433695","https://openalex.org/W2170486381","https://openalex.org/W2295902379","https://openalex.org/W2396903734","https://openalex.org/W2403499768","https://openalex.org/W2477314165","https://openalex.org/W2477698825","https://openalex.org/W2733127530","https://openalex.org/W2891255201","https://openalex.org/W2914227004","https://openalex.org/W2938366666","https://openalex.org/W2945526390","https://openalex.org/W3021158638","https://openalex.org/W3023064319","https://openalex.org/W3144368627","https://openalex.org/W4210886820","https://openalex.org/W4231113774","https://openalex.org/W4234528212","https://openalex.org/W4244639453","https://openalex.org/W4249538237","https://openalex.org/W4255318870","https://openalex.org/W4285719527","https://openalex.org/W4296471858","https://openalex.org/W4299731435","https://openalex.org/W4300021588","https://openalex.org/W4300128858","https://openalex.org/W4400074655","https://openalex.org/W6679407285"],"related_works":["https://openalex.org/W2280628760","https://openalex.org/W2387349142","https://openalex.org/W4229736327","https://openalex.org/W1605808839","https://openalex.org/W2013055153","https://openalex.org/W1546139022","https://openalex.org/W1692244837","https://openalex.org/W2068597994","https://openalex.org/W2059508983","https://openalex.org/W78209888"],"abstract_inverted_index":{"New":[0],"research":[1],"activities":[2],"sailing":[3],"under":[4],"the":[5,22,26,30,37,50,61,97,110,132,139],"brands":[6],"of":[7,25,53,63,89,99,112,134],"semantic":[8,10,14,64,93,113],"web,":[9],"web":[11],"service,":[12],"and":[13,18,66,71,83,86,102,119,148],"computing":[15,114,136],"have":[16],"extended,":[17],"partly":[19],"also":[20],"confused":[21],"classical":[23],"meaning":[24,54],"term":[27],"semantics":[28],"as":[29],"software":[31,75,100,117,141],"engineering":[32,76,118],"community":[33],"established":[34],"it":[35],"in":[36,74,116],"last":[38],"century.":[39],"In":[40],"this":[41,56],"article":[42],"we":[43],"try":[44],"to":[45,95,137],"shed":[46],"some":[47],"light":[48],"on":[49,60,109,131],"different":[51],"connotations":[52],"with":[55,128],"word.":[57],"We":[58,78,105,126],"reflect":[59],"role":[62],"definitions":[65],"formally":[67,80],"defined":[68,81],"specifications,":[69],"modeling":[70],"programming":[72],"languages":[73],"activities.":[77],"sketch":[79],"construction":[82],"validation":[84],"methods,":[85],"discuss":[87,120],"contributions":[88],"tools":[90],"that":[91],"exploit":[92],"information":[94],"enhance":[96],"quality":[98],"products":[101],"development":[103],"processes.":[104],"explore":[106],"recent":[107],"work":[108],"use":[111],"technology":[115],"opportunities":[121],"for":[122],"successful":[123],"future":[124],"applications.":[125],"conclude":[127],"an":[129],"outlook":[130],"potential":[133],"service-oriented":[135],"change":[138],"way":[140],"applications":[142],"are":[143],"designed,":[144],"laid":[145],"out,":[146],"delivered,":[147],"used.":[149]},"counts_by_year":[{"year":2012,"cited_by_count":2}],"updated_date":"2026-07-23T08:03:31.855105","created_date":"2025-10-10T00:00:00"}