{"id":"https://openalex.org/W2571707407","doi":"https://doi.org/10.3233/978-1-61499-672-9-819","title":"Fixed-Domain Reasoning for Description Logics","display_name":"Fixed-Domain Reasoning for Description Logics","publication_year":2016,"publication_date":"2016-01-01","ids":{"openalex":"https://openalex.org/W2571707407","doi":"https://doi.org/10.3233/978-1-61499-672-9-819","mag":"2571707407"},"language":"en","primary_location":{"id":"doi:10.3233/978-1-61499-672-9-819","is_oa":false,"landing_page_url":"https://doi.org/10.3233/978-1-61499-672-9-819","pdf_url":null,"source":{"id":"https://openalex.org/S4210201731","display_name":"Frontiers in artificial intelligence and applications","issn_l":"0922-6389","issn":["0922-6389","1879-8314"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Frontiers in Artificial Intelligence and Applications","raw_type":"book-chapter"},"type":"book-chapter","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/A5116359402","display_name":"Gaggl Sarah","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Gaggl Sarah","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5038869675","display_name":"R. Sebasti\u00e1n","orcid":"https://orcid.org/0000-0002-4390-9893"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Rudolph Sebastian","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5021733363","display_name":"Susan Lukas","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Schweizer Lukas","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5116359402"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":3.8508,"has_fulltext":false,"cited_by_count":20,"citation_normalized_percentile":{"value":0.94977203,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"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.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/T11010","display_name":"Logic, Reasoning, and Knowledge","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/T10215","display_name":"Semantic Web and Ontologies","score":0.9997000098228455,"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/T10456","display_name":"Multi-Agent Systems and Negotiation","score":0.9901999831199646,"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/computer-science","display_name":"Computer science","score":0.8188585042953491},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.643298864364624},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3759521245956421},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.09470957517623901}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8188585042953491},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.643298864364624},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3759521245956421},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.09470957517623901},{"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.3233/978-1-61499-672-9-819","is_oa":false,"landing_page_url":"https://doi.org/10.3233/978-1-61499-672-9-819","pdf_url":null,"source":{"id":"https://openalex.org/S4210201731","display_name":"Frontiers in artificial intelligence and applications","issn_l":"0922-6389","issn":["0922-6389","1879-8314"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Frontiers in Artificial Intelligence and Applications","raw_type":"book-chapter"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":20,"referenced_works":["https://openalex.org/W19153916","https://openalex.org/W104985611","https://openalex.org/W145896926","https://openalex.org/W150929276","https://openalex.org/W1482532598","https://openalex.org/W1523809939","https://openalex.org/W1537172722","https://openalex.org/W1591768831","https://openalex.org/W1678959094","https://openalex.org/W1982129592","https://openalex.org/W2041200987","https://openalex.org/W2045427198","https://openalex.org/W2076698873","https://openalex.org/W2119397055","https://openalex.org/W2127347809","https://openalex.org/W2140466857","https://openalex.org/W2152131859","https://openalex.org/W2154541546","https://openalex.org/W2168120333","https://openalex.org/W2572769649"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052"],"abstract_inverted_index":{"After":[0],"decades":[1],"of":[2,27,43,56,60,123,183,190,219],"fruitful":[3],"research,":[4],"description":[5],"logics":[6],"(DLs)":[7],"have":[8,65],"evolved":[9],"into":[10,199],"a":[11,81,99,180,191,197],"de":[12],"facto":[13],"standard":[14,168,211],"in":[15,158],"logic-based":[16],"knowledge":[17],"representation.":[18],"In":[19,53],"particular,":[20],"they":[21],"serve":[22],"as":[23,77,170,172],"the":[24,28,41,54,57,86,91,95,120,131,152,165,176,216],"formal":[25,117],"basis":[26,102],"standardized":[29],"and":[30,49,62,94,103,134,214],"very":[31,159],"popular":[32],"web":[33],"ontology":[34],"language":[35],"(OWL),":[36],"which":[37,204],"also":[38],"comes":[39],"with":[40,207],"advantage":[42],"readily":[44],"available":[45],"user-friendly":[46],"modeling":[47],"tools":[48],"optimized":[50],"reasoning":[51,169,212],"engines.":[52],"course":[55],"wide-spread":[58],"adoption":[59],"OWL":[61],"DLs,":[63],"situations":[64],"been":[66],"observed":[67],"where":[68],"logically":[69],"less":[70],"skilled":[71],"practitioners":[72],"are":[73],"(ab)using":[74],"these":[75],"formalisms":[76],"constraint":[78],"languages":[79],"adopting":[80],"closed-world":[82],"assumption,":[83],"contrary":[84],"to":[85,141],"open-world":[87],"semantics":[88,118,133,138,154,178],"imposed":[89],"by":[90],"classical":[92],"definitions":[93],"standards.":[96],"To":[97,126],"provide":[98],"clear":[100],"theoretical":[101],"inferencing":[104,145],"support":[105],"for":[106,167,179,210],"this":[107,137],"often":[108],"practically":[109],"reasonable":[110],"“off-label":[111],"use”":[112],"we":[113,129,186],"propose":[114],"an":[115,142,188],"alternative":[116,208],"reflecting":[119],"intuitive":[121],"understanding":[122],"such":[124],"scenarios.":[125],"that":[127,136],"end,":[128],"introduce":[130],"fixed-domain":[132,177,192],"argue":[135],"gives":[139],"rise":[140],"interesting":[143],"new":[144,153],"task:":[146],"model":[147,220],"enumeration.":[148,221],"We":[149,162],"describe":[150],"how":[151],"can":[155],"be":[156],"axiomatized":[157],"expressive":[160],"DLs.":[161,184],"thoroughly":[163],"investigate":[164],"complexities":[166],"well":[171],"query":[173],"answering":[174],"under":[175],"wide":[181],"range":[182],"Further,":[185],"present":[187],"implementation":[189],"DL":[193],"reasoner":[194],"based":[195],"on":[196],"translation":[198],"answer":[200],"set":[201],"programming":[202],"(ASP)":[203],"is":[205],"competitive":[206],"approaches":[209],"tasks":[213],"provides":[215],"added":[217],"functionality":[218]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":3},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":6},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":5}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}