乐胖代购免代理版

{"id":"https://openalex.org/W1992599126","doi":"https://doi.org/10.7561/sacs.2013.2.251","title":"Locality and Applications to Subsumption Testing in EL and Some of its Extensions","display_name":"Locality and Applications to Subsumption Testing in EL and Some of its Extensions","publication_year":2013,"publication_date":"2013-01-01","ids":{"openalex":"https://openalex.org/W1992599126","doi":"https://doi.org/10.7561/sacs.2013.2.251","mag":"1992599126"},"language":"en","primary_location":{"is_oa":true,"landing_page_url":"https://doi.org/10.7561/sacs.2013.2.251","pdf_url":"https://www.info.uaic.ro/wp-content/uploads/2019/02/XXIII2_3.pdf","source":{"id":"https://openalex.org/S4210179375","display_name":"Scientific Annals of Computer Science","issn_l":"1843-8121","issn":["1843-8121","2248-2695"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by-nd","license_id":"https://openalex.org/licenses/cc-by-nd","version":"publishedVersion","is_accepted":true,"is_published":true},"type":"article","type_crossref":"journal-article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://www.info.uaic.ro/wp-content/uploads/2019/02/XXIII2_3.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5002384779","display_name":"Viorica Sofronie-Stokkermans","orcid":"https://orcid.org/0000-0002-8486-9955"},"institutions":[{"id":"https://openalex.org/I4210109712","display_name":"Max Planck Institute for Informatics","ror":"https://ror.org/01w19ak89","country_code":"DE","type":"facility","lineage":["https://openalex.org/I149899117","https://openalex.org/I4210109712"]},{"id":"https://openalex.org/I149899117","display_name":"Max Planck Society","ror":"https://ror.org/01hhn8329","country_code":"DE","type":"nonprofit","lineage":["https://openalex.org/I149899117"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Viorica Sofronie-Stokkermans","raw_affiliation_strings":["Automation of Logic, MPI for Informatics, Max Planck Society"],"affiliations":[{"raw_affiliation_string":"Automation of Logic, MPI for Informatics, Max Planck Society","institution_ids":["https://openalex.org/I4210109712","https://openalex.org/I149899117"]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5002384779"],"corresponding_institution_ids":["https://openalex.org/I4210109712","https://openalex.org/I149899117"],"apc_list":{"value":0,"currency":"USD","value_usd":0,"provenance":"doaj"},"apc_paid":null,"fwci":0.378,"has_fulltext":true,"fulltext_origin":"pdf","cited_by_count":2,"citation_normalized_percentile":{"value":0.656351,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":72,"max":76},"biblio":{"volume":null,"issue":null,"first_page":"251","last_page":"284"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10320","display_name":"Neural Networks and Applications","score":0.8394,"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/T10320","display_name":"Neural Networks and Applications","score":0.8394,"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/T10876","display_name":"Fault Detection and Control Systems","score":0.7149,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[],"concepts":[{"id":"https://openalex.org/C2779808786","wikidata":"https://www.wikidata.org/wiki/Q6664603","display_name":"Locality","level":2,"score":0.8787356},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.37300622},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.22859344},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.22092396}],"mesh":[],"locations_count":2,"locations":[{"is_oa":true,"landing_page_url":"https://doi.org/10.7561/sacs.2013.2.251","pdf_url":"https://www.info.uaic.ro/wp-content/uploads/2019/02/XXIII2_3.pdf","source":{"id":"https://openalex.org/S4210179375","display_name":"Scientific Annals of Computer Science","issn_l":"1843-8121","issn":["1843-8121","2248-2695"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by-nd","license_id":"https://openalex.org/licenses/cc-by-nd","version":"publishedVersion","is_accepted":true,"is_published":true},{"is_oa":false,"landing_page_url":"https://doaj.org/article/c0be1fbdabd24ce2b45e400567ba1db8","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false}],"best_oa_location":{"is_oa":true,"landing_page_url":"https://doi.org/10.7561/sacs.2013.2.251","pdf_url":"https://www.info.uaic.ro/wp-content/uploads/2019/02/XXIII2_3.pdf","source":{"id":"https://openalex.org/S4210179375","display_name":"Scientific Annals of Computer Science","issn_l":"1843-8121","issn":["1843-8121","2248-2695"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by-nd","license_id":"https://openalex.org/licenses/cc-by-nd","version":"publishedVersion","is_accepted":true,"is_published":true},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/2","display_name":"Zero hunger","score":0.4}],"grants":[],"datasets":[],"versions":[],"referenced_works_count":22,"referenced_works":["https://openalex.org/W144418952","https://openalex.org/W1484186647","https://openalex.org/W1515170701","https://openalex.org/W1573267491","https://openalex.org/W1576022593","https://openalex.org/W1579555042","https://openalex.org/W1622055787","https://openalex.org/W176757142","https://openalex.org/W1841116909","https://openalex.org/W1996011776","https://openalex.org/W1996497762","https://openalex.org/W2011992362","https://openalex.org/W2108432727","https://openalex.org/W2115755485","https://openalex.org/W2125267811","https://openalex.org/W2133926684","https://openalex.org/W2133998496","https://openalex.org/W2151097580","https://openalex.org/W2154826073","https://openalex.org/W3101234909","https://openalex.org/W4300885858","https://openalex.org/W649125"],"related_works":["https://openalex.org/W4234091740","https://openalex.org/W4213350282","https://openalex.org/W2748952813","https://openalex.org/W2583128298","https://openalex.org/W2390279801","https://openalex.org/W2376932109","https://openalex.org/W2358668433","https://openalex.org/W2230171082","https://openalex.org/W1556451512","https://openalex.org/W1555349535"],"abstract_inverted_index":{"In":[0],"this":[1],"paper":[2],"we":[3],"show":[4],"that":[5],"subsumption":[6,51],"problems":[7,22],"in":[8,23,36,52],"the":[9],"description":[10],"logics":[11,70],"EL":[12,14,53,55,73,75],"and":[13,49,54,74],"+":[15,56,76],"can":[16],"be":[17],"expressed":[18],"as":[19],"uniform":[20,43],"word":[21],"classes":[24,38],"of":[25,32,39,67],"semilattices":[26],"with":[27,77],"monotone":[28],"operators.We":[29],"use":[30],"possibilities":[31],"efficient":[33],"local":[34],"reasoning":[35],"such":[37],"algebras,":[40],"to":[41,62],"obtain":[42],"PTIME":[44],"decision":[45],"procedures":[46],"for":[47],"TBox":[48],"CBox":[50],".These":[57],"locality":[58],"considerations":[59],"allow":[60],"us":[61],"present":[63],"a":[64],"new":[65],"family":[66],"(possibly":[68],"many-sorted)":[69],"which":[71],"extend":[72],"n-ary":[78],"roles":[79],"and/or":[80],"numerical":[81],"domains.":[82]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W1992599126","counts_by_year":[{"year":2017,"cited_by_count":1},{"year":2014,"cited_by_count":1}],"updated_date":"2025-01-16T21:21:26.769142","created_date":"2016-06-24"}