{"id":"https://openalex.org/W2730675338","doi":"https://doi.org/10.29007/4ckv","title":"Reasoning with Concept Diagrams about Antipatterns","display_name":"Reasoning with Concept Diagrams about Antipatterns","publication_year":2018,"publication_date":"2018-01-12","ids":{"openalex":"https://openalex.org/W2730675338","doi":"https://doi.org/10.29007/4ckv","mag":"2730675338"},"language":"en","primary_location":{"id":"doi:10.29007/4ckv","is_oa":true,"landing_page_url":"https://doi.org/10.29007/4ckv","pdf_url":"https://easychair.org/publications/open/1TC","source":{"id":"https://openalex.org/S4220650884","display_name":"Kalpa publications in computing","issn_l":"2515-1762","issn":["2515-1762"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Kalpa Publications in Computing","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://easychair.org/publications/open/1TC","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5082391822","display_name":"Zohreh Shams","orcid":"https://orcid.org/0000-0002-0143-798X"},"institutions":[{"id":"https://openalex.org/I241749","display_name":"University of Cambridge","ror":"https://ror.org/013meh722","country_code":"GB","type":"education","lineage":["https://openalex.org/I241749"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Zohreh Shams","raw_affiliation_strings":["Computer Laboratory, University of Cambridge, Cambridge, UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Computer Laboratory, University of Cambridge, Cambridge, UK","institution_ids":["https://openalex.org/I241749"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5036018012","display_name":"Mateja Jamnik","orcid":"https://orcid.org/0000-0003-2772-2532"},"institutions":[{"id":"https://openalex.org/I241749","display_name":"University of Cambridge","ror":"https://ror.org/013meh722","country_code":"GB","type":"education","lineage":["https://openalex.org/I241749"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Mateja Jamnik","raw_affiliation_strings":["Computer Laboratory, University of Cambridge, Cambridge, UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Computer Laboratory, University of Cambridge, Cambridge, UK","institution_ids":["https://openalex.org/I241749"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5057312942","display_name":"Gem Stapleton","orcid":"https://orcid.org/0000-0002-6567-6752"},"institutions":[{"id":"https://openalex.org/I71637028","display_name":"University of Brighton","ror":"https://ror.org/04kp2b655","country_code":"GB","type":"education","lineage":["https://openalex.org/I71637028"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Gem Stapleton","raw_affiliation_strings":["Visual Modelling Group, University of Brighton, Brighton, UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Visual Modelling Group, University of Brighton, Brighton, UK","institution_ids":["https://openalex.org/I71637028"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5060764929","display_name":"Yuri Sato","orcid":"https://orcid.org/0000-0002-4095-7451"},"institutions":[{"id":"https://openalex.org/I71637028","display_name":"University of Brighton","ror":"https://ror.org/04kp2b655","country_code":"GB","type":"education","lineage":["https://openalex.org/I71637028"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Yuri Sato","raw_affiliation_strings":["Visual Modelling Group, University of Brighton, Brighton, UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Visual Modelling Group, University of Brighton, Brighton, UK","institution_ids":["https://openalex.org/I71637028"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.169,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.57093431,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"1","issue":null,"first_page":"27","last_page":"10"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.9998000264167786,"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.9998000264167786,"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/T11710","display_name":"Biomedical Text Mining and Ontologies","score":0.9976000189781189,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},{"id":"https://openalex.org/T10799","display_name":"Data Visualization and Analytics","score":0.991100013256073,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"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.8378616571426392},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.6968618035316467},{"id":"https://openalex.org/keywords/ontology","display_name":"Ontology","score":0.695250391960144},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.5815474987030029},{"id":"https://openalex.org/keywords/axiom","display_name":"Axiom","score":0.560228705406189},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5265160799026489},{"id":"https://openalex.org/keywords/knowledge-representation-and-reasoning","display_name":"Knowledge representation and reasoning","score":0.4829520583152771},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.45210856199264526},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4451422691345215},{"id":"https://openalex.org/keywords/formal-ontology","display_name":"Formal ontology","score":0.42263147234916687},{"id":"https://openalex.org/keywords/ontology-language","display_name":"Ontology language","score":0.4182654619216919},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.415367066860199},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.40258660912513733},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3928280472755432},{"id":"https://openalex.org/keywords/process-ontology","display_name":"Process ontology","score":0.3781663775444031},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.35003358125686646},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.33811384439468384},{"id":"https://openalex.org/keywords/semantic-web","display_name":"Semantic Web","score":0.14485007524490356}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8378616571426392},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.6968618035316467},{"id":"https://openalex.org/C25810664","wikidata":"https://www.wikidata.org/wiki/Q44325","display_name":"Ontology","level":2,"score":0.695250391960144},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.5815474987030029},{"id":"https://openalex.org/C167729594","wikidata":"https://www.wikidata.org/wiki/Q17736","display_name":"Axiom","level":2,"score":0.560228705406189},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5265160799026489},{"id":"https://openalex.org/C161301231","wikidata":"https://www.wikidata.org/wiki/Q3478658","display_name":"Knowledge representation and reasoning","level":2,"score":0.4829520583152771},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.45210856199264526},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4451422691345215},{"id":"https://openalex.org/C2778177438","wikidata":"https://www.wikidata.org/wiki/Q1437388","display_name":"Formal ontology","level":4,"score":0.42263147234916687},{"id":"https://openalex.org/C61673122","wikidata":"https://www.wikidata.org/wiki/Q7095059","display_name":"Ontology language","level":3,"score":0.4182654619216919},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.415367066860199},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.40258660912513733},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3928280472755432},{"id":"https://openalex.org/C137003198","wikidata":"https://www.wikidata.org/wiki/Q7247296","display_name":"Process ontology","level":3,"score":0.3781663775444031},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.35003358125686646},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.33811384439468384},{"id":"https://openalex.org/C2129575","wikidata":"https://www.wikidata.org/wiki/Q54837","display_name":"Semantic Web","level":2,"score":0.14485007524490356},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"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/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"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/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"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":4,"locations":[{"id":"doi:10.29007/4ckv","is_oa":true,"landing_page_url":"https://doi.org/10.29007/4ckv","pdf_url":"https://easychair.org/publications/open/1TC","source":{"id":"https://openalex.org/S4220650884","display_name":"Kalpa publications in computing","issn_l":"2515-1762","issn":["2515-1762"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Kalpa Publications in Computing","raw_type":"proceedings-article"},{"id":"pmh:oai:pure.atira.dk:openaire/f57e905d-cd18-4c6b-b762-cb1d32dd9684","is_oa":true,"landing_page_url":"https://research.brighton.ac.uk/en/publications/f57e905d-cd18-4c6b-b762-cb1d32dd9684","pdf_url":null,"source":{"id":"https://openalex.org/S4306401758","display_name":"University of Brighton Repository (University of Brighton)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I71637028","host_organization_name":"University of Brighton","host_organization_lineage":["https://openalex.org/I71637028"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Shams, Z, Jamnik, M, Stapleton, G & Sato, Y 2017, Reasoning with Concept Diagrams about Antipatterns. in 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning (short papers). EPiC Series in Computing, Botswana, pp. 0-0, 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning (short papers), 9/05/17.","raw_type":"contributionToPeriodical"},{"id":"pmh:oai:www.repository.cam.ac.uk:1810/279221","is_oa":false,"landing_page_url":"https://www.repository.cam.ac.uk/handle/1810/279221","pdf_url":null,"source":{"id":"https://openalex.org/S4306401777","display_name":"Apollo (University of Cambridge)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I241749","host_organization_name":"University of Cambridge","host_organization_lineage":["https://openalex.org/I241749"],"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":"Conference Object"},{"id":"doi:10.17863/cam.26601","is_oa":true,"landing_page_url":"https://doi.org/10.17863/cam.26601","pdf_url":null,"source":{"id":"https://openalex.org/S7407050737","display_name":"Apollo","issn_l":null,"issn":[],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"doi:10.29007/4ckv","is_oa":true,"landing_page_url":"https://doi.org/10.29007/4ckv","pdf_url":"https://easychair.org/publications/open/1TC","source":{"id":"https://openalex.org/S4220650884","display_name":"Kalpa publications in computing","issn_l":"2515-1762","issn":["2515-1762"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Kalpa Publications in Computing","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G5227258834","display_name":null,"funder_award_id":"RPG-2016-082","funder_id":"https://openalex.org/F4320319993","funder_display_name":"Leverhulme Trust"}],"funders":[{"id":"https://openalex.org/F4320319993","display_name":"Leverhulme Trust","ror":"https://ror.org/012mzw131"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2730675338.pdf","grobid_xml":"https://content.openalex.org/works/W2730675338.grobid-xml"},"referenced_works_count":20,"referenced_works":["https://openalex.org/W105978187","https://openalex.org/W204723148","https://openalex.org/W284059702","https://openalex.org/W1488681519","https://openalex.org/W1498424588","https://openalex.org/W1524692725","https://openalex.org/W1808818536","https://openalex.org/W1974740511","https://openalex.org/W1990890881","https://openalex.org/W2032212484","https://openalex.org/W2049592444","https://openalex.org/W2082012377","https://openalex.org/W2087804333","https://openalex.org/W2173235673","https://openalex.org/W2175849758","https://openalex.org/W2345342777","https://openalex.org/W2408448769","https://openalex.org/W2911529331","https://openalex.org/W3195736320","https://openalex.org/W6608288769"],"related_works":["https://openalex.org/W2749819226","https://openalex.org/W2911529331","https://openalex.org/W4244275182","https://openalex.org/W1862275504","https://openalex.org/W195714804","https://openalex.org/W2974760014","https://openalex.org/W4297957815","https://openalex.org/W166830849","https://openalex.org/W1518772309","https://openalex.org/W1578979856"],"abstract_inverted_index":{"Ontologies":[0],"are":[1,57,132,163],"notoriously":[2],"hard":[3],"to":[4,15,61,82,134,172],"define,":[5],"express":[6],"and":[7,19,30,42,86,165,176],"reason":[8,83,173],"about.":[9],"Many":[10],"tools":[11],"have":[12],"been":[13],"developed":[14,39],"ease":[16],"the":[17,20,72,108],"debugging":[18,65],"reasoning":[21,43],"process":[22],"with":[23],"ontologies,":[24],"however":[25],"they":[26,168],"often":[27],"lack":[28],"accessibility":[29],"formalisation.":[31],"A":[32],"visual":[33],"representation":[34],"language,":[35],"concept":[36,55,78,101,155],"diagrams,":[37],"was":[38],"for":[40,100,136,189],"expressing":[41],"about":[44,84,174],"ontologies":[45,195],"in":[46,63,196],"an":[47],"accessible":[48,60],"way.":[49],"Indeed,":[50],"empirical":[51,126],"studies":[52],"show":[53],"that":[54,103,128,145,159],"diagrams":[56,79,102,131,144],"cognitively":[58],"more":[59],"users":[62,137],"ontology":[64,116,152],"tasks.":[66],"In":[67],"this":[68],"paper":[69],"we":[70,179],"answer":[71],"question":[73],"of":[74,88,97,107,112,115,120,141,150],"\u201c":[75],"How":[76],"can":[77,169,184],"be":[80,170],"used":[81,171],"inconsistencies":[85,175],"incoherence":[87,111],"ontologies?\u201d.":[89],"We":[90,157],"do":[91],"so":[92],"by":[93,125],"formalising":[94],"a":[95,113,139,147,187],"set":[96,114,140],"inference":[98,121,161],"rules":[99,122,162,183,191],"enables":[104],"stepwise":[105],"verification":[106],"inconsistency":[109],"and/or":[110],"axioms.":[117],"The":[118],"design":[119],"is":[123],"driven":[124],"evidence":[127],"concise":[129],"(merged)":[130],"easier":[133],"comprehend":[135],"than":[138],"lower":[142],"level":[143],"offer":[146],"one-to-one":[148],"translation":[149],"OWL":[151],"axioms":[153],"into":[154],"diagrams.":[156],"prove":[158],"our":[160,182],"sound,":[164],"exemplify":[166],"how":[167,181],"incoherence.":[177],"Finally,":[178],"indicate":[180],"serve":[185],"as":[186],"foundation":[188],"new":[190,198],"required":[192],"when":[193],"representing":[194],"diverse":[197],"domains.":[199]},"counts_by_year":[{"year":2018,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}