{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:31:08Z","timestamp":1742913068938,"version":"3.40.3"},"publisher-location":"Cham","reference-count":22,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319706818"},{"type":"electronic","value":"9783319706825"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-70682-5_7","type":"book-chapter","created":{"date-parts":[[2017,11,7]],"date-time":"2017-11-07T01:22:24Z","timestamp":1510017744000},"page":"102-117","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["The Identity Problem in Description Logic Ontologies and Its Application to View-Based Information Hiding"],"prefix":"10.1007","author":[{"given":"Franz","family":"Baader","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel","family":"Borchmann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Adrian","family":"Nuradiansyah","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,11,8]]},"reference":[{"key":"7_CR1","unstructured":"Baader, F., Borchmann, D., Nuradiansyah, A.: Preliminary results on the identity problem in description logic ontologies. In: Proceedings of the 30th International Workshop on Description Logics (2017)"},{"volume-title":"The Description Logic Handbook: Theory, Implementation, and Applications","year":"2003","key":"7_CR2","unstructured":"Baader, F., Calvanese, D., McGuinness, D.L., Patel-Schneider, P.F., Nardi, D. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, Cambridge (2003)"},{"key":"7_CR3","doi-asserted-by":"publisher","DOI":"10.1017\/9781139025355","volume-title":"An Introduction to Description Logic","author":"F Baader","year":"2017","unstructured":"Baader, F., Horrocks, I., Sattler, U.: An Introduction to Description Logic. Cambridge University Press, Cambridge (2017)"},{"issue":"1","key":"7_CR4","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1007\/s10207-004-0032-1","volume":"3","author":"J Biskup","year":"2004","unstructured":"Biskup, J., Bonatti, P.A.: Controlled query evaluation for enforcing confidentiality in complete information systems. Int. J. Inf. Sec. 3(1), 14\u201327 (2004)","journal-title":"Int. J. Inf. Sec."},{"key":"7_CR5","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511676277","volume-title":"Logical Foundations of Proof Complexity","author":"S Cook","year":"2010","unstructured":"Cook, S., Nguyen, P.: Logical Foundations of Proof Complexity, 1st edn. Cambridge University Press, New York (2010)","edition":"1"},{"key":"7_CR6","unstructured":"Gallier, J.: Logic for Computer Science: Foundations of Automatic Theorem Proving, 2nd edn. Dover (2015)"},{"key":"7_CR7","doi-asserted-by":"crossref","first-page":"137","DOI":"10.3233\/SW-2010-0009","volume":"1","author":"BC Grau","year":"2010","unstructured":"Grau, B.C.: Privacy in ontology-based information systems: a pending matter. Semant. Web 1, 137\u2013141 (2010)","journal-title":"Semant. Web"},{"key":"7_CR8","unstructured":"Grau, B.C., Horrocks, I.: Privacy-preserving query answering in logic-based information systems. In: Proceedings of the 18th European Conference on Artificial Intelligence, pp. 40\u201344 (2008)"},{"key":"7_CR9","unstructured":"Grau, B.C., Kostylev, E.V.: Logical foundations of privacy-preserving publishing of linked data. In: Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, pp. 943\u2013949. AAAI Press (2016)"},{"key":"7_CR10","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1613\/jair.5222","volume":"58","author":"V Guti\u00e9rrez-Basulto","year":"2017","unstructured":"Guti\u00e9rrez-Basulto, V., Jung, J.C., Lutz, C., Schr\u00f6der, L.: Probabilistic description logics for subjective uncertainty. J. Artif. Intell. Res. (JAIR) 58, 1\u201366 (2017)","journal-title":"J. Artif. Intell. Res. (JAIR)"},{"key":"7_CR11","unstructured":"Hollunder, B., Baader, F.: Qualifying number restrictions in concept languages. In: Proceedings of the 2nd International Conference on the Principles of Knowledge Representation and Reasoning (KR 1991), pp. 335\u2013346 (1991)"},{"issue":"3","key":"7_CR12","doi-asserted-by":"publisher","first-page":"369","DOI":"10.1007\/s10849-005-5791-1","volume":"14","author":"I Pratt-Hartmann","year":"2005","unstructured":"Pratt-Hartmann, I.: Complexity of the two-variable fragment with counting quantifiers. J. Logic Lang. Inform. 14(3), 369\u2013395 (2005)","journal-title":"J. Logic Lang. Inform."},{"issue":"2","key":"7_CR13","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1109\/2.485845","volume":"29","author":"RS Sandhu","year":"1996","unstructured":"Sandhu, R.S., Coyne, E.J., Feinstein, H.L., Youman, C.E.: Role-based access control models. Computer 29(2), 38\u201347 (1996)","journal-title":"Computer"},{"key":"7_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1007\/3-540-57292-9_49","volume-title":"Advances in Artificial Intelligence","author":"A Schaerf","year":"1993","unstructured":"Schaerf, A.: Reasoning with individuals in concept languages. In: Torasso, P. (ed.) AI*IA 1993. LNCS, vol. 728, pp. 108\u2013119. Springer, Heidelberg (1993). https:\/\/doi.org\/10.1007\/3-540-57292-9_49"},{"key":"7_CR15","unstructured":"Schild, K.: A correspondence theory for terminological logics: preliminary report. In: Proceedings of the 12th International Joint Conference on Artificial Intelligence (IJCAI 1991), pp. 466\u2013471 (1991)"},{"issue":"1","key":"7_CR16","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0004-3702(91)90078-X","volume":"48","author":"M Schmidt-Schau\u00df","year":"1991","unstructured":"Schmidt-Schau\u00df, M., Smolka, G.: Attributive concept descriptions with complements. Artif. Intell. 48(1), 1\u201326 (1991)","journal-title":"Artif. Intell."},{"key":"7_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"400","DOI":"10.1007\/978-3-540-70881-0_34","volume-title":"Perspectives of Systems Informatics","author":"P Stouppa","year":"2007","unstructured":"Stouppa, P., Studer, T.: A formal model of data privacy. In: Virbitskaite, I., Voronkov, A. (eds.) PSI 2006. LNCS, vol. 4378, pp. 400\u2013408. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-70881-0_34"},{"key":"7_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"409","DOI":"10.1007\/978-3-540-92687-0_28","volume-title":"Logical Foundations of Computer Science","author":"P Stouppa","year":"2008","unstructured":"Stouppa, P., Studer, T.: Data privacy for $$\\cal{ALC}$$ knowledge bases. In: Artemov, S., Nerode, A. (eds.) LFCS 2009. LNCS, vol. 5407, pp. 409\u2013421. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-92687-0_28"},{"issue":"5","key":"7_CR19","doi-asserted-by":"publisher","first-page":"557","DOI":"10.1142\/S0218488502001648","volume":"10","author":"L Sweeney","year":"2002","unstructured":"Sweeney, L.: K-anonymity: a model for protecting privacy. Int. J. Uncertain. Fuzziness Knowl.-Based Syst. 10(5), 557\u2013570 (2002)","journal-title":"Int. J. Uncertain. Fuzziness Knowl.-Based Syst."},{"key":"7_CR20","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1613\/jair.705","volume":"12","author":"S Tobies","year":"2000","unstructured":"Tobies, S.: The complexity of reasoning with cardinality restrictions and nominals in expressive description logics. J. Artif. Intell. Res. 12, 199\u2013217 (2000)","journal-title":"J. Artif. Intell. Res."},{"key":"7_CR21","unstructured":"Tobies, S.: Complexity results and practical algorithms for logics in knowledge representation. CoRR, cs.LO\/0106031, PhD thesis, RWTH Aachen (2001)"},{"key":"7_CR22","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"350","DOI":"10.1007\/978-3-319-03680-9_36","volume-title":"AI 2013: Advances in Artificial Intelligence","author":"D Toman","year":"2013","unstructured":"Toman, D., Weddell, G.: Conjunctive query answering in $${\\cal{CFD}}_{nc}$$: a PTIME description logic with functional constraints and disjointness. In: Cranefield, S., Nayak, A. (eds.) AI 2013. LNCS (LNAI), vol. 8272, pp. 350\u2013361. Springer, Cham (2013). https:\/\/doi.org\/10.1007\/978-3-319-03680-9_36"}],"container-title":["Lecture Notes in Computer Science","Semantic Technology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-70682-5_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,13]],"date-time":"2024-03-13T13:08:49Z","timestamp":1710335329000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-70682-5_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319706818","9783319706825"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-70682-5_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]},"assertion":[{"value":"8 November 2017","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"JIST","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Joint International Semantic Technology Conference","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Gold Coast","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Australia","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2017","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"10 November 2017","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12 November 2017","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"7","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"aswc2017","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.ict.griffith.edu.au\/aist\/jist2017","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}