{"id":"https://openalex.org/W1811484818","doi":"https://doi.org/10.5591/978-1-57735-516-8/ijcai11-188","title":"Beth Definability in Expressive Description Logics","display_name":"Beth Definability in Expressive Description Logics","publication_year":2011,"publication_date":"2011-01-01","ids":{"openalex":"https://openalex.org/W1811484818","doi":"https://doi.org/10.5591/978-1-57735-516-8/ijcai11-188","mag":"1811484818"},"language":"en","primary_location":{"id":"pmh:oai:CiteSeerX.psu:10.1.1.208.905","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.208.905","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://ijcai.org/papers11/Papers/IJCAI11-188.pdf","raw_type":"text"},"type":"article","indexed_in":[],"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/A5080220262","display_name":"Balder ten Cate","orcid":"https://orcid.org/0000-0002-2538-5846"},"institutions":[{"id":"https://openalex.org/I185103710","display_name":"University of California, Santa Cruz","ror":"https://ror.org/03s65by71","country_code":"US","type":"education","lineage":["https://openalex.org/I185103710"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Balder Ten Cate","raw_affiliation_strings":["[UC Santa Cruz.]"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"[UC Santa Cruz.]","institution_ids":["https://openalex.org/I185103710"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5091674970","display_name":"Enrico Franconi","orcid":"https://orcid.org/0000-0002-7814-515X"},"institutions":[{"id":"https://openalex.org/I171543936","display_name":"Free University of Bozen-Bolzano","ror":"https://ror.org/012ajp527","country_code":"IT","type":"education","lineage":["https://openalex.org/I171543936"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Enrico Franconi","raw_affiliation_strings":["Free University of Bozen-Bolzano"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Free University of Bozen-Bolzano","institution_ids":["https://openalex.org/I171543936"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":3.2013,"has_fulltext":false,"cited_by_count":12,"citation_normalized_percentile":{"value":0.9201802,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9987999796867371,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9987999796867371,"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/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/T10181","display_name":"Natural Language Processing Techniques","score":0.991100013256073,"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/property","display_name":"Property (philosophy)","score":0.6967953443527222},{"id":"https://openalex.org/keywords/transitive-relation","display_name":"Transitive relation","score":0.6559067964553833},{"id":"https://openalex.org/keywords/signature","display_name":"Signature (topology)","score":0.6397402286529541},{"id":"https://openalex.org/keywords/exptime","display_name":"EXPTIME","score":0.6285173892974854},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.6051739454269409},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.5902600884437561},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4896736443042755},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4867520332336426},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.48549893498420715},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.46705543994903564},{"id":"https://openalex.org/keywords/exponential-function","display_name":"Exponential function","score":0.43999195098876953},{"id":"https://openalex.org/keywords/inverse","display_name":"Inverse","score":0.43730294704437256},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.39595869183540344},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.37141868472099304},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.264362633228302},{"id":"https://openalex.org/keywords/computational-complexity-theory","display_name":"Computational complexity theory","score":0.20582649111747742},{"id":"https://openalex.org/keywords/pspace","display_name":"PSPACE","score":0.19516518712043762},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.1925058364868164}],"concepts":[{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.6967953443527222},{"id":"https://openalex.org/C191399111","wikidata":"https://www.wikidata.org/wiki/Q64861","display_name":"Transitive relation","level":2,"score":0.6559067964553833},{"id":"https://openalex.org/C2779696439","wikidata":"https://www.wikidata.org/wiki/Q7512811","display_name":"Signature (topology)","level":2,"score":0.6397402286529541},{"id":"https://openalex.org/C56049555","wikidata":"https://www.wikidata.org/wiki/Q1276570","display_name":"EXPTIME","level":4,"score":0.6285173892974854},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.6051739454269409},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.5902600884437561},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4896736443042755},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4867520332336426},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.48549893498420715},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.46705543994903564},{"id":"https://openalex.org/C151376022","wikidata":"https://www.wikidata.org/wiki/Q168698","display_name":"Exponential function","level":2,"score":0.43999195098876953},{"id":"https://openalex.org/C207467116","wikidata":"https://www.wikidata.org/wiki/Q4385666","display_name":"Inverse","level":2,"score":0.43730294704437256},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.39595869183540344},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.37141868472099304},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.264362633228302},{"id":"https://openalex.org/C179799912","wikidata":"https://www.wikidata.org/wiki/Q205084","display_name":"Computational complexity theory","level":2,"score":0.20582649111747742},{"id":"https://openalex.org/C197685441","wikidata":"https://www.wikidata.org/wiki/Q500716","display_name":"PSPACE","level":3,"score":0.19516518712043762},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.1925058364868164},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","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/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","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/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"pmh:oai:CiteSeerX.psu:10.1.1.208.905","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.208.905","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://ijcai.org/papers11/Papers/IJCAI11-188.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.220.8802","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.220.8802","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.inf.unibz.it/%7Efranconi/papers/SeylanFranconi%20IJCAI-11.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.637.7769","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.637.7769","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.jair.org/media/4057/live-4057-7431-jair.pdf","raw_type":"text"},{"id":"pmh:oai:alma.39UBZ_INST:11293005530001241","is_oa":false,"landing_page_url":"https://bia.unibz.it/esploro/outputs/conferenceProceeding/Beth-Definability-in-Expressive-Description-Logics/991006493488801241","pdf_url":null,"source":{"id":"https://openalex.org/S4210197018","display_name":"View","issn_l":"2688-268X","issn":["2688-268X","2688-3988"],"is_oa":false,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Conference Proceedings"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":52,"referenced_works":["https://openalex.org/W5224819","https://openalex.org/W66176321","https://openalex.org/W106929792","https://openalex.org/W995557784","https://openalex.org/W1483339275","https://openalex.org/W1483655485","https://openalex.org/W1484202639","https://openalex.org/W1488578548","https://openalex.org/W1489366126","https://openalex.org/W1490659351","https://openalex.org/W1508729034","https://openalex.org/W1510481118","https://openalex.org/W1527982431","https://openalex.org/W1537126384","https://openalex.org/W1540715591","https://openalex.org/W1541365419","https://openalex.org/W1555563750","https://openalex.org/W1560984185","https://openalex.org/W1569665785","https://openalex.org/W1579509162","https://openalex.org/W1585533089","https://openalex.org/W1600958215","https://openalex.org/W1640599491","https://openalex.org/W1809072088","https://openalex.org/W1860945314","https://openalex.org/W1920591640","https://openalex.org/W1940978291","https://openalex.org/W1975118984","https://openalex.org/W1990890881","https://openalex.org/W1991755574","https://openalex.org/W1991981864","https://openalex.org/W1993453078","https://openalex.org/W1995398260","https://openalex.org/W1999377429","https://openalex.org/W2062485819","https://openalex.org/W2066684585","https://openalex.org/W2080057244","https://openalex.org/W2096375618","https://openalex.org/W2109003533","https://openalex.org/W2114633883","https://openalex.org/W2122325470","https://openalex.org/W2122368812","https://openalex.org/W2133157344","https://openalex.org/W2134269497","https://openalex.org/W2138969118","https://openalex.org/W2152535604","https://openalex.org/W2158374593","https://openalex.org/W2166634564","https://openalex.org/W2249439733","https://openalex.org/W2398437150","https://openalex.org/W2610670723","https://openalex.org/W2759375909"],"related_works":["https://openalex.org/W195752099","https://openalex.org/W2096375618","https://openalex.org/W1940978291","https://openalex.org/W1558832481","https://openalex.org/W2744122510","https://openalex.org/W2066684585","https://openalex.org/W1991981864","https://openalex.org/W2737552223","https://openalex.org/W1608602267","https://openalex.org/W126976627","https://openalex.org/W2788334909","https://openalex.org/W1485002745","https://openalex.org/W2529242558","https://openalex.org/W2963787584","https://openalex.org/W2798485127","https://openalex.org/W1847579509","https://openalex.org/W15992309","https://openalex.org/W2109586917","https://openalex.org/W2402892473","https://openalex.org/W2942964520"],"abstract_inverted_index":{"The":[0],"Beth":[1,74],"definability":[2,75],"property,":[3],"a":[4,20,30,36,70,105],"well-known":[5],"property":[6,55],"from":[7],"classical":[8],"logic,":[9],"is":[10,35,76,120,124],"investigated":[11],"in":[12,27,49,65,142,158,168],"the":[13,52,81,128,143,146],"context":[14],"of":[15,29,73,80,112,132,145],"description":[16],"logics":[17],"(DLs):":[18],"if":[19,150],"general":[21],"L-TBox":[22],"implicitly":[23,134],"defines":[24],"an":[25,46,133],"L-concept":[26],"terms":[28],"given":[31],"signature,":[32],"where":[33],"L":[34,50],"DL,":[37],"then":[38,161],"does":[39],"there":[40],"always":[41],"exist":[42],"over":[43],"this":[44,68],"signature":[45],"explicit":[47,110,130,151],"definition":[48,131],"for":[51,78],"concept?":[53],"This":[54,118],"has":[56],"been":[57],"studied":[58],"before":[59],"and":[60,98],"used":[61],"to":[62,155,165],"optimize":[63],"reasoning":[64],"DLs.":[66],"In":[67],"paper":[69],"complete":[71],"classification":[72],"provided":[77],"extensions":[79],"basic":[82],"DL":[83],"ALC":[84],"with":[85],"transitive":[86],"roles,":[87,89],"inverse":[88],"role":[90],"hierarchies,":[91],"and/or":[92],"functionality":[93],"restrictions,":[94],"both":[95],"on":[96,99],"arbitrary":[97],"finite":[100],"structures.":[101],"Moreover,":[102],"we":[103,162],"present":[104],"tableau-based":[106],"algorithm":[107,119],"which":[108],"computes":[109],"definitions":[111,152],"at":[113],"most":[114],"double":[115,139],"exponential":[116],"size.":[117],"optimal":[121],"because":[122],"it":[123],"also":[125],"shown":[126],"that":[127],"smallest":[129],"defined":[135],"concept":[136],"may":[137],"be":[138,156],"exponentially":[140],"long":[141],"size":[144],"input":[147],"TBox.":[148],"Finally,":[149],"are":[153],"allowed":[154],"expressed":[157],"first-order":[159],"logic":[160],"show":[163],"how":[164],"compute":[166],"them":[167],"EXPTIME.":[169],"1":[170]},"counts_by_year":[{"year":2018,"cited_by_count":1},{"year":2015,"cited_by_count":4},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":4},{"year":2012,"cited_by_count":2}],"updated_date":"2026-07-15T18:14:33.161393","created_date":"2025-10-10T00:00:00"}