{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T00:51:25Z","timestamp":1725670285182},"publisher-location":"Berlin, Heidelberg","reference-count":37,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642247934"},{"type":"electronic","value":"9783642247941"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-24794-1_17","type":"book-chapter","created":{"date-parts":[[2012,3,23]],"date-time":"2012-03-23T08:54:31Z","timestamp":1332492871000},"page":"363-380","source":"Crossref","is-referenced-by-count":0,"title":["Reasoning with Networked Ontologies"],"prefix":"10.1007","author":[{"given":"Guilin","family":"Qi","sequence":"first","affiliation":[]},{"given":"Andreas","family":"Harth","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2011,12,1]]},"reference":[{"key":"17_CR1_17","unstructured":"Baader F, Suntisrivaraporn B (2008) Debugging SNOMED CT using axiom pinpointing in the description logic EL+. In: Proceedings of the 3rd international conference on Knowledge Representation in Medicine (KR-MED 2008), Phoenix, AZ, USA"},{"key":"17_CR2_17","volume-title":"The description logic handbook: theory, implementation and application","author":"F Baader","year":"2003","unstructured":"Baader F, Calvanese D, McGuinness D, Nardi D, Patel-Schneider P (2003) The description logic handbook: theory, implementation and application. Cambridge University Press, Cambridge"},{"key":"17_CR3_17","series-title":"Lecture notes in computer science, vol 2870","doi-asserted-by":"publisher","first-page":"659","DOI":"10.1007\/978-3-540-39718-2_42","volume-title":"The Semantic Web \u2013 ISWC 2003","author":"S Bechhofer","year":"2003","unstructured":"Bechhofer S, Volz R, Lord P (2003) Cooking the semantic web with the owl api. In: The Semantic Web \u2013 ISWC 2003, Lecture notes in computer science, vol 2870. Springer, Berlin\/Heidelberg, pp 659\u2013675. doi:\n                  10.1007\/978-3-540-39718-242"},{"key":"17_CR4_17","doi-asserted-by":"crossref","unstructured":"Borgida A (1994) On the relationship between description logic and predicate logic. In: Proceedings of the 3rd international conference on Information and Knowledge Management (CIKM 1994), Gaithersburg, MD. ACM, New York, pp 219\u2013225","DOI":"10.1145\/191246.191283"},{"key":"17_CR5_17","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1007\/978-3-540-39733-5_7","volume":"1","author":"A Borgida","year":"2003","unstructured":"Borgida A, Serafini L (2003) Distributed description logics: assimilating information from peer sources. J Data Semant 1:153\u2013184","journal-title":"J Data Semant"},{"key":"17_CR6_17","doi-asserted-by":"crossref","unstructured":"Carroll JJ, Dickinson I, Dollin C, Reynolds D, Seaborne A, Wilkinson K (2004) Jena: implementing the semantic web recommendations. In: Proceedings of the 13th international World Wide Web conference on Alternate track papers & posters. ACM, New York, NY, USA, WWW Alt. 2004, pp 74\u201383, DOI \n                  http:\/\/doi.acm.org\/10.1145\/1013367.1013381\n                  \n                , URL \n                  http:\/\/doi.acm.org\/10.1145\/1013367.1013381","DOI":"10.1145\/1013367.1013381"},{"key":"17_CR7_17","unstructured":"Clark KG, Feigenbaum L, Torres E (2008) SPARQL protocol for RDF. W3C Recommendation. \n                  http:\/\/www.w3.org\/TR\/rdf-sparql-protocol\/"},{"key":"17_CR8_17","doi-asserted-by":"crossref","unstructured":"Du J, Qi G (2010) Decomposition-based optimization for debugging of inconsistent owl dl ontologies. In: Proceedings of the 4th international conference on Knowledge Science, Engineering and Management (KSEM 2010), Belfast, Northern Ireland, UK, pp 88\u2013100","DOI":"10.1007\/978-3-642-15280-1_11"},{"key":"17_CR9_17","doi-asserted-by":"crossref","unstructured":"Flouris G, Plexousakis D, Antoniou G (2005) On applying the AGM theory to DLs and OWL. In: Proceedings of the 4th International Conference on Semantic Web (ISWC 2005), Galway, Ireland, pp 216\u2013231","DOI":"10.1007\/11574620_18"},{"key":"17_CR10_17","unstructured":"Flouris G, Huang Z, Pan JZ, Plexousakis D, Wache H (2006) Inconsistencies, negations and changes in ontologies. In: Proceedings of the 21st National Conference on Artificial Intelligence (AAAI 2006), Boston, MA, pp 1295\u20131300"},{"key":"17_CR11_17","doi-asserted-by":"crossref","unstructured":"Grau BC, Horrocks I, Kazakov Y, Sattler U (2007) Just the right amount: extracting modules from ontologies. In: Proceedings of the 16th international conference on World Wide Web (WWW 2007), Banff, AB, Canada, pp 717\u2013726","DOI":"10.1145\/1242572.1242669"},{"key":"17_CR12_17","doi-asserted-by":"crossref","unstructured":"Haase P, van Harmelen F, Huang Z, Stuckenschmidt H, Sure Y (2005) A framework for handling inconsistency in changing ontologies. In: Proceedings of the 4th International Semantic Web Conference (ISWC 2005), Galway, Ireland, pp 353\u2013367","DOI":"10.1007\/11574620_27"},{"issue":"6","key":"17_CR13_17","doi-asserted-by":"publisher","first-page":"637","DOI":"10.1007\/BF01054039","volume":"22","author":"SO Hansson","year":"1993","unstructured":"Hansson SO (1993) Reversing the levi identity. J Philos Log 22(6):637\u2013669","journal-title":"J Philos Log"},{"key":"17_CR14_17","unstructured":"Hayes P (2004) RDF semantics. W3C Recommendation. \n                  http:\/\/www.w3.org\/TR\/rdf-mt\/"},{"key":"17_CR15_17","unstructured":"Huang Z, van Harmelen F, ten Teije A (2005) Reasoning with inconsistent ontologies. In: Proceedings of the 9th International Joint Conference on Artificial Intelligence (IJCAI 2005), Edinburgh, Scotland, UK, pp 454\u2013459"},{"key":"17_CR16_17","doi-asserted-by":"crossref","unstructured":"Ji Q, Qi G, Haase P (2009) A relevance-directed algorithm for finding justifications of dl entailments. In: Proceedings of the 4th Asian Conference on Semantic Web (ASWC 2009), Shanghai, China, pp 306\u2013320","DOI":"10.1007\/978-3-642-10871-6_21"},{"issue":"4","key":"17_CR17_17","doi-asserted-by":"publisher","first-page":"268","DOI":"10.1016\/j.websem.2005.09.005","volume":"3","author":"A Kalyanpur","year":"2005","unstructured":"Kalyanpur A, Parsia B, Sirin E, Hendler J (2005) Debugging unsatisfiable classes in OWL ontologies. J Web Semant 3(4):268\u2013293","journal-title":"J Web Semant"},{"key":"17_CR18_17","doi-asserted-by":"crossref","unstructured":"Kalyanpur A, Parsia B, Sirin E, Grau BC (2006) Repairing unsatisfiable concepts in owl ontologies. In: Proceedings of the 3rd European Semantic Web Conference (ESWC 2006), Budva, Montenegro, pp 170\u2013184","DOI":"10.1007\/11762256_15"},{"key":"17_CR19_17","doi-asserted-by":"crossref","unstructured":"Kalyanpur A, Parsia B, Horridge M, Sirin E (2007) Finding all justifications of OWL DL entailments. In: Proceedings of the 6th International Semantic Web Conference (ISWC 2007), Busan, Korea, pp 267\u2013280","DOI":"10.1007\/978-3-540-76298-0_20"},{"key":"17_CR20_17","doi-asserted-by":"crossref","unstructured":"Lam J, Pan JZ, Seeman D, Vasconcelos W (2006) A fine-grained approach to resolving unsatisfiable ontologies. In: Proceedings of the 2006 IEEE\/WIC\/ACM international conference on Web Intelligence (WI 2006), Hong Kong, pp 428\u2013434","DOI":"10.1109\/WI.2006.11"},{"key":"17_CR21_17","doi-asserted-by":"crossref","unstructured":"Meilicke C, Stuckenschmidt H (2007) Applying logical constraints to ontology matching. In: Proceedings of the 30th annual German conference on Artificial Intelligence (KI 2007), Osnabr\u00fcck, Germany, pp 99\u2013113","DOI":"10.1007\/978-3-540-74565-5_10"},{"key":"17_CR22_17","unstructured":"Meilicke C, Stuckenschmidt H, Tamilin A (2007) Repairing ontology mappings. In: Proceedings of the 22nd AAAI Conference on Artificial Intelligence (AAAI 2007), Vancouver, BC, Canada, pp 1408\u20131413"},{"key":"17_CR23_17","doi-asserted-by":"crossref","unstructured":"Meilicke C, V\u00f6lker J, Stuckenschmidt H (2008) Learning disjointness for debugging mappings between lightweight ontologies. In: Proceedings of the 16th international conference on Knowledge Engineering: Practice and Patterns (EKAW 2008), Acitrezza, Italy, pp 93\u2013108","DOI":"10.1007\/978-3-540-87696-0_11"},{"key":"17_CR24_17","unstructured":"Meyer T, Lee K, Booth R (2005) Knowledge integration for description logics. In: Proceedings of 20th national conference on Artificial Intelligence (AAAI 2005). AAAI Press, Pittsburgh, PA, pp 645\u2013650"},{"key":"17_CR25_17","unstructured":"Meyer T, Lee K, Booth R, Pan JZ (2006) Finding maximally satisfiable terminologies for the description logic ALC. In: Proceedings of 21th national conference on Artificial Intelligence (AAAI 2006), Boston, MA, pp 269\u2013274"},{"key":"17_CR26_17","volume-title":"A framework for representing knowledge","author":"M Minsky","year":"1974","unstructured":"Minsky M (1974) A framework for representing knowledge. Massachusetts Institute of Technology, Cambridge"},{"key":"17_CR27_17","unstructured":"Nebel B (1994) Base revision operations and schemes: semantics, representation and complexity. In: Proceedings of the Eleventh European Conference on Artificial Intelligence (ECAI 1994), Amsterdam, the Netherlands, pp 341\u2013345"},{"key":"17_CR28_17","unstructured":"Prud\u2019hommeaux E, Seaborne A (2008) SPARQL query language for RDF. W3C Recommendation. \n                  http:\/\/www.w3.org\/TR\/rdf-sparql-query\/"},{"key":"17_CR29_17","doi-asserted-by":"crossref","unstructured":"Qi G, Liu W, Bell DA (2006) Knowledge base revision in description logics. In: Proceedings of the 10th European conference on logics in artificial intelligence (JELIA 2006). Springer, Liverpool, UK, pp 386\u2013398","DOI":"10.1007\/11853886_32"},{"key":"17_CR30_17","doi-asserted-by":"crossref","unstructured":"Qi G, Haase P, Huang Z, Ji Q, Pan JZ, V\u00f6lker J (2008) A kernel revision operator for terminologies \u2013 algorithms and evaluation. In: Proceedings of the 7th International Semantic Web Conference (ISWC 2008), Karlsruhe, Germany, pp 419\u2013434","DOI":"10.1007\/978-3-540-88564-1_27"},{"key":"17_CR31_17","doi-asserted-by":"crossref","unstructured":"Qi G, Ji Q, Haase P (2009) A conflict-based operator for mapping revision. In: Proceedings of the 8th International Semantic Web Conference (ISWC 2009), Chantilly, VA, USA, pp 521\u2013536","DOI":"10.1007\/978-3-642-04930-9_33"},{"key":"17_CR32_17","unstructured":"Schlobach S, Cornet R (2003) Non-standard reasoning services for the debugging of description logic terminologies. In: Proceedings of the 18th International Joint Conference on Artificial Intelligence (IJCAI 2003), Acapulco, Mexico, pp 355\u2013362"},{"issue":"3","key":"17_CR33_17","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1007\/s10817-007-9076-z","volume":"39","author":"S Schlobach","year":"2007","unstructured":"Schlobach S, Huang Z, Cornet R, van Harmelen F (2007) Debugging incoherent terminologies. J Autom Reason 39(3):317\u2013349","journal-title":"J Autom Reason"},{"issue":"1","key":"17_CR34_17","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0004-3702(91)90078-X","volume":"48","author":"M Schmidt-Schau","year":"1991","unstructured":"Schmidt-Schau M, Smolka G (1991) Attributive concept descriptions with complements. Artif Intell 48(1):1\u201326","journal-title":"Artif Intell"},{"key":"17_CR35_17","unstructured":"Shearer R, Motik B, Horrocks I (2008) HermiT: a highly-efficient OWL reasoner. In: Ruttenberg A, Sattler U, Dolbear C (eds) Proceedings of the 5th international workshop on OWL: Experiences and Directions (OWLED 2008 EU), Karlsruhe, Germany"},{"key":"17_CR36_17","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1016\/j.websem.2007.03.004","volume":"5","author":"E Sirin","year":"2007","unstructured":"Sirin E, Parsia B, Grau BC, Kalyanpur A, Katz Y (2007) Pellet: a practical owl-dl reasoner. Web Semant 5:51\u201353. doi:\n                  10.1016\/j.websem.2007.03.004\n                  \n                , URL \n                  http:\/\/portal.acm.org\/citation.cfm?id=1265608.1265744","journal-title":"Web Semant"},{"key":"17_CR37_17","doi-asserted-by":"crossref","unstructured":"Suntisrivaraporn B, Qi G, Ji Q, Haase P (2008) A modularization-based approach to finding all justifications for owl dl entailments. In: Proceedings of the 3rd Asian Semantic Web Conference (ASWC 2008), Bangkok, Thailand, pp 1\u201315","DOI":"10.1007\/978-3-540-89704-0_1"}],"container-title":["Ontology Engineering in a Networked World"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-24794-1_17.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T11:38:08Z","timestamp":1620041888000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-24794-1_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,12,1]]},"ISBN":["9783642247934","9783642247941"],"references-count":37,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-24794-1_17","relation":{},"subject":[],"published":{"date-parts":[[2011,12,1]]}}}