{"id":"https://openalex.org/W3207176796","doi":"https://doi.org/10.1017/s1471068421000466","title":"Efficient TBox Reasoning with Value Restrictions using the <i>wer</i> Reasoner","display_name":"Efficient TBox Reasoning with Value Restrictions using the <i>wer</i> Reasoner","publication_year":2021,"publication_date":"2021-10-15","ids":{"openalex":"https://openalex.org/W3207176796","doi":"https://doi.org/10.1017/s1471068421000466","mag":"3207176796"},"language":"en","primary_location":{"id":"doi:10.1017/s1471068421000466","is_oa":true,"landing_page_url":"https://doi.org/10.1017/s1471068421000466","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/A0096D2B730983C479AE4D8F974CB754/S1471068421000466a.pdf/div-class-title-efficient-tbox-reasoning-with-value-restrictions-using-the-span-class-inlineformula-span-class-alternatives-img-class-inline-graphic-mathjax-alternative-mathjax-alt-graphic-mathjax-off-data-mimesubtype-png-data-type-src-staticdomain-binary-version-id-urn-cambridge-org-id-binary-20220331125401901-0208-s1471068421000466-s1471068421000466-inline1-png-span-class-mathjax-tex-wrapper-data-mathjax-type-texmath-span-class-tex-math-mathjax-tex-math-mathjax-on-cal-f-cal-l-0-span-span-span-span-span-class-italic-wer-span-reasoner-div.pdf","source":{"id":"https://openalex.org/S59670734","display_name":"Theory and Practice of Logic Programming","issn_l":"1471-0684","issn":["1471-0684","1475-3081"],"is_oa":false,"is_in_doaj":false,"is_core":true,"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":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theory and Practice of Logic Programming","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/A0096D2B730983C479AE4D8F974CB754/S1471068421000466a.pdf/div-class-title-efficient-tbox-reasoning-with-value-restrictions-using-the-span-class-inlineformula-span-class-alternatives-img-class-inline-graphic-mathjax-alternative-mathjax-alt-graphic-mathjax-off-data-mimesubtype-png-data-type-src-staticdomain-binary-version-id-urn-cambridge-org-id-binary-20220331125401901-0208-s1471068421000466-s1471068421000466-inline1-png-span-class-mathjax-tex-wrapper-data-mathjax-type-texmath-span-class-tex-math-mathjax-tex-math-mathjax-on-cal-f-cal-l-0-span-span-span-span-span-class-italic-wer-span-reasoner-div.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5086254817","display_name":"Franz Baader","orcid":"https://orcid.org/0000-0002-4049-221X"},"institutions":[{"id":"https://openalex.org/I78650965","display_name":"Technische Universit\u00e4t Dresden","ror":"https://ror.org/042aqky30","country_code":"DE","type":"education","lineage":["https://openalex.org/I78650965"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"FRANZ BAADER","raw_affiliation_strings":["Technische Universitat Dresden, Dresden, Germany (e-mails:"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Technische Universitat Dresden, Dresden, Germany (e-mails:","institution_ids":["https://openalex.org/I78650965"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5020877951","display_name":"Patrick Koopmann","orcid":"https://orcid.org/0000-0001-5999-2583"},"institutions":[{"id":"https://openalex.org/I78650965","display_name":"Technische Universit\u00e4t Dresden","ror":"https://ror.org/042aqky30","country_code":"DE","type":"education","lineage":["https://openalex.org/I78650965"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"PATRICK KOOPMANN","raw_affiliation_strings":["Technische Universitat Dresden, Dresden, Germany (e-mails:"],"raw_orcid":"https://orcid.org/0000-0001-5999-2583","affiliations":[{"raw_affiliation_string":"Technische Universitat Dresden, Dresden, Germany (e-mails:","institution_ids":["https://openalex.org/I78650965"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5013136316","display_name":"Friedrich Michel","orcid":"https://orcid.org/0000-0002-1369-0835"},"institutions":[{"id":"https://openalex.org/I78650965","display_name":"Technische Universit\u00e4t Dresden","ror":"https://ror.org/042aqky30","country_code":"DE","type":"education","lineage":["https://openalex.org/I78650965"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"FRIEDRICH MICHEL","raw_affiliation_strings":["Technische Universitat Dresden, Dresden, Germany (e-mails:"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Technische Universitat Dresden, Dresden, Germany (e-mails:","institution_ids":["https://openalex.org/I78650965"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5087373966","display_name":"Anni-Yasmin Turhan","orcid":"https://orcid.org/0000-0001-6336-335X"},"institutions":[{"id":"https://openalex.org/I78650965","display_name":"Technische Universit\u00e4t Dresden","ror":"https://ror.org/042aqky30","country_code":"DE","type":"education","lineage":["https://openalex.org/I78650965"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"ANNI-YASMIN TURHAN","raw_affiliation_strings":["Technische Universitat Dresden, Dresden, Germany (e-mails:"],"raw_orcid":"https://orcid.org/0000-0001-6336-335X","affiliations":[{"raw_affiliation_string":"Technische Universitat Dresden, Dresden, Germany (e-mails:","institution_ids":["https://openalex.org/I78650965"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5029872962","display_name":"Benjamin Zarrie\u00df","orcid":null},"institutions":[{"id":"https://openalex.org/I78650965","display_name":"Technische Universit\u00e4t Dresden","ror":"https://ror.org/042aqky30","country_code":"DE","type":"education","lineage":["https://openalex.org/I78650965"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"BENJAMIN ZARRIESS","raw_affiliation_strings":["Technische Universitat Dresden, Dresden, Germany (e-mails:"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Technische Universitat Dresden, Dresden, Germany (e-mails:","institution_ids":["https://openalex.org/I78650965"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I78650965"],"apc_list":null,"apc_paid":null,"fwci":0.1365,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.55522181,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"22","issue":"2","first_page":"162","last_page":"192"},"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.995199978351593,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9926000237464905,"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/semantic-reasoner","display_name":"Semantic reasoner","score":0.9393324255943298},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.5887385606765747},{"id":"https://openalex.org/keywords/extension","display_name":"Extension (predicate logic)","score":0.5627977252006531},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.541219174861908},{"id":"https://openalex.org/keywords/value","display_name":"Value (mathematics)","score":0.5254154205322266},{"id":"https://openalex.org/keywords/polynomial","display_name":"Polynomial","score":0.4252273440361023},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.38713356852531433},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.3528931736946106},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.3391849994659424},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.26785826683044434},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2454034686088562},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.23933440446853638},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.0866827666759491}],"concepts":[{"id":"https://openalex.org/C9616225","wikidata":"https://www.wikidata.org/wiki/Q3929429","display_name":"Semantic reasoner","level":2,"score":0.9393324255943298},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.5887385606765747},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.5627977252006531},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.541219174861908},{"id":"https://openalex.org/C2776291640","wikidata":"https://www.wikidata.org/wiki/Q2912517","display_name":"Value (mathematics)","level":2,"score":0.5254154205322266},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.4252273440361023},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.38713356852531433},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.3528931736946106},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.3391849994659424},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.26785826683044434},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2454034686088562},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.23933440446853638},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.0866827666759491},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1017/s1471068421000466","is_oa":true,"landing_page_url":"https://doi.org/10.1017/s1471068421000466","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/A0096D2B730983C479AE4D8F974CB754/S1471068421000466a.pdf/div-class-title-efficient-tbox-reasoning-with-value-restrictions-using-the-span-class-inlineformula-span-class-alternatives-img-class-inline-graphic-mathjax-alternative-mathjax-alt-graphic-mathjax-off-data-mimesubtype-png-data-type-src-staticdomain-binary-version-id-urn-cambridge-org-id-binary-20220331125401901-0208-s1471068421000466-s1471068421000466-inline1-png-span-class-mathjax-tex-wrapper-data-mathjax-type-texmath-span-class-tex-math-mathjax-tex-math-mathjax-on-cal-f-cal-l-0-span-span-span-span-span-class-italic-wer-span-reasoner-div.pdf","source":{"id":"https://openalex.org/S59670734","display_name":"Theory and Practice of Logic Programming","issn_l":"1471-0684","issn":["1471-0684","1475-3081"],"is_oa":false,"is_in_doaj":false,"is_core":true,"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":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theory and Practice of Logic Programming","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1017/s1471068421000466","is_oa":true,"landing_page_url":"https://doi.org/10.1017/s1471068421000466","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/A0096D2B730983C479AE4D8F974CB754/S1471068421000466a.pdf/div-class-title-efficient-tbox-reasoning-with-value-restrictions-using-the-span-class-inlineformula-span-class-alternatives-img-class-inline-graphic-mathjax-alternative-mathjax-alt-graphic-mathjax-off-data-mimesubtype-png-data-type-src-staticdomain-binary-version-id-urn-cambridge-org-id-binary-20220331125401901-0208-s1471068421000466-s1471068421000466-inline1-png-span-class-mathjax-tex-wrapper-data-mathjax-type-texmath-span-class-tex-math-mathjax-tex-math-mathjax-on-cal-f-cal-l-0-span-span-span-span-span-class-italic-wer-span-reasoner-div.pdf","source":{"id":"https://openalex.org/S59670734","display_name":"Theory and Practice of Logic Programming","issn_l":"1471-0684","issn":["1471-0684","1475-3081"],"is_oa":false,"is_in_doaj":false,"is_core":true,"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":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theory and Practice of Logic Programming","raw_type":"journal-article"},"sustainable_development_goals":[{"score":0.4099999964237213,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[{"id":"https://openalex.org/G3032849772","display_name":null,"funder_award_id":"TRR 248","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"},{"id":"https://openalex.org/G890954746","display_name":"TRR 248: Grundlagen verst\u00e4ndlicher SoftwareSysteme  f\u00fcr eine nachvollziehbare cyberphysische Welt","funder_award_id":"389792660","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"}],"funders":[{"id":"https://openalex.org/F4320320879","display_name":"Deutsche Forschungsgemeinschaft","ror":"https://ror.org/018mejw64"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3207176796.pdf","grobid_xml":"https://content.openalex.org/works/W3207176796.grobid-xml"},"referenced_works_count":30,"referenced_works":["https://openalex.org/W80737574","https://openalex.org/W271442919","https://openalex.org/W1501340360","https://openalex.org/W1509731421","https://openalex.org/W1514379438","https://openalex.org/W1527818723","https://openalex.org/W1579458556","https://openalex.org/W1585071008","https://openalex.org/W1601038846","https://openalex.org/W1616151740","https://openalex.org/W1806386184","https://openalex.org/W1970672740","https://openalex.org/W1974896839","https://openalex.org/W1990890881","https://openalex.org/W2033623362","https://openalex.org/W2057513565","https://openalex.org/W2064593774","https://openalex.org/W2116502002","https://openalex.org/W2118625453","https://openalex.org/W2139315672","https://openalex.org/W2171207252","https://openalex.org/W2404056264","https://openalex.org/W2546288571","https://openalex.org/W2798529576","https://openalex.org/W3012195701","https://openalex.org/W3146347964","https://openalex.org/W4244275182","https://openalex.org/W4245349101","https://openalex.org/W6630553470","https://openalex.org/W6638113935"],"related_works":["https://openalex.org/W3127511143","https://openalex.org/W2542061993","https://openalex.org/W2737855517","https://openalex.org/W2214104119","https://openalex.org/W2350354245","https://openalex.org/W4323715042","https://openalex.org/W2804740741","https://openalex.org/W2159682108","https://openalex.org/W4323714303","https://openalex.org/W2397357298"],"abstract_inverted_index":{"Abstract":[0],"The":[1],"inexpressive":[2],"Description":[3],"Logic":[4],"(DL)":[5],"${\\cal":[6,32,55,65,75,108,123,136,142,180,184],"F}{{\\cal":[7,33,66,76,109,124,137,143,181,185],"L}_0}$":[8,34,67,77,110,125,144,182],",":[9,78],"which":[10,79,161],"has":[11],"conjunction":[12],"and":[13,148,164,183],"value":[14],"restriction":[15],"as":[16,46,48,103],"its":[17],"only":[18],"concept":[19,151],"constructors,":[20],"had":[21],"fallen":[22],"into":[23],"disrepute":[24],"when":[25],"it":[26],"turned":[27],"out":[28],"that":[29,44,96,117],"reasoning":[30,172],"in":[31,49,106,133,158,173],"w.r.t.":[35],"general":[36],"TBoxes":[37],"is":[38,80],"E":[39],"xp":[40],"T":[41],"ime":[42],"-complete,":[43],"is,":[45],"hard":[47],"the":[50,84,97,119,134,146,149,169,177],"considerably":[51],"more":[52],"expressive":[53],"logic":[54],"A}{\\cal":[56],"L}{\\cal":[57],"C}$":[58],".":[59,189],"In":[60],"this":[61,159],"paper,":[62,160],"we":[63],"rehabilitate":[64],"by":[68,88,152],"presenting":[69],"a":[70,154],"dedicated":[71],"subsumption":[72],"algorithm":[73],"for":[74],"much":[81],"simpler":[82],"than":[83],"tableau-based":[85],"algorithms":[86],"employed":[87],"highly":[89,120],"optimized":[90,121],"DL":[91],"reasoners.":[92,122],"Our":[93],"experiments":[94],"show":[95],"performance":[98],"of":[99,118,141,171,179],"our":[100,107],"novel":[101],"algorithm,":[102],"prototypically":[104],"implemented":[105],"wer":[111,126],"reasoner,":[112],"compares":[113],"very":[114],"well":[115],"with":[116,130,145],"can":[127],"also":[128,167],"deal":[129],"ontologies":[131],"written":[132],"extension":[135],"L}_":[138,186],"\\bot":[139,187],"}$":[140,188],"top":[147,163],"bottom":[150],"employing":[153],"polynomial-time":[155],"reduction,":[156],"shown":[157],"eliminates":[162],"bottom.":[165],"We":[166],"investigate":[168],"complexity":[170],"DLs":[174],"related":[175],"to":[176],"Horn-fragments":[178]},"counts_by_year":[{"year":2023,"cited_by_count":1}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2021-10-25T00:00:00"}