{"id":"https://openalex.org/W1989844760","doi":"https://doi.org/10.1007/s11432-008-0021-5","title":"An algebraic approach to revising propositional rule-based knowledge bases","display_name":"An algebraic approach to revising propositional rule-based knowledge bases","publication_year":2008,"publication_date":"2008-02-01","ids":{"openalex":"https://openalex.org/W1989844760","doi":"https://doi.org/10.1007/s11432-008-0021-5","mag":"1989844760"},"language":"en","primary_location":{"id":"doi:10.1007/s11432-008-0021-5","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s11432-008-0021-5","pdf_url":null,"source":{"id":"https://openalex.org/S4210224633","display_name":"Science in China Series F Information Sciences","issn_l":"1009-2757","issn":["1009-2757","1862-2836"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319965","host_organization_name":"Springer Nature","host_organization_lineage":["https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Science in China Series F: Information Sciences","raw_type":"journal-article"},"type":"article","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/A5045617087","display_name":"Shangmin Luan","orcid":null},"institutions":[{"id":"https://openalex.org/I125839683","display_name":"Beijing Institute of Technology","ror":"https://ror.org/01skt4w74","country_code":"CN","type":"education","lineage":["https://openalex.org/I125839683","https://openalex.org/I890469752"]},{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"government","lineage":["https://openalex.org/I19820366"]},{"id":"https://openalex.org/I4210128818","display_name":"Institute of Software","ror":"https://ror.org/033dfsn42","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"ShangMin Luan","raw_affiliation_strings":["Institute of Software, Chinese Academy of Sciences, Beijing, 100080, China","School of Computer Science and Technology, Beijing Institute of Technology, Beijing, 100081, China","Institute of Software, Chinese Academy of Sciences, Beijing, China","School of Computer Science and Technology, Beijing Institute of Technology, Beijing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Software, Chinese Academy of Sciences, Beijing, 100080, China","institution_ids":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]},{"raw_affiliation_string":"School of Computer Science and Technology, Beijing Institute of Technology, Beijing, 100081, China","institution_ids":["https://openalex.org/I125839683"]},{"raw_affiliation_string":"Institute of Software, Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]},{"raw_affiliation_string":"School of Computer Science and Technology, Beijing Institute of Technology, Beijing, China","institution_ids":["https://openalex.org/I125839683"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5087942346","display_name":"Guozhong Dai","orcid":"https://orcid.org/0000-0002-7849-6697"},"institutions":[{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"government","lineage":["https://openalex.org/I19820366"]},{"id":"https://openalex.org/I4210128818","display_name":"Institute of Software","ror":"https://ror.org/033dfsn42","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"GuoZhong Dai","raw_affiliation_strings":["Institute of Software, Chinese Academy of Sciences, Beijing, 100080, China","Institute of Software, Chinese Academy of Sciences Beijing China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Software, Chinese Academy of Sciences, Beijing, 100080, China","institution_ids":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]},{"raw_affiliation_string":"Institute of Software, Chinese Academy of Sciences Beijing China","institution_ids":["https://openalex.org/I19820366"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5045617087"],"corresponding_institution_ids":["https://openalex.org/I125839683","https://openalex.org/I19820366","https://openalex.org/I4210128818"],"apc_list":null,"apc_paid":null,"fwci":0.6695,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.82093706,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"51","issue":"3","first_page":"240","last_page":"257"},"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.9990000128746033,"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/T10906","display_name":"AI-based Problem Solving and Planning","score":0.9965999722480774,"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/reachability","display_name":"Reachability","score":0.7105106115341187},{"id":"https://openalex.org/keywords/knowledge-base","display_name":"Knowledge base","score":0.7064754962921143},{"id":"https://openalex.org/keywords/petri-net","display_name":"Petri net","score":0.6918382048606873},{"id":"https://openalex.org/keywords/propositional-calculus","display_name":"Propositional calculus","score":0.6858508586883545},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6155178546905518},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.5697848796844482},{"id":"https://openalex.org/keywords/base","display_name":"Base (topology)","score":0.5354487895965576},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.48705199360847473},{"id":"https://openalex.org/keywords/algebraic-number","display_name":"Algebraic number","score":0.47186368703842163},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.39334020018577576},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3731224536895752},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.33569252490997314},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.25445595383644104},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.24992895126342773}],"concepts":[{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.7105106115341187},{"id":"https://openalex.org/C4554734","wikidata":"https://www.wikidata.org/wiki/Q593744","display_name":"Knowledge base","level":2,"score":0.7064754962921143},{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.6918382048606873},{"id":"https://openalex.org/C69562738","wikidata":"https://www.wikidata.org/wiki/Q200694","display_name":"Propositional calculus","level":2,"score":0.6858508586883545},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6155178546905518},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.5697848796844482},{"id":"https://openalex.org/C42058472","wikidata":"https://www.wikidata.org/wiki/Q810214","display_name":"Base (topology)","level":2,"score":0.5354487895965576},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.48705199360847473},{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.47186368703842163},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.39334020018577576},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3731224536895752},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.33569252490997314},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.25445595383644104},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.24992895126342773},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.0},{"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.1007/s11432-008-0021-5","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s11432-008-0021-5","pdf_url":null,"source":{"id":"https://openalex.org/S4210224633","display_name":"Science in China Series F Information Sciences","issn_l":"1009-2757","issn":["1009-2757","1862-2836"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319965","host_organization_name":"Springer Nature","host_organization_lineage":["https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Science in China Series F: Information Sciences","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":26,"referenced_works":["https://openalex.org/W15217643","https://openalex.org/W71638810","https://openalex.org/W83671853","https://openalex.org/W128812405","https://openalex.org/W1515238411","https://openalex.org/W1544144575","https://openalex.org/W1684304711","https://openalex.org/W1847832249","https://openalex.org/W1984456200","https://openalex.org/W1996109622","https://openalex.org/W2021675560","https://openalex.org/W2028246200","https://openalex.org/W2058658036","https://openalex.org/W2066173367","https://openalex.org/W2074226321","https://openalex.org/W2076698873","https://openalex.org/W2110110063","https://openalex.org/W2124299249","https://openalex.org/W2134878247","https://openalex.org/W2138359650","https://openalex.org/W2149420462","https://openalex.org/W2155792852","https://openalex.org/W2160911376","https://openalex.org/W2401209009","https://openalex.org/W2517368009","https://openalex.org/W2899793400"],"related_works":["https://openalex.org/W2154794415","https://openalex.org/W1776999661","https://openalex.org/W1500907979","https://openalex.org/W2107824370","https://openalex.org/W1551903405","https://openalex.org/W2039577724","https://openalex.org/W2380814829","https://openalex.org/W2499946963","https://openalex.org/W2387511021","https://openalex.org/W1531156418"],"abstract_inverted_index":null,"counts_by_year":[{"year":2014,"cited_by_count":1}],"updated_date":"2026-08-23T07:36:19.812096","created_date":"2025-10-10T00:00:00"}