{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,16]],"date-time":"2025-10-16T06:51:17Z","timestamp":1760597477572,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":7,"publisher":"ACM","license":[{"start":{"date-parts":[[2011,10,24]],"date-time":"2011-10-24T00:00:00Z","timestamp":1319414400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2011,10,24]]},"DOI":"10.1145\/2063576.2063985","type":"proceedings-article","created":{"date-parts":[[2011,11,16]],"date-time":"2011-11-16T10:40:21Z","timestamp":1321440021000},"page":"2433-2436","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["An algorithm for axiom pinpointing in EL+ and its incremental variant"],"prefix":"10.1145","author":[{"given":"Xiaojun","family":"Cheng","sequence":"first","affiliation":[{"name":"Southeast University, Nanjing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guilin","family":"Qi","sequence":"additional","affiliation":[{"name":"Southeast University, Nanjing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2011,10,24]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"364","volume-title":"Proc. of IJCAI'05","author":"Baader F.","year":"2005","unstructured":"F. Baader , S. Brandt , and C. Lutz . Pushing the el envelope . In Proc. of IJCAI'05 , pages 364 -- 369 , 2005 . F. Baader, S. Brandt, and C. Lutz. Pushing the el envelope. In Proc. of IJCAI'05, pages 364--369, 2005."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-74565-5_7"},{"key":"e_1_3_2_1_3_1","volume-title":"Proc. of KR-MED'08","author":"Baader F.","year":"2008","unstructured":"F. Baader and B. Suntisrivaraporn . Debugging SNOMED CT using axiom pinpointing in the description logic EL+ . In Proc. of KR-MED'08 , 2008 . F. Baader and B. Suntisrivaraporn. Debugging SNOMED CT using axiom pinpointing in the description logic EL+. In Proc. of KR-MED'08, 2008."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/11574620_19"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/1785162.1785183"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.websem.2005.09.005"},{"key":"e_1_3_2_1_7_1","first-page":"355","volume-title":"Proc. of IJCAI'03","author":"Schlobach S.","year":"2003","unstructured":"S. Schlobach and R. Cornet . Non-standard reasoning services for the debugging of description logic terminologies . In Proc. of IJCAI'03 , pages 355 -- 362 . 2003 . S. Schlobach and R. Cornet. Non-standard reasoning services for the debugging of description logic terminologies. In Proc. of IJCAI'03, pages 355--362. 2003."}],"event":{"name":"CIKM '11: International Conference on Information and Knowledge Management","sponsor":["SIGWEB ACM Special Interest Group on Hypertext, Hypermedia, and Web","SIGIR ACM Special Interest Group on Information Retrieval"],"location":"Glasgow Scotland, UK","acronym":"CIKM '11"},"container-title":["Proceedings of the 20th ACM international conference on Information and knowledge management"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2063576.2063985","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2063576.2063985","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T09:54:30Z","timestamp":1750240470000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2063576.2063985"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,10,24]]},"references-count":7,"alternative-id":["10.1145\/2063576.2063985","10.1145\/2063576"],"URL":"https:\/\/doi.org\/10.1145\/2063576.2063985","relation":{},"subject":[],"published":{"date-parts":[[2011,10,24]]},"assertion":[{"value":"2011-10-24","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}