{"id":"https://openalex.org/W1579509162","doi":"https://doi.org/10.1017/cbo9780511711787.007","title":"Expressive Description Logics","display_name":"Expressive Description Logics","publication_year":2007,"publication_date":"2007-08-09","ids":{"openalex":"https://openalex.org/W1579509162","doi":"https://doi.org/10.1017/cbo9780511711787.007","mag":"1579509162"},"language":"en","primary_location":{"id":"doi:10.1017/cbo9780511711787.007","doi":"https://doi.org/10.1017/cbo9780511711787.007","is_oa":false,"landing_page_url":"https://doi.org/10.1017/cbo9780511711787.007","pdf_url":null,"source":{"id":"https://openalex.org/S4306462995","display_name":"Cambridge University Press eBooks","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"ebook platform"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The Description Logic Handbook","raw_type":"book-chapter"},"volume":{"id":"https://openalex.org/W1555563750","display_name":"The Description Logic Handbook"},"type":"book-chapter","is_traditional":true,"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/A5077723508","display_name":"Diego Calvanese","orcid":"https://orcid.org/0000-0001-5174-9693","observed_orcids":["https://orcid.org/0000-0001-5174-9693","https://orcid.org/0000-0002-3141-8675"]},"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":"D. Calvanese","raw_affiliation_strings":["Freie Universit\u00e4t Bozen, Bolzano"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Freie Universit\u00e4t Bozen, Bolzano","institution_ids":["https://openalex.org/I171543936"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5013290512","display_name":"Giuseppe De Giacomo","orcid":"https://orcid.org/0000-0001-9680-7658","observed_orcids":["https://orcid.org/0000-0001-9680-7658"]},"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":"G. De Giacomo","raw_affiliation_strings":["Freie Universit\u00e4t Bozen, Bolzano"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Freie Universit\u00e4t Bozen, Bolzano","institution_ids":["https://openalex.org/I171543936"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I171543936"],"apc_list":null,"apc_paid":null,"fwci":10.0619,"has_fulltext":false,"cited_by_count":75,"citation_normalized_percentile":{"value":0.98552101,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":88,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"193","last_page":"236"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9955999851226807,"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.9955999851226807,"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.002300000051036477,"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/T10374","display_name":"Advanced Graph Theory Research","score":9.999999747378752e-05,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/expressive-description-logics","display_name":"expressive description logics","score":0.972000002861023},{"id":"https://openalex.org/keywords/inverse-roles","display_name":"inverse roles","score":0.9739999771118164},{"id":"https://openalex.org/keywords/number-restrictions","display_name":"number restrictions","score":0.9459999799728394},{"id":"https://openalex.org/keywords/undecidability","display_name":"undecidability","score":0.8650000095367432},{"id":"https://openalex.org/keywords/decidability","display_name":"decidability","score":0.597000002861023},{"id":"https://openalex.org/keywords/knowledge-base","display_name":"knowledge base","score":0.593999981880188},{"id":"https://openalex.org/keywords/subsumption","display_name":"subsumption","score":0.5429999828338623}],"concepts":[{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.686650812625885},{"id":"https://openalex.org/C167729594","wikidata":"https://www.wikidata.org/wiki/Q17736","display_name":"Axiom","level":2,"score":0.6198461651802063},{"id":"https://openalex.org/C86602344","wikidata":"https://www.wikidata.org/wiki/Q7667918","display_name":"T-norm fuzzy logics","level":5,"score":0.616584837436676},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.5984584093093872},{"id":"https://openalex.org/C191399111","wikidata":"https://www.wikidata.org/wiki/Q64861","display_name":"Transitive relation","level":2,"score":0.5613073110580444},{"id":"https://openalex.org/C128896722","wikidata":"https://www.wikidata.org/wiki/Q1501387","display_name":"Transitive closure","level":2,"score":0.5082685351371765},{"id":"https://openalex.org/C110546421","wikidata":"https://www.wikidata.org/wiki/Q1315869","display_name":"Arity","level":2,"score":0.4815100133419037},{"id":"https://openalex.org/C98224912","wikidata":"https://www.wikidata.org/wiki/Q6901647","display_name":"Monoidal t-norm logic","level":5,"score":0.47191885113716125},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4611437916755676},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4600316286087036},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.4229600727558136},{"id":"https://openalex.org/C146834321","wikidata":"https://www.wikidata.org/wiki/Q2979672","display_name":"Closure (psychology)","level":2,"score":0.41935741901397705},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.34268879890441895},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.32756853103637695},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3024154305458069},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.25608259439468384},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.19856420159339905},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.19612190127372742},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C1883856","wikidata":"https://www.wikidata.org/wiki/Q3407463","display_name":"Fuzzy number","level":4,"score":0.0},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.0},{"id":"https://openalex.org/C42011625","wikidata":"https://www.wikidata.org/wiki/Q1055058","display_name":"Fuzzy set","level":3,"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/C58166","wikidata":"https://www.wikidata.org/wiki/Q224821","display_name":"Fuzzy logic","level":2,"score":0.0},{"id":"https://openalex.org/C5263885","wikidata":"https://www.wikidata.org/wiki/Q1967302","display_name":"Membership function","level":4,"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/C34447519","wikidata":"https://www.wikidata.org/wiki/Q179522","display_name":"Market economy","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1017/cbo9780511711787.007","doi":"https://doi.org/10.1017/cbo9780511711787.007","is_oa":false,"landing_page_url":"https://doi.org/10.1017/cbo9780511711787.007","pdf_url":null,"source":{"id":"https://openalex.org/S4306462995","display_name":"Cambridge University Press eBooks","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"ebook platform"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The Description Logic Handbook","raw_type":"book-chapter"},{"id":"pmh:oai:iris.uniroma1.it:11573/151095","doi":null,"is_oa":false,"landing_page_url":"http://hdl.handle.net/11573/151095","pdf_url":null,"source":{"id":"https://openalex.org/S4377196107","display_name":"IRIS Research product catalog (Sapienza University of Rome)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/bookPart"}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W1682069835","https://openalex.org/W2156226590","https://openalex.org/W1551503011","https://openalex.org/W66176321","https://openalex.org/W1494145374","https://openalex.org/W7097368494","https://openalex.org/W1481181327","https://openalex.org/W2054800543","https://openalex.org/W1499418768","https://openalex.org/W2109003533"],"abstract_inverted_index":{"This":[0],"chapter":[1,54,83,121],"covers":[2],"extensions":[3,104],"of":[4,41,50,93,140,145,158,177,198,203,234,241],"the":[5,78,82,85,114,125,138,152,185,196,231,235,239,246,254],"basic":[6],"Description":[7,132],"Logics":[8,133],"introduced":[9,136],"in":[10,27,81,119,184,195,245,253],"Chapter":[11],"2":[12],"by":[13,175,229],"very":[14],"expressive":[15,115,232],"constructs":[16,44],"that":[17,30,108,113,168],"require":[18],"advanced":[19],"reasoning":[20,26,58,91,199,217],"techniques.":[21],"In":[22],"particular,":[23],"we":[24,101],"study":[25],"description":[28,106,116,236],"logics":[29,79,107,117],"include":[31],"general":[32,72,205,219],"inclusion":[33,178,243],"axioms,":[34],"inverse":[35],"roles,":[36,42],"number":[37],"restrictions,":[38],"reflexive\u2013transitive":[39],"closure":[40],"fixpoint":[43],"for":[45,162,213],"recursive":[46],"definitions,":[47],"and":[48,66,69,95,129,148,211],"relations":[49],"arbitrary":[51,242],"arity.":[52],"The":[53],"will":[55,96],"also":[56,97],"address":[57],"w.r.t.":[59],"knowledge":[60,174,201,220],"bases":[61,202],"including":[62],"both":[63],"a":[64,142,192,204],"TBox":[65,247],"an":[67],"ABox,":[68],"discuss":[70],"more":[71,214],"ways":[73],"to":[74,105,110,124,172,226,250],"treat":[75],"objects.":[76],"Since":[77],"considered":[80,118],"lack":[84],"finite":[86,89],"model":[87,90],"property,":[88],"is":[92,170,223],"interest":[94,194],"be":[98],"discussed.":[99],"Finally,":[100],"mention":[102],"several":[103],"lead":[109],"undecidability,":[111],"confirming":[112],"this":[120],"are":[122],"close":[123],"boundary":[126],"between":[127],"decidability":[128],"undecidability.":[130],"Introduction":[131],"have":[134],"been":[135,191],"with":[137],"goal":[139],"providing":[141],"formal":[143],"reconstruction":[144],"frame":[146],"systems":[147],"semantic":[149],"networks.":[150],"Initially,":[151],"research":[153],"has":[154,190],"concentrated":[155],"on":[156,182],"subsumption":[157],"concept":[159],"expressions.":[160],"However,":[161],"certain":[163],"applications,":[164],"it":[165,169,222],"turns":[166],"out":[167],"necessary":[171],"represent":[173],"means":[176],"axioms":[179,244],"without":[180],"limitation":[181],"cycles":[183],"TBox.":[186],"Therefore,":[187],"recently":[188],"there":[189],"strong":[193],"problem":[197],"over":[200,218],"form.":[206],"See":[207],"Chapters":[208],"2,":[209],"3,":[210],"4":[212],"details.":[215],"When":[216],"bases,":[221],"not":[224],"possible":[225],"gain":[227],"tractability":[228],"limiting":[230],"power":[233,240],"logic,":[237],"because":[238],"alone":[248],"leads":[249],"high":[251],"complexity":[252],"inference":[255],"mechanisms.":[256]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2023,"cited_by_count":2},{"year":2020,"cited_by_count":3},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":4},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":3},{"year":2012,"cited_by_count":2}],"updated_date":"2026-11-12T12:28:57.059296","created_date":"2016-06-24T00:00:00"}