{"id":"https://openalex.org/W342819117","doi":null,"title":"Local Closed World Semantics: Keep it simple, stupid!","display_name":"Local Closed World Semantics: Keep it simple, stupid!","publication_year":2011,"publication_date":"2011-01-01","ids":{"openalex":"https://openalex.org/W342819117","mag":"342819117"},"language":"en","primary_location":{"id":"pmh:oai:corescholar.libraries.wright.edu:cse-1111","doi":null,"is_oa":true,"landing_page_url":"https://corescholar.libraries.wright.edu/cse/112","pdf_url":"https://corescholar.libraries.wright.edu/cse/112","source":{"id":"https://openalex.org/S4306400146","display_name":"CORE Scholar (Wright State University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I19648265","host_organization_name":"Wright State University","host_organization_lineage":["https://openalex.org/I19648265"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Computer Science and Engineering Faculty Publications","raw_type":"text"},"volume":null,"type":"article","is_traditional":true,"indexed_in":[],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://corescholar.libraries.wright.edu/cse/112","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5008983457","display_name":"Adila Alfa Krisnadhi","orcid":"https://orcid.org/0000-0003-0745-6804","observed_orcids":["https://orcid.org/0000-0003-0745-6804"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Adila Alfa Krishnadhi","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Kunal Sengupta","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Kunal Sengupta","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5006872667","display_name":"Pascal Hitzler","orcid":"https://orcid.org/0000-0001-6192-3472","observed_orcids":["https://orcid.org/0000-0001-6192-3472"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Pascal Hitzler","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0001-6192-3472","affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":3.414,"has_fulltext":true,"cited_by_count":26,"citation_normalized_percentile":{"value":0.92907782,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":88,"max":98},"biblio":{"volume":"745","issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.6909000277519226,"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.6909000277519226,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.2992999851703644,"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/T10927","display_name":"Access Control and Trust","score":0.0003000000142492354,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/open-world-reasoning","display_name":"open-world reasoning","score":0.6299999952316284}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8735247850418091},{"id":"https://openalex.org/C192034797","wikidata":"https://www.wikidata.org/wiki/Q3502995","display_name":"Undecidable problem","level":3,"score":0.8141610622406006},{"id":"https://openalex.org/C171018156","wikidata":"https://www.wikidata.org/wiki/Q7370306","display_name":"Rotation formalisms in three dimensions","level":2,"score":0.7464132905006409},{"id":"https://openalex.org/C62360110","wikidata":"https://www.wikidata.org/wiki/Q96777007","display_name":"Circumscription","level":2,"score":0.6294145584106445},{"id":"https://openalex.org/C2129575","wikidata":"https://www.wikidata.org/wiki/Q54837","display_name":"Semantic Web","level":2,"score":0.6254906058311462},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.6218668222427368},{"id":"https://openalex.org/C101230327","wikidata":"https://www.wikidata.org/wiki/Q826165","display_name":"Web Ontology Language","level":3,"score":0.5626006126403809},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5378754138946533},{"id":"https://openalex.org/C161301231","wikidata":"https://www.wikidata.org/wiki/Q3478658","display_name":"Knowledge representation and reasoning","level":2,"score":0.5096909999847412},{"id":"https://openalex.org/C205711294","wikidata":"https://www.wikidata.org/wiki/Q176953","display_name":"Rendering (computer graphics)","level":2,"score":0.5036408305168152},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.4734054505825043},{"id":"https://openalex.org/C25810664","wikidata":"https://www.wikidata.org/wiki/Q44325","display_name":"Ontology","level":2,"score":0.4521905183792114},{"id":"https://openalex.org/C61673122","wikidata":"https://www.wikidata.org/wiki/Q7095059","display_name":"Ontology language","level":3,"score":0.44901180267333984},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.38021111488342285},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3536989092826843},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3153333365917206},{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.2773483395576477},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.10266458988189697},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.07089832425117493},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"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/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"pmh:oai:corescholar.libraries.wright.edu:cse-1111","doi":null,"is_oa":true,"landing_page_url":"https://corescholar.libraries.wright.edu/cse/112","pdf_url":"https://corescholar.libraries.wright.edu/cse/112","source":{"id":"https://openalex.org/S4306400146","display_name":"CORE Scholar (Wright State University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I19648265","host_organization_name":"Wright State University","host_organization_lineage":["https://openalex.org/I19648265"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Computer Science and Engineering Faculty Publications","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.229.1932","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.229.1932","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://ceur-ws.org/Vol-745/paper_12.pdf","raw_type":"text"},{"id":"mag:342819117","doi":null,"is_oa":false,"landing_page_url":"http://ceur-ws.org/Vol-745/paper_12.pdf","pdf_url":null,"source":{"id":"https://openalex.org/S2764557503","display_name":"Description Logics","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["cwts-core"],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":"Description Logics","raw_type":null}],"best_oa_location":{"id":"pmh:oai:corescholar.libraries.wright.edu:cse-1111","doi":null,"is_oa":true,"landing_page_url":"https://corescholar.libraries.wright.edu/cse/112","pdf_url":"https://corescholar.libraries.wright.edu/cse/112","source":{"id":"https://openalex.org/S4306400146","display_name":"CORE Scholar (Wright State University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I19648265","host_organization_name":"Wright State University","host_organization_lineage":["https://openalex.org/I19648265"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Computer Science and Engineering Faculty Publications","raw_type":"text"},"sustainable_development_goals":[],"study_designs":[],"awards":[{"id":"https://openalex.org/G7194428506","display_name":"III: Small: TROn - Tractable Reasoning with Ontologies","funder_award_id":"1017225","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W342819117.pdf","grobid_xml":"https://content.openalex.org/works/W342819117.grobid-xml"},"referenced_works_count":37,"referenced_works":["https://openalex.org/W108693556","https://openalex.org/W168384132","https://openalex.org/W183238011","https://openalex.org/W253976088","https://openalex.org/W1487145866","https://openalex.org/W1490804784","https://openalex.org/W1508746274","https://openalex.org/W1514312284","https://openalex.org/W1529454645","https://openalex.org/W1533454855","https://openalex.org/W1537832331","https://openalex.org/W1555563750","https://openalex.org/W1590363793","https://openalex.org/W1600046366","https://openalex.org/W1640599491","https://openalex.org/W1791430325","https://openalex.org/W1842632952","https://openalex.org/W1940978291","https://openalex.org/W1965105913","https://openalex.org/W2001988201","https://openalex.org/W2037688519","https://openalex.org/W2041108981","https://openalex.org/W2043226796","https://openalex.org/W2045427198","https://openalex.org/W2051626205","https://openalex.org/W2059360847","https://openalex.org/W2076698873","https://openalex.org/W2100983017","https://openalex.org/W2103809193","https://openalex.org/W2115600083","https://openalex.org/W2116746190","https://openalex.org/W2126382731","https://openalex.org/W2132466842","https://openalex.org/W2138054201","https://openalex.org/W2155322595","https://openalex.org/W2159873096","https://openalex.org/W2945259913"],"related_works":["https://openalex.org/W7098400499","https://openalex.org/W7100056427","https://openalex.org/W1566835294","https://openalex.org/W1653520382","https://openalex.org/W49275823","https://openalex.org/W3141903101","https://openalex.org/W165210145","https://openalex.org/W2294300171","https://openalex.org/W1840738561","https://openalex.org/W7099241106"],"abstract_inverted_index":{"A":[0],"combination":[1],"of":[2,17,27,53,107,120],"open":[3],"and":[4],"closed-world":[5],"reasoning":[6,138],"(usually":[7],"called":[8],"local":[9,38],"closed":[10,39],"world":[11,40],"reasoning)":[12],"is":[13,59,115,132],"a":[14,100],"desirable":[15],"capability":[16],"knowledge":[18],"representation":[19],"formalisms":[20],"for":[21,33,57,71],"Semantic":[22],"Web":[23,91],"applications.":[24,48],"However,":[25],"none":[26],"the":[28,54,75,90,140],"proposals":[29,62,110],"made":[30,111],"to":[31,64,82,112,127,134],"date":[32],"extending":[34],"description":[35,84,122],"logics":[36,85,123],"with":[37],"capabilities":[41],"has":[42],"had":[43],"any":[44],"significant":[45],"impact":[46],"on":[47,117],"We":[49],"believe":[50],"that":[51,60],"one":[52],"key":[55,105],"reasons":[56],"this":[58,96],"current":[61],"fail":[63],"provide":[65],"approaches":[66],"which":[67,88,103],"are":[68,78],"intuitively":[69],"accessible":[70],"application":[72],"developers":[73],"at":[74],"same":[76],"time":[77],"applicable,":[79],"as":[80,86],"extensions,":[81],"expressive":[83],"SROIQ,":[87],"underlies":[89],"Ontology":[92],"Language":[93],"OWL.":[94],"In":[95],"paper,":[97],"we":[98],"propose":[99],"new":[101],"approach":[102],"overcomes":[104],"limitations":[106],"other":[108],"major":[109],"date.":[113],"It":[114],"based":[116],"an":[118],"adaptation":[119],"circumspective":[121],"which,":[124],"in":[125],"contrast":[126],"previously":[128],"reported":[129],"circumscription":[130],"proposals,":[131],"applicable":[133],"SROIQ":[135],"without":[136],"rendering":[137],"over":[139],"resulting":[141],"language":[142],"undecidable.":[143]},"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":3},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":5},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":4},{"year":2012,"cited_by_count":4}],"updated_date":"2026-11-06T12:05:46.655746","created_date":"2016-06-24T00:00:00"}