{"id":"https://openalex.org/W2079039075","doi":"https://doi.org/10.1142/s0218213008004072","title":"TOWARDS PATTERN-BASED REASONING FOR FRIENDLY ONTOLOGY DEBUGGING","display_name":"TOWARDS PATTERN-BASED REASONING FOR FRIENDLY ONTOLOGY DEBUGGING","publication_year":2008,"publication_date":"2008-08-01","ids":{"openalex":"https://openalex.org/W2079039075","doi":"https://doi.org/10.1142/s0218213008004072","mag":"2079039075"},"language":"en","primary_location":{"id":"doi:10.1142/s0218213008004072","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0218213008004072","pdf_url":null,"source":{"id":"https://openalex.org/S178780388","display_name":"International Journal of Artificial Intelligence Tools","issn_l":"0218-2130","issn":["0218-2130","1793-6349"],"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 on Artificial Intelligence Tools","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://papers.ssrn.com/sol3/papers.cfm?abstract_id=1122310","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5050418400","display_name":"Mustafa Jarrar","orcid":"https://orcid.org/0000-0003-4351-4207"},"institutions":[{"id":"https://openalex.org/I34771391","display_name":"University of Cyprus","ror":"https://ror.org/02qjrjx09","country_code":"CY","type":"education","lineage":["https://openalex.org/I34771391"]},{"id":"https://openalex.org/I13469542","display_name":"Vrije Universiteit Brussel","ror":"https://ror.org/006e5kg04","country_code":"BE","type":"education","lineage":["https://openalex.org/I13469542"]},{"id":"https://openalex.org/I4210107784","display_name":"Starlab (United States)","ror":"https://ror.org/01fwrew07","country_code":"US","type":"company","lineage":["https://openalex.org/I4210107784"]}],"countries":["BE","CY","US"],"is_corresponding":true,"raw_author_name":"MUSTAFA JARRAR","raw_affiliation_strings":["HPCLab, University of Cyprus, STARLab, Vrije Universiteit Brussel, Belgium","VUB STARLab","University of Cyprus"],"affiliations":[{"raw_affiliation_string":"HPCLab, University of Cyprus, STARLab, Vrije Universiteit Brussel, Belgium","institution_ids":["https://openalex.org/I34771391","https://openalex.org/I13469542"]},{"raw_affiliation_string":"VUB STARLab","institution_ids":["https://openalex.org/I4210107784"]},{"raw_affiliation_string":"University of Cyprus","institution_ids":["https://openalex.org/I34771391"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5057002563","display_name":"Stijn Heymans","orcid":null},"institutions":[{"id":"https://openalex.org/I2801227569","display_name":"Ghent University Hospital","ror":"https://ror.org/00xmkp704","country_code":"BE","type":"healthcare","lineage":["https://openalex.org/I2801227569"]},{"id":"https://openalex.org/I190249584","display_name":"Universit\u00e4t Innsbruck","ror":"https://ror.org/054pv6659","country_code":"AT","type":"education","lineage":["https://openalex.org/I190249584"]}],"countries":["AT","BE"],"is_corresponding":false,"raw_author_name":"STIJN HEYMANS","raw_affiliation_strings":["DERI, University of Innsbruck, Austria","Ghent University"],"affiliations":[{"raw_affiliation_string":"DERI, University of Innsbruck, Austria","institution_ids":["https://openalex.org/I190249584"]},{"raw_affiliation_string":"Ghent University","institution_ids":["https://openalex.org/I2801227569"]}]}],"institutions":[],"countries_distinct_count":4,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5050418400"],"corresponding_institution_ids":["https://openalex.org/I13469542","https://openalex.org/I34771391","https://openalex.org/I4210107784"],"apc_list":null,"apc_paid":null,"fwci":0.5721,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.78042079,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"17","issue":"04","first_page":"607","last_page":"634"},"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.9980000257492065,"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/T10317","display_name":"Advanced Database Systems and Queries","score":0.994700014591217,"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/ontology","display_name":"Ontology","score":0.7391472458839417},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7123801112174988},{"id":"https://openalex.org/keywords/constraint","display_name":"Constraint (computer-aided design)","score":0.5108630061149597},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.4214453101158142},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3485775887966156},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.33359861373901367},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.17519080638885498},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.11006280779838562}],"concepts":[{"id":"https://openalex.org/C25810664","wikidata":"https://www.wikidata.org/wiki/Q44325","display_name":"Ontology","level":2,"score":0.7391472458839417},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7123801112174988},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.5108630061149597},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.4214453101158142},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3485775887966156},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.33359861373901367},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.17519080638885498},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.11006280779838562},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","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":2,"locations":[{"id":"doi:10.1142/s0218213008004072","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0218213008004072","pdf_url":null,"source":{"id":"https://openalex.org/S178780388","display_name":"International Journal of Artificial Intelligence Tools","issn_l":"0218-2130","issn":["0218-2130","1793-6349"],"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 on Artificial Intelligence Tools","raw_type":"journal-article"},{"id":"mag:2079039075","is_oa":true,"landing_page_url":"https://papers.ssrn.com/sol3/papers.cfm?abstract_id=1122310","pdf_url":null,"source":{"id":"https://openalex.org/S4210172589","display_name":"SSRN Electronic Journal","issn_l":"1556-5068","issn":["1556-5068"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1318003438","host_organization_name":"RELX Group (Netherlands)","host_organization_lineage":["https://openalex.org/I1318003438"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"SSRN Electronic Journal","raw_type":null}],"best_oa_location":{"id":"mag:2079039075","is_oa":true,"landing_page_url":"https://papers.ssrn.com/sol3/papers.cfm?abstract_id=1122310","pdf_url":null,"source":{"id":"https://openalex.org/S4210172589","display_name":"SSRN Electronic Journal","issn_l":"1556-5068","issn":["1556-5068"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1318003438","host_organization_name":"RELX Group (Netherlands)","host_organization_lineage":["https://openalex.org/I1318003438"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"SSRN Electronic Journal","raw_type":null},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions","score":0.5299999713897705}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":10,"referenced_works":["https://openalex.org/W1499474259","https://openalex.org/W1506240119","https://openalex.org/W1538808533","https://openalex.org/W1568564169","https://openalex.org/W1584060962","https://openalex.org/W1606530527","https://openalex.org/W2095782492","https://openalex.org/W2120459092","https://openalex.org/W2137193342","https://openalex.org/W2144087222"],"related_works":["https://openalex.org/W2788764253","https://openalex.org/W3041064262","https://openalex.org/W3036659126","https://openalex.org/W2138270831","https://openalex.org/W1873554161","https://openalex.org/W143394815","https://openalex.org/W115026936","https://openalex.org/W436899696","https://openalex.org/W1894844425","https://openalex.org/W2744810613","https://openalex.org/W2188540568","https://openalex.org/W2159552238","https://openalex.org/W2191640778","https://openalex.org/W1726857441","https://openalex.org/W58519581","https://openalex.org/W2589396532","https://openalex.org/W1527711075","https://openalex.org/W215885944","https://openalex.org/W2613111260","https://openalex.org/W2168623046"],"abstract_inverted_index":{"Reasoning":[0],"with":[1,98,180],"ontologies":[2],"is":[3,52,93,129,151,186],"a":[4,29,99,105,212],"challenging":[5,65],"task":[6],"specially":[7],"for":[8],"non-logic":[9],"experts.":[10],"When":[11],"checking":[12],"whether":[13],"an":[14,75],"ontology":[15,57,96,156],"contains":[16],"rules":[17,43],"that":[18,116,132,139,206],"contradict":[19],"each":[20,209],"other,":[21],"current":[22],"description":[23,181,197],"logic":[24,182],"reasoners":[25],"can":[26],"only":[27],"provide":[28],"list":[30],"of":[31,68,81,90,113,126,175],"the":[32,56,142,154,163,202],"unsatisfiable":[33,76],"concepts.":[34],"Figuring":[35],"out":[36],"why":[37],"these":[38,50],"concepts":[39,84],"are":[40,135],"unsatisfiable,":[41],"which":[42,109],"cause":[44,79],"conflicts,":[45,51],"and":[46,144,159,191,196,204],"how":[47],"to":[48,55,85,94,118,146],"resolve":[49,147],"all":[53],"left":[54],"modeler":[58],"himself.":[59],"The":[60,88,124,149],"problem":[61],"becomes":[62],"even":[63],"more":[64],"in":[66,120,153,161,177,201],"case":[67],"large":[69],"or":[70],"medium":[71],"size":[72],"ontologies,":[73],"because":[74],"concept":[77],"may":[78],"many":[80],"its":[82],"neighboring":[83],"be":[86],"unsatisfiable.":[87],"goal":[89],"this":[91,127,170],"article":[92],"empower":[95],"engineering":[97,157],"user-friendly":[100],"reasoning":[101,107,172],"mechanism.":[102],"We":[103,166,189],"propose":[104],"pattern-based":[106,171,195],"approach,":[108],"offers":[110],"9":[111],"patterns":[112],"constraint":[114,133],"contradictions":[115,134,176],"lead":[117],"unsatisfiability":[119],"Object-role":[121],"(ORM)":[122],"models.":[123],"novelty":[125],"approach":[128,150],"not":[130,187],"merely":[131],"detected,":[136],"but":[137],"mainly":[138],"it":[140,185],"provides":[141],"causes":[143],"suggestions":[145],"contradictions.":[148],"implemented":[152],"DogmaModeler":[155],"tool,":[158],"tested":[160],"building":[162],"CCFORM":[164],"ontology.":[165],"discuss":[167],"that,":[168],"although":[169],"covers":[173],"most":[174],"practice,":[178],"compared":[179],"based":[183],"reasoning,":[184],"complete.":[188],"argue":[190],"illustrate":[192],"both":[193,207],"approaches,":[194],"logic-based,":[198],"their":[199],"implementation":[200],"DogmaModeler,":[203],"conclude":[205],"complement":[208],"other":[210],"from":[211],"methodological":[213],"perspective.":[214]},"counts_by_year":[{"year":2018,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}