{"id":"https://openalex.org/W2556907653","doi":"https://doi.org/10.1007/978-981-10-3168-7_11","title":"A Tableau-Based Forgetting in ALCQ","display_name":"A Tableau-Based Forgetting in ALCQ","publication_year":2016,"publication_date":"2016-01-01","ids":{"openalex":"https://openalex.org/W2556907653","doi":"https://doi.org/10.1007/978-981-10-3168-7_11","mag":"2556907653"},"language":"en","primary_location":{"id":"doi:10.1007/978-981-10-3168-7_11","doi":"https://doi.org/10.1007/978-981-10-3168-7_11","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-981-10-3168-7_11","pdf_url":null,"source":{"id":"https://openalex.org/S2764900261","display_name":"Communications in computer and information science","issn_l":"1865-0929","issn":["1865-0929","1865-0937"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["cwts-core","jufo-1","norway-1"],"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Communications in Computer and Information Science","raw_type":"book-chapter"},"volume":{"id":"https://openalex.org/W2554570283","display_name":"Knowledge Graph and Semantic Computing: Semantic, Knowledge, and Linked Big Data"},"type":"conference-paper","is_traditional":true,"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/A5103065120","display_name":"Hong Fang","orcid":"https://orcid.org/0000-0003-2291-9061","observed_orcids":["https://orcid.org/0000-0003-2291-9061"]},"institutions":[{"id":"https://openalex.org/I135905480","display_name":"Shanghai Polytechnic University","ror":"https://ror.org/02as5yg64","country_code":"CN","type":"education","lineage":["https://openalex.org/I135905480"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Hong Fang","raw_affiliation_strings":["College of Arts and Sciences, Shanghai Polytechnic University, Shanghai, 201209, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"College of Arts and Sciences, Shanghai Polytechnic University, Shanghai, 201209, China","institution_ids":["https://openalex.org/I135905480"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5030524599","display_name":"Xiaowang Zhang","orcid":"https://orcid.org/0000-0002-3931-3886","observed_orcids":["https://orcid.org/0000-0002-3931-3886"]},"institutions":[{"id":"https://openalex.org/I162868743","display_name":"Tianjin University","ror":"https://ror.org/012tb2g32","country_code":"CN","type":"education","lineage":["https://openalex.org/I162868743"]},{"id":"https://openalex.org/I76569877","display_name":"Southeast University","ror":"https://ror.org/04ct4d772","country_code":"CN","type":"education","lineage":["https://openalex.org/I76569877"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Xiaowang Zhang","raw_affiliation_strings":["Key Laboratory of Computer Network and Information Integration, Southeast University, Ministry of Education, Nanjing, 211189, China","School of Computer Science and Technology, Tianjin University, Tianjin, 300350, China","Tianjin Key Laboratory of Cognitive Computing and Application, Tianjin, 300350, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Key Laboratory of Computer Network and Information Integration, Southeast University, Ministry of Education, Nanjing, 211189, China","institution_ids":["https://openalex.org/I76569877"]},{"raw_affiliation_string":"School of Computer Science and Technology, Tianjin University, Tianjin, 300350, China","institution_ids":["https://openalex.org/I162868743"]},{"raw_affiliation_string":"Tianjin Key Laboratory of Cognitive Computing and Application, Tianjin, 300350, China","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5030524599"],"corresponding_institution_ids":["https://openalex.org/I162868743","https://openalex.org/I76569877"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.0,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"110","last_page":"116"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.7300000190734863,"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.7300000190734863,"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.2531999945640564,"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.0005000000237487257,"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/forgetting","display_name":"forgetting","score":0.9160000085830688},{"id":"https://openalex.org/keywords/description-logics","display_name":"description logics","score":0.8029999732971191},{"id":"https://openalex.org/keywords/ontology-languages","display_name":"ontology languages","score":0.47699999809265137},{"id":"https://openalex.org/keywords/tableau-algorithm","display_name":"tableau algorithm","score":0.7139999866485596},{"id":"https://openalex.org/keywords/decidability","display_name":"decidability","score":0.6570000052452087},{"id":"https://openalex.org/keywords/soundness-and-completeness","display_name":"soundness and completeness","score":0.8100000023841858},{"id":"https://openalex.org/keywords/shiq","display_name":"SHIQ","score":0.8169999718666077}],"concepts":[{"id":"https://openalex.org/C7149132","wikidata":"https://www.wikidata.org/wiki/Q1377840","display_name":"Forgetting","level":2,"score":0.970500111579895},{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.8804805874824524},{"id":"https://openalex.org/C25810664","wikidata":"https://www.wikidata.org/wiki/Q44325","display_name":"Ontology","level":2,"score":0.7715533375740051},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.717942476272583},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.655663788318634},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4638957977294922},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.38326817750930786},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.36009034514427185},{"id":"https://openalex.org/C188147891","wikidata":"https://www.wikidata.org/wiki/Q147638","display_name":"Cognitive science","level":1,"score":0.3421655297279358},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.2878812253475189},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.22128695249557495},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.21188241243362427},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.15622177720069885}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-981-10-3168-7_11","doi":"https://doi.org/10.1007/978-981-10-3168-7_11","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-981-10-3168-7_11","pdf_url":null,"source":{"id":"https://openalex.org/S2764900261","display_name":"Communications in computer and information science","issn_l":"1865-0929","issn":["1865-0929","1865-0937"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["cwts-core","jufo-1","norway-1"],"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Communications in Computer and Information Science","raw_type":"book-chapter"}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":7,"referenced_works":["https://openalex.org/W1555563750","https://openalex.org/W2119478850","https://openalex.org/W2132642653","https://openalex.org/W2155213226","https://openalex.org/W2440295837","https://openalex.org/W2510957748","https://openalex.org/W3146347964"],"related_works":["https://openalex.org/W7096837320","https://openalex.org/W2132642653","https://openalex.org/W1493549410","https://openalex.org/W7008741682","https://openalex.org/W7095301374","https://openalex.org/W4416017697","https://openalex.org/W2969331502","https://openalex.org/W2998140418","https://openalex.org/W2094689321","https://openalex.org/W2739916438"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2026-10-10T09:11:00.788812","created_date":"2016-11-30T00:00:00"}