{"id":"https://openalex.org/W4386723832","doi":"https://doi.org/10.1007/978-3-031-43513-3_4","title":"Non-distributive Description Logic","display_name":"Non-distributive Description Logic","publication_year":2023,"publication_date":"2023-01-01","ids":{"openalex":"https://openalex.org/W4386723832","doi":"https://doi.org/10.1007/978-3-031-43513-3_4"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-031-43513-3_4","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-43513-3_4","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-43513-3_4.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-43513-3_4.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5027438191","display_name":"Ineke van der Berg","orcid":"https://orcid.org/0000-0003-2220-1383"},"institutions":[{"id":"https://openalex.org/I26092322","display_name":"Stellenbosch University","ror":"https://ror.org/05bk57929","country_code":"ZA","type":"education","lineage":["https://openalex.org/I26092322"]},{"id":"https://openalex.org/I865915315","display_name":"Vrije Universiteit Amsterdam","ror":"https://ror.org/008xxew50","country_code":"NL","type":"education","lineage":["https://openalex.org/I865915315"]}],"countries":["NL","ZA"],"is_corresponding":false,"raw_author_name":"Ineke van der Berg","raw_affiliation_strings":["Department of Mathematical Sciences, Stellenbosch University, Stellenbosch, South Africa","Vrije Universiteit Amsterdam, Amsterdam, The Netherlands"],"raw_orcid":"https://orcid.org/0000-0003-2220-1383","affiliations":[{"raw_affiliation_string":"Department of Mathematical Sciences, Stellenbosch University, Stellenbosch, South Africa","institution_ids":["https://openalex.org/I26092322"]},{"raw_affiliation_string":"Vrije Universiteit Amsterdam, Amsterdam, The Netherlands","institution_ids":["https://openalex.org/I865915315"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5002450167","display_name":"Andrea De Domenico","orcid":"https://orcid.org/0000-0002-8973-7011"},"institutions":[{"id":"https://openalex.org/I865915315","display_name":"Vrije Universiteit Amsterdam","ror":"https://ror.org/008xxew50","country_code":"NL","type":"education","lineage":["https://openalex.org/I865915315"]}],"countries":["NL"],"is_corresponding":true,"raw_author_name":"Andrea De Domenico","raw_affiliation_strings":["Vrije Universiteit Amsterdam, Amsterdam, The Netherlands"],"raw_orcid":"https://orcid.org/0000-0002-8973-7011","affiliations":[{"raw_affiliation_string":"Vrije Universiteit Amsterdam, Amsterdam, The Netherlands","institution_ids":["https://openalex.org/I865915315"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5035153627","display_name":"Giuseppe Greco","orcid":"https://orcid.org/0000-0002-4845-3821"},"institutions":[{"id":"https://openalex.org/I865915315","display_name":"Vrije Universiteit Amsterdam","ror":"https://ror.org/008xxew50","country_code":"NL","type":"education","lineage":["https://openalex.org/I865915315"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Giuseppe Greco","raw_affiliation_strings":["Vrije Universiteit Amsterdam, Amsterdam, The Netherlands"],"raw_orcid":"https://orcid.org/0000-0002-4845-3821","affiliations":[{"raw_affiliation_string":"Vrije Universiteit Amsterdam, Amsterdam, The Netherlands","institution_ids":["https://openalex.org/I865915315"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5066244243","display_name":"Krishna Manoorkar","orcid":"https://orcid.org/0000-0003-3664-7757"},"institutions":[{"id":"https://openalex.org/I865915315","display_name":"Vrije Universiteit Amsterdam","ror":"https://ror.org/008xxew50","country_code":"NL","type":"education","lineage":["https://openalex.org/I865915315"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Krishna B. Manoorkar","raw_affiliation_strings":["Vrije Universiteit Amsterdam, Amsterdam, The Netherlands"],"raw_orcid":"https://orcid.org/0000-0003-3664-7757","affiliations":[{"raw_affiliation_string":"Vrije Universiteit Amsterdam, Amsterdam, The Netherlands","institution_ids":["https://openalex.org/I865915315"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5047149000","display_name":"Alessandra Palmigiano","orcid":"https://orcid.org/0000-0001-9656-7527"},"institutions":[{"id":"https://openalex.org/I24027795","display_name":"University of Johannesburg","ror":"https://ror.org/04z6c2n17","country_code":"ZA","type":"education","lineage":["https://openalex.org/I24027795"]},{"id":"https://openalex.org/I865915315","display_name":"Vrije Universiteit Amsterdam","ror":"https://ror.org/008xxew50","country_code":"NL","type":"education","lineage":["https://openalex.org/I865915315"]}],"countries":["NL","ZA"],"is_corresponding":false,"raw_author_name":"Alessandra Palmigiano","raw_affiliation_strings":["Department of Mathematics and Applied Mathematics, University of Johannesburg, Johannesburg, South Africa","Vrije Universiteit Amsterdam, Amsterdam, The Netherlands"],"raw_orcid":"https://orcid.org/0000-0001-9656-7527","affiliations":[{"raw_affiliation_string":"Department of Mathematics and Applied Mathematics, University of Johannesburg, Johannesburg, South Africa","institution_ids":["https://openalex.org/I24027795"]},{"raw_affiliation_string":"Vrije Universiteit Amsterdam, Amsterdam, The Netherlands","institution_ids":["https://openalex.org/I865915315"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5031603467","display_name":"Mattia Panettiere","orcid":"https://orcid.org/0000-0002-9218-5449"},"institutions":[{"id":"https://openalex.org/I865915315","display_name":"Vrije Universiteit Amsterdam","ror":"https://ror.org/008xxew50","country_code":"NL","type":"education","lineage":["https://openalex.org/I865915315"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Mattia Panettiere","raw_affiliation_strings":["Vrije Universiteit Amsterdam, Amsterdam, The Netherlands"],"raw_orcid":"https://orcid.org/0000-0002-9218-5449","affiliations":[{"raw_affiliation_string":"Vrije Universiteit Amsterdam, Amsterdam, The Netherlands","institution_ids":["https://openalex.org/I865915315"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5002450167"],"corresponding_institution_ids":["https://openalex.org/I865915315"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":{"value":5000,"currency":"EUR","value_usd":5392},"fwci":3.7746,"has_fulltext":true,"cited_by_count":4,"citation_normalized_percentile":{"value":0.9352691,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"49","last_page":"69"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11063","display_name":"Rough Sets and Fuzzy Logic","score":0.9997000098228455,"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"}},"topics":[{"id":"https://openalex.org/T11063","display_name":"Rough Sets and Fuzzy Logic","score":0.9997000098228455,"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"}},{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.9983000159263611,"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.992900013923645,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/soundness","display_name":"Soundness","score":0.8280707597732544},{"id":"https://openalex.org/keywords/distributive-property","display_name":"Distributive property","score":0.7629679441452026},{"id":"https://openalex.org/keywords/p","display_name":"P","score":0.6724989414215088},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.6317018866539001},{"id":"https://openalex.org/keywords/generalization","display_name":"Generalization","score":0.6106874942779541},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5849096775054932},{"id":"https://openalex.org/keywords/completeness","display_name":"Completeness (order theory)","score":0.45295485854148865},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.42478758096694946},{"id":"https://openalex.org/keywords/conjunctive-query","display_name":"Conjunctive query","score":0.4214167296886444},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.41146695613861084},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.40415602922439575},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.32165098190307617},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.28501325845718384},{"id":"https://openalex.org/keywords/time-complexity","display_name":"Time complexity","score":0.27618905901908875},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2553803026676178},{"id":"https://openalex.org/keywords/relational-database","display_name":"Relational database","score":0.22766080498695374},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.1346311867237091},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.12977027893066406},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.10700979828834534}],"concepts":[{"id":"https://openalex.org/C39920170","wikidata":"https://www.wikidata.org/wiki/Q693083","display_name":"Soundness","level":2,"score":0.8280707597732544},{"id":"https://openalex.org/C11821877","wikidata":"https://www.wikidata.org/wiki/Q187959","display_name":"Distributive property","level":2,"score":0.7629679441452026},{"id":"https://openalex.org/C134026603","wikidata":"https://www.wikidata.org/wiki/Q846354","display_name":"P","level":3,"score":0.6724989414215088},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.6317018866539001},{"id":"https://openalex.org/C177148314","wikidata":"https://www.wikidata.org/wiki/Q170084","display_name":"Generalization","level":2,"score":0.6106874942779541},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5849096775054932},{"id":"https://openalex.org/C17231256","wikidata":"https://www.wikidata.org/wiki/Q5156540","display_name":"Completeness (order theory)","level":2,"score":0.45295485854148865},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.42478758096694946},{"id":"https://openalex.org/C65647387","wikidata":"https://www.wikidata.org/wiki/Q1781706","display_name":"Conjunctive query","level":3,"score":0.4214167296886444},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.41146695613861084},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.40415602922439575},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.32165098190307617},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.28501325845718384},{"id":"https://openalex.org/C311688","wikidata":"https://www.wikidata.org/wiki/Q2393193","display_name":"Time complexity","level":2,"score":0.27618905901908875},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2553803026676178},{"id":"https://openalex.org/C5655090","wikidata":"https://www.wikidata.org/wiki/Q192588","display_name":"Relational database","level":2,"score":0.22766080498695374},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.1346311867237091},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.12977027893066406},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.10700979828834534},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1007/978-3-031-43513-3_4","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-43513-3_4","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-43513-3_4.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:research.vu.nl:openaire_cris_publications/c402eb7f-679c-49c4-9254-c6076e1f6b48","is_oa":true,"landing_page_url":"https://research.vu.nl/en/publications/c402eb7f-679c-49c4-9254-c6076e1f6b48","pdf_url":null,"source":{"id":"https://openalex.org/S4306401107","display_name":"VU Research Portal","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I865915315","host_organization_name":"Vrije Universiteit Amsterdam","host_organization_lineage":["https://openalex.org/I865915315"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"van der Berg, I, De Domenico, A, Greco, G, Manoorkar, K B, Palmigiano, A & Panettiere, M 2023, Non-distributive Description Logic. in R Ramanayake & J Urban (eds), Automated Reasoning with Analytic Tableaux and Related Methods : 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18\u201321, 2023, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 14278 LNAI, TABLEAUX: International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, vol. 2023, Springer Nature Switzerland AG, pp. 49-69, 32nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2023, Prague, Czech Republic, 18/09/23. https://doi.org/10.1007/978-3-031-43513-3_4","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:research.vu.nl:openaire/c402eb7f-679c-49c4-9254-c6076e1f6b48","is_oa":true,"landing_page_url":"https://hdl.handle.net/1871.1/c402eb7f-679c-49c4-9254-c6076e1f6b48","pdf_url":null,"source":{"id":"https://openalex.org/S4306401107","display_name":"VU Research Portal","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I865915315","host_organization_name":"Vrije Universiteit Amsterdam","host_organization_lineage":["https://openalex.org/I865915315"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"van der Berg, I, De Domenico, A, Greco, G, Manoorkar, K B, Palmigiano, A & Panettiere, M 2023, Non-distributive Description Logic. in R Ramanayake & J Urban (eds), Automated Reasoning with Analytic Tableaux and Related Methods : 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18\u201321, 2023, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 14278 LNAI, TABLEAUX: International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, vol. 2023, Springer Nature Switzerland AG, pp. 49-69, 32nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2023, Prague, Czech Republic, 18/09/23. https://doi.org/10.1007/978-3-031-43513-3_4","raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":{"id":"doi:10.1007/978-3-031-43513-3_4","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-43513-3_4","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-43513-3_4.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4386723832.pdf"},"referenced_works_count":19,"referenced_works":["https://openalex.org/W229642387","https://openalex.org/W1514903176","https://openalex.org/W1970311554","https://openalex.org/W2042298480","https://openalex.org/W2055253305","https://openalex.org/W2342236690","https://openalex.org/W2602454794","https://openalex.org/W2616161870","https://openalex.org/W2754456686","https://openalex.org/W2955451696","https://openalex.org/W2964164692","https://openalex.org/W2969326221","https://openalex.org/W2990922713","https://openalex.org/W3146347964","https://openalex.org/W3151724607","https://openalex.org/W4205496906","https://openalex.org/W4244275182","https://openalex.org/W4255318870","https://openalex.org/W4321440994"],"related_works":["https://openalex.org/W2109858088","https://openalex.org/W2951002752","https://openalex.org/W2156776134","https://openalex.org/W1977121595","https://openalex.org/W2551830925","https://openalex.org/W2963364464","https://openalex.org/W2606293658","https://openalex.org/W2807906004","https://openalex.org/W2197207463","https://openalex.org/W2394513129"],"abstract_inverted_index":{"Abstract":[0],"We":[1,71],"define":[2],"LE-":[3,45,77,90,109],"$$\\mathcal":[4,13,46,78,91,110,128],"{ALC}$$":[5,14,47,79,92,111,129],",":[6,80,118],"a":[7,82],"generalization":[8],"of":[9,20,67,89,122,126],"the":[10,17,87,120,123],"description":[11,43],"logic":[12,19,44],"based":[15,33],"on":[16,30,34],"propositional":[18],"general":[21],"(i.e.":[22],"not":[23],"necessarily":[24],"distributive)":[25],"lattices,":[26],"and":[27,57,69,74,98,103],"semantically":[28],"interpreted":[29],"relational":[31],"structures":[32],"formal":[35,58],"contexts":[36],"from":[37],"Formal":[38],"Concept":[39],"Analysis":[40],"(FCA).":[41],"The":[42],"allows":[48],"us":[49],"to":[50,62],"formally":[51],"describe":[52,72],"databases":[53],"with":[54,95,112,130],"objects,":[55],"features,":[56],"concepts,":[59],"represented":[60],"according":[61],"FCA":[63],"as":[64],"Galois-stable":[65],"sets":[66],"objects":[68],"features.":[70],"ABoxes":[73],"TBoxes":[75,114,132],"in":[76,116],"provide":[81],"tableaux":[83],"algorithm":[84],"for":[85,108],"checking":[86,107,125],"consistency":[88,106,124],"knowledge":[93],"bases":[94],"acyclic":[96,113,131],"TBoxes,":[97],"show":[99],"its":[100],"termination,":[101],"soundness":[102],"completeness.":[104],"Interestingly,":[105],"is":[115,133],"PTIME":[117],"while":[119],"complexity":[121],"classical":[127],"PSPACE":[134],"-complete.":[135]},"counts_by_year":[{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":1}],"updated_date":"2026-06-13T06:13:01.061226","created_date":"2025-10-10T00:00:00"}