{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T11:30:38Z","timestamp":1725622238597},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642250729"},{"type":"electronic","value":"9783642250736"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-25073-6_31","type":"book-chapter","created":{"date-parts":[[2011,10,18]],"date-time":"2011-10-18T04:58:08Z","timestamp":1318913888000},"page":"487-503","source":"Crossref","is-referenced-by-count":2,"title":["Wheat and Chaff \u2013 Practically Feasible Interactive Ontology Revision"],"prefix":"10.1007","author":[{"given":"Nadeschda","family":"Nikitina","sequence":"first","affiliation":[]},{"given":"Birte","family":"Glimm","sequence":"additional","affiliation":[]},{"given":"Sebastian","family":"Rudolph","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"31_CR1","doi-asserted-by":"publisher","first-page":"510","DOI":"10.2307\/2274239","volume":"50","author":"C.E. Alchourr\u00f3n","year":"1985","unstructured":"Alchourr\u00f3n, C.E., G\u00e4rdenfors, P., Makinson, D.: On the logic of theory change: Partial meet contraction and revision functions. Journal of Symbolic Logic\u00a050, 510\u2013530 (1985)","journal-title":"Journal of Symbolic Logic"},{"key":"31_CR2","doi-asserted-by":"crossref","unstructured":"Baader, F., Ganter, B., Sertkaya, B., Sattler, U.: Completing description logic knowledge bases using formal concept analysis. In: Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI 2007), pp. 230\u2013235 (2007)","DOI":"10.25368\/2022.155"},{"key":"31_CR3","volume-title":"Formal Concept Analysis: Mathematical Foundations","author":"B. Ganter","year":"1997","unstructured":"Ganter, B., Wille, R.: Formal Concept Analysis: Mathematical Foundations. Springer, Heidelberg (1997)"},{"key":"31_CR4","unstructured":"Jim\u00e9nez-Ruiz, E., Cuenca Grau, B., Horrocks, I., Llavori, R.B.: Building ontologies collaboratively using ContentCVS. In: Proceedings of the 22nd International Workshop on Description Logics (DL 2009). CEUR Workshop Proceedings, vol.\u00a0477. CEUR-WS.org (2009)"},{"key":"31_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1007\/978-3-642-02121-3_16","volume-title":"The Semantic Web: Research and Applications","author":"E. Jim\u00e9nez-Ruiz","year":"2009","unstructured":"Jim\u00e9nez-Ruiz, E., Cuenca Grau, B., Horrocks, I., Berlanga, R.: Ontology integration using mappings: Towards getting the right logical consequences. In: Aroyo, L., Traverso, P., Ciravegna, F., Cimiano, P., Heath, T., Hyv\u00f6nen, E., Mizoguchi, R., Oren, E., Sabou, M., Simperl, E. (eds.) ESWC 2009. LNCS, vol.\u00a05554, pp. 173\u2013187. Springer, Heidelberg (2009)"},{"key":"31_CR6","unstructured":"Konev, B., Lutz, C., Ponomaryov, D., Wolter, F.: Decomposing description logic ontologies. In: Proceedings of the 12th International Confonference on Principles of Knowledge Representation and Reasoning, KR 2010 (2010)"},{"key":"31_CR7","unstructured":"Meilicke, C., Stuckenschmidt, H., Tamilin, A.: Supporting manual mapping revision using logical reasoning. In: Proceedings of the 23rd Conference on Artificial Intelligence (AAAI 2008), pp. 1213\u20131218. AAAI Press (2008)"},{"key":"31_CR8","unstructured":"Nikitina, N., Rudolph, S., Glimm, B.: Reasoning-supported interactive revision of knowledge bases. In: Proceedings of the 22nd International Joint Conference on Artificial Intelligence, IJCAI 2011 (2011)"},{"key":"31_CR9","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"196","DOI":"10.1007\/978-3-540-27769-9_13","volume-title":"Conceptual Structures at Work","author":"S. Rudolph","year":"2004","unstructured":"Rudolph, S.: Exploring Relational Structures Via FLE. In: Wolff, K.E., Pfeiffer, H.D., Delugach, H.S. (eds.) ICCS 2004. LNCS (LNAI), vol.\u00a03127, pp. 196\u2013212. Springer, Heidelberg (2004)"},{"key":"31_CR10","unstructured":"Schlobach, S., Cornet, R.: Non-standard reasoning services for the debugging of description logic terminologies. In: Proceedings of the 18th International Joint Conference on Artificial Intelligence (IJCAI 2003), pp. 355\u2013362. Morgan Kaufmann (2003)"},{"key":"31_CR11","unstructured":"W3C OWL Working Group: OWL\u00a02 Web Ontology Language: Document Overview. W3C Recommendation (October 2009), http:\/\/www.w3.org\/TR\/owl2-overview\/"}],"container-title":["Lecture Notes in Computer Science","The Semantic Web \u2013 ISWC 2011"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-25073-6_31","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,10]],"date-time":"2023-06-10T14:33:40Z","timestamp":1686407620000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-25073-6_31"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642250729","9783642250736"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-25073-6_31","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}