{"id":"https://openalex.org/W2058522535","doi":"https://doi.org/10.4018/jswis.2012100105","title":"Adimen-SUMO","display_name":"Adimen-SUMO","publication_year":2012,"publication_date":"2012-10-01","ids":{"openalex":"https://openalex.org/W2058522535","doi":"https://doi.org/10.4018/jswis.2012100105","mag":"2058522535"},"language":"en","primary_location":{"id":"doi:10.4018/jswis.2012100105","is_oa":false,"landing_page_url":"https://doi.org/10.4018/jswis.2012100105","pdf_url":null,"source":{"id":"https://openalex.org/S181240966","display_name":"International Journal on Semantic Web and Information Systems","issn_l":"1552-6283","issn":["1552-6283","1552-6291"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320424","host_organization_name":"IGI Global","host_organization_lineage":["https://openalex.org/P4310320424"],"host_organization_lineage_names":["IGI Global"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal on Semantic Web and Information 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/A5006812181","display_name":"Javier \u00c1lvez","orcid":"https://orcid.org/0000-0001-8413-0854"},"institutions":[{"id":"https://openalex.org/I169108374","display_name":"University of the Basque Country","ror":"https://ror.org/000xsnr85","country_code":"ES","type":"education","lineage":["https://openalex.org/I169108374"]}],"countries":["ES"],"is_corresponding":true,"raw_author_name":"Javier \u00c0lvez","raw_affiliation_strings":["Department of Languages and Information Systems, University of the Basque Country, Donostia, Gipuzkoa, Spain"],"affiliations":[{"raw_affiliation_string":"Department of Languages and Information Systems, University of the Basque Country, Donostia, Gipuzkoa, Spain","institution_ids":["https://openalex.org/I169108374"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5070571461","display_name":"Paqui Lucio","orcid":"https://orcid.org/0000-0001-7872-2685"},"institutions":[{"id":"https://openalex.org/I169108374","display_name":"University of the Basque Country","ror":"https://ror.org/000xsnr85","country_code":"ES","type":"education","lineage":["https://openalex.org/I169108374"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Paqui Lucio","raw_affiliation_strings":["Department of Languages and Information Systems, University of the Basque Country, Donostia, Gipuzkoa, Spain"],"affiliations":[{"raw_affiliation_string":"Department of Languages and Information Systems, University of the Basque Country, Donostia, Gipuzkoa, Spain","institution_ids":["https://openalex.org/I169108374"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5073264941","display_name":"Germ\u00e1n Rigau","orcid":"https://orcid.org/0000-0003-1119-0930"},"institutions":[{"id":"https://openalex.org/I169108374","display_name":"University of the Basque Country","ror":"https://ror.org/000xsnr85","country_code":"ES","type":"education","lineage":["https://openalex.org/I169108374"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"German Rigau","raw_affiliation_strings":["Department of Languages and Information Systems, University of the Basque Country, Donostia, Gipuzkoa, Spain"],"affiliations":[{"raw_affiliation_string":"Department of Languages and Information Systems, University of the Basque Country, Donostia, Gipuzkoa, Spain","institution_ids":["https://openalex.org/I169108374"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5006812181"],"corresponding_institution_ids":["https://openalex.org/I169108374"],"apc_list":null,"apc_paid":null,"fwci":2.5688,"has_fulltext":false,"cited_by_count":28,"citation_normalized_percentile":{"value":0.90199077,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":"8","issue":"4","first_page":"80","last_page":"116"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.9998999834060669,"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.9998999834060669,"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/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.9965999722480774,"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/T10181","display_name":"Natural Language Processing Techniques","score":0.9952999949455261,"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.7899297475814819},{"id":"https://openalex.org/keywords/ontology","display_name":"Ontology","score":0.7358954548835754},{"id":"https://openalex.org/keywords/semantic-web","display_name":"Semantic Web","score":0.5373975038528442},{"id":"https://openalex.org/keywords/axiom","display_name":"Axiom","score":0.5194486975669861},{"id":"https://openalex.org/keywords/formal-ontology","display_name":"Formal ontology","score":0.49743154644966125},{"id":"https://openalex.org/keywords/automated-theorem-proving","display_name":"Automated theorem proving","score":0.4960959851741791},{"id":"https://openalex.org/keywords/business-process-reengineering","display_name":"Business process reengineering","score":0.4795213043689728},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.4343464970588684},{"id":"https://openalex.org/keywords/order","display_name":"Order (exchange)","score":0.4333949685096741},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.4177320897579193},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.37105050683021545},{"id":"https://openalex.org/keywords/upper-ontology","display_name":"Upper ontology","score":0.36934152245521545},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.313801646232605},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.09636151790618896}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7899297475814819},{"id":"https://openalex.org/C25810664","wikidata":"https://www.wikidata.org/wiki/Q44325","display_name":"Ontology","level":2,"score":0.7358954548835754},{"id":"https://openalex.org/C2129575","wikidata":"https://www.wikidata.org/wiki/Q54837","display_name":"Semantic Web","level":2,"score":0.5373975038528442},{"id":"https://openalex.org/C167729594","wikidata":"https://www.wikidata.org/wiki/Q17736","display_name":"Axiom","level":2,"score":0.5194486975669861},{"id":"https://openalex.org/C2778177438","wikidata":"https://www.wikidata.org/wiki/Q1437388","display_name":"Formal ontology","level":4,"score":0.49743154644966125},{"id":"https://openalex.org/C206880738","wikidata":"https://www.wikidata.org/wiki/Q431667","display_name":"Automated theorem proving","level":2,"score":0.4960959851741791},{"id":"https://openalex.org/C29143872","wikidata":"https://www.wikidata.org/wiki/Q876690","display_name":"Business process reengineering","level":3,"score":0.4795213043689728},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.4343464970588684},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.4333949685096741},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4177320897579193},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.37105050683021545},{"id":"https://openalex.org/C78726541","wikidata":"https://www.wikidata.org/wiki/Q3882785","display_name":"Upper ontology","level":3,"score":0.36934152245521545},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.313801646232605},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.09636151790618896},{"id":"https://openalex.org/C21547014","wikidata":"https://www.wikidata.org/wiki/Q1423657","display_name":"Operations management","level":1,"score":0.0},{"id":"https://openalex.org/C10138342","wikidata":"https://www.wikidata.org/wiki/Q43015","display_name":"Finance","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},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"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/C137335462","wikidata":"https://www.wikidata.org/wiki/Q380772","display_name":"Lean manufacturing","level":2,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.4018/jswis.2012100105","is_oa":false,"landing_page_url":"https://doi.org/10.4018/jswis.2012100105","pdf_url":null,"source":{"id":"https://openalex.org/S181240966","display_name":"International Journal on Semantic Web and Information Systems","issn_l":"1552-6283","issn":["1552-6283","1552-6291"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320424","host_organization_name":"IGI Global","host_organization_lineage":["https://openalex.org/P4310320424"],"host_organization_lineage_names":["IGI Global"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal on Semantic Web and Information Systems","raw_type":"journal-article"},{"id":"pmh:oai:RePEc:igg:jswis0:v:8:y:2012:i:4:p:80-116","is_oa":false,"landing_page_url":"https://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/jswis.2012100105","pdf_url":null,"source":{"id":"https://openalex.org/S4306401271","display_name":"RePEc: Research Papers in Economics","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I77793887","host_organization_name":"Federal Reserve Bank of St. Louis","host_organization_lineage":["https://openalex.org/I77793887"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9","score":0.6499999761581421}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":92,"referenced_works":["https://openalex.org/W22702538","https://openalex.org/W26338302","https://openalex.org/W41512512","https://openalex.org/W89188974","https://openalex.org/W102257363","https://openalex.org/W102708294","https://openalex.org/W134401634","https://openalex.org/W145918469","https://openalex.org/W160339868","https://openalex.org/W182379871","https://openalex.org/W184722459","https://openalex.org/W186663390","https://openalex.org/W205991341","https://openalex.org/W217162355","https://openalex.org/W226713551","https://openalex.org/W584959844","https://openalex.org/W1482585805","https://openalex.org/W1514763875","https://openalex.org/W1515857575","https://openalex.org/W1516346799","https://openalex.org/W1528689085","https://openalex.org/W1529522905","https://openalex.org/W1536826708","https://openalex.org/W1537460435","https://openalex.org/W1541650124","https://openalex.org/W1548524771","https://openalex.org/W1561873078","https://openalex.org/W1572801864","https://openalex.org/W1573440853","https://openalex.org/W1573992413","https://openalex.org/W1576017289","https://openalex.org/W1582382940","https://openalex.org/W1587086601","https://openalex.org/W1596967103","https://openalex.org/W1599211362","https://openalex.org/W1644950267","https://openalex.org/W1645894569","https://openalex.org/W1654805921","https://openalex.org/W1756713414","https://openalex.org/W1772968073","https://openalex.org/W1780472831","https://openalex.org/W1804031886","https://openalex.org/W1807555267","https://openalex.org/W1940888119","https://openalex.org/W1991981864","https://openalex.org/W2002331993","https://openalex.org/W2005337919","https://openalex.org/W2015191210","https://openalex.org/W2018970941","https://openalex.org/W2020902159","https://openalex.org/W2022166150","https://openalex.org/W2024016985","https://openalex.org/W2038721957","https://openalex.org/W2058097775","https://openalex.org/W2075123415","https://openalex.org/W2077044157","https://openalex.org/W2079255996","https://openalex.org/W2079478118","https://openalex.org/W2100313866","https://openalex.org/W2100515808","https://openalex.org/W2103103282","https://openalex.org/W2104071946","https://openalex.org/W2104490983","https://openalex.org/W2115969784","https://openalex.org/W2119332773","https://openalex.org/W2122540544","https://openalex.org/W2122865749","https://openalex.org/W2153225416","https://openalex.org/W2154829072","https://openalex.org/W2160331299","https://openalex.org/W2188716465","https://openalex.org/W2219014017","https://openalex.org/W2250601048","https://openalex.org/W2407403466","https://openalex.org/W2546431772","https://openalex.org/W2546750069","https://openalex.org/W3101974058","https://openalex.org/W4235505822","https://openalex.org/W4237686856","https://openalex.org/W4238977241","https://openalex.org/W4245672552","https://openalex.org/W4285719527","https://openalex.org/W6600892715","https://openalex.org/W6605501986","https://openalex.org/W6606482852","https://openalex.org/W6607410760","https://openalex.org/W6607608828","https://openalex.org/W6635254968","https://openalex.org/W6636731178","https://openalex.org/W6675721791","https://openalex.org/W6688779428","https://openalex.org/W6729345844"],"related_works":["https://openalex.org/W1509244320","https://openalex.org/W2118281964","https://openalex.org/W2127701157","https://openalex.org/W1994780253","https://openalex.org/W2174149409","https://openalex.org/W2170920069","https://openalex.org/W2253640873","https://openalex.org/W4236646227","https://openalex.org/W2185814875","https://openalex.org/W4389096544"],"abstract_inverted_index":{"In":[0,101],"this":[1],"paper,":[2],"the":[3,45,64,72,103,115,129],"authors":[4],"present":[5,59],"Adimen-SUMO,":[6],"an":[7],"operational":[8,146],"ontology":[9,93],"to":[10,58,96,112],"be":[11],"used":[12],"by":[13,39],"first-order":[14,68,77,109,147],"theorem":[15,69,80],"provers":[16,70,81],"in":[17,60,94],"intelligent":[18],"systems":[19],"that":[20],"require":[21],"sophisticated":[22],"reasoning":[23,110],"capabilities":[24],"(e.g.":[25],"Natural":[26],"Language":[27],"Processing,":[28],"Knowledge":[29],"Engineering,":[30],"Semantic":[31],"Web":[32],"infrastructure,":[33],"etc.).":[34],"Adimen-SUMO":[35],"has":[36],"been":[37],"obtained":[38],"automatically":[40],"translating":[41],"around":[42],"88%":[43],"of":[44,48,66,76,128,149],"original":[46],"axioms":[47],"SUMO":[49,130],"(Suggested":[50],"Upper":[51],"Merged":[52],"Ontology).":[53],"Their":[54],"main":[55],"interest":[56],"is":[57],"a":[61,89,133],"practical":[62],"way":[63],"advantages":[65],"using":[67],"during":[71],"design":[73,124,139],"and":[74,91,120,126,141],"development":[75],"ontologies.":[78],"First-order":[79],"are":[82],"applied":[83],"as":[84],"inference":[85],"engines":[86],"for":[87,98,144],"reengineering":[88],"large":[90],"complex":[92],"order":[95],"allow":[97],"formal":[99],"reasoning.":[100],"particular,":[102],"authors\u2019":[104],"study":[105],"focuses":[106],"on":[107],"providing":[108],"support":[111],"SUMO.":[113],"During":[114],"process,":[116],"they":[117,135],"detect,":[118],"explain":[119],"repair":[121],"several":[122],"important":[123],"flaws":[125],"problems":[127],"axiomatization.":[131],"As":[132],"by-product,":[134],"also":[136],"provide":[137],"general":[138],"decisions":[140],"good":[142],"practices":[143],"creating":[145],"ontologies":[148],"any":[150],"kind.":[151]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":2},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":9},{"year":2017,"cited_by_count":3},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":3},{"year":2013,"cited_by_count":3}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2016-06-24T00:00:00"}