{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T15:27:32Z","timestamp":1742916452245,"version":"3.40.3"},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319251585"},{"type":"electronic","value":"9783319251592"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","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":[[2015]]},"DOI":"10.1007\/978-3-319-25159-2_8","type":"book-chapter","created":{"date-parts":[[2015,10,23]],"date-time":"2015-10-23T21:41:49Z","timestamp":1445636509000},"page":"90-101","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Toward a Type-Theoretical Approach for an Ontologically-Based Detection of Underground Networks"],"prefix":"10.1007","author":[{"given":"Meriem","family":"Hafsi","sequence":"first","affiliation":[]},{"given":"Richard","family":"Dapoigny","sequence":"additional","affiliation":[]},{"given":"Philippe","family":"Bolon","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,11,3]]},"reference":[{"key":"8_CR1","doi-asserted-by":"crossref","unstructured":"Andres, S., Arvor, D., Pierkot, C.: Towards an ontological approach for classifying remote sensing images. In: Eighth International Conference on Signal Image Technology and Internet Based Systems, SITIS 2012, 25\u201329 November 2012, Sorrento, Naples, Italy, pp. 825\u2013832 (2012)","DOI":"10.1109\/SITIS.2012.124"},{"key":"8_CR2","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"228","DOI":"10.1007\/978-3-540-32254-2_14","volume-title":"Mechanizing Mathematical Reasoning","author":"F Baader","year":"2005","unstructured":"Baader, F., Horrocks, I., Sattler, U.: Description logics as ontology languages for the semantic web. In: Hutter, D., Stephan, W. (eds.) Mechanizing Mathematical Reasoning. LNCS (LNAI), vol. 2605, pp. 228\u2013248. Springer, Heidelberg (2005)"},{"key":"8_CR3","series-title":"Texts in Theoretical Computer Science, An EATCS series","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-07964-5","volume-title":"Interactive Theorem Proving and Program Development: Coq\u2019Art: The Calculus of Inductive Constructions","author":"Y Bertot","year":"2004","unstructured":"Bertot, Y., Cast\u00e9ran, P.: Interactive Theorem Proving and Program Development: Coq\u2019Art: The Calculus of Inductive Constructions. Texts in Theoretical Computer Science, An EATCS series. Springer Verlag, Heidelberg (2004)"},{"key":"8_CR4","first-page":"2010","volume":"45\u201358","author":"R Dapoigny","year":"2010","unstructured":"Dapoigny, R., Barlatier, P.: Towards Ontological Correctness of Part-whole Relations with Dependent Types. FOIS 45\u201358, 2010 (2010)","journal-title":"FOIS"},{"key":"8_CR5","first-page":"2013","volume":"135\u2013152","author":"R Dapoigny","year":"2013","unstructured":"Dapoigny, R., Barlatier, P.: Modeling Ontological Structures with Type Classes in Coq. ICCS 135\u2013152, 2013 (2013)","journal-title":"ICCS"},{"key":"8_CR6","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1016\/j.jbi.2014.02.018","volume":"49","author":"C Kurtz","year":"2014","unstructured":"Kurtz, C., Beaulieu, C.F., Napel, S., Rubin, D.L.: A hierarchical knowledge-based approach for retrieving similar medical images described with semantic annotations. Journal of Biomedical Informatics 49, 227\u2013244 (2014)","journal-title":"Journal of Biomedical Informatics"},{"key":"8_CR7","first-page":"159","volume":"2014","author":"R Dapoigny","year":"2014","unstructured":"Dapoigny, R., Barlatier, P.: Specifying Well-Formed Part-Whole Relations in Coq. ICCS 2014, 159\u2013173 (2014)","journal-title":"ICCS"},{"key":"8_CR8","doi-asserted-by":"crossref","unstructured":"Gon\u00e7alves, B., Zamborlini, V., Guizzardi, G., Filho, J.G.P.: An ontology-based application in heart electrophysiology: representation, reasoning and visualization on the web. In: Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 9\u201312 March 2009, Honolulu, Hawaii, USA, pp. 816\u2013820 (2009)","DOI":"10.1145\/1529282.1529456"},{"key":"8_CR9","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1007\/3-540-39967-4_8","volume-title":"Knowledge Engineering and Knowledge Management. Methods, Models, and Tools","author":"N Guarino","year":"2000","unstructured":"Guarino, N., Welty, C.A.: A formal ontology of properties. In: Dieng, R., Corby, O. (eds.) EKAW 2000. LNCS (LNAI), vol. 1937, pp. 97\u2013112. Springer, Heidelberg (2000)"},{"key":"8_CR10","doi-asserted-by":"crossref","unstructured":"Palombi, O., Bousquet, G., Jospin, D., Hassan, S., Rev\u00e9ret, L., Faure, F.,My corporis fabrica: a unified ontological, geometrical and mechanical view of human anatomy. In: Procs of Modelling the Physiological Human, 3D Physiological Human Workshop, 3DPH 2009, pp. 209\u2013219, Zermatt, Switzerland (2009)","DOI":"10.1007\/978-3-642-10470-1_18"},{"key":"8_CR11","unstructured":"Hirankitti, V., Xuan, T.M.: A meta-reasoning approach for reasoning with SWRL ontologies. In: Procs. of IMECS 2011, vol. 1, Hong-Kong (2011)"},{"key":"8_CR12","unstructured":"Masolo, C., Borgo, S., Gangemi, A., Guarino, N., Oltramari, A.: Ontology Library (D18), Laboratory for Applied Ontology-ISTC-CNR (2003)"},{"issue":"Part A","key":"8_CR13","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.datak.2014.07.006","volume":"94","author":"L Pomponio","year":"2014","unstructured":"Pomponio, L., Le Goc, M.: Reducing the gap between experts\u2019 knowledge and data: The TOM4D methodology. Data & Knowledge Engineering 94(Part A), 1\u201337 (2014)","journal-title":"Data & Knowledge Engineering"},{"key":"8_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"428","DOI":"10.1007\/978-3-642-27216-5_33","volume-title":"Advanced Agent Technology","author":"M \u015eensoy","year":"2012","unstructured":"\u015eensoy, M., Vasconcelos, W.W., Norman, T.J.: Combining semantic web and logic programming for agent reasoning. In: Dechesne, F., Hattori, H., Dignum, F., Such, J.M., Weyns, D., ter Mors, A. (eds.) AAMAS 2011 Workshops. LNCS, vol. 7068, pp. 428\u2013441. Springer, Heidelberg (2012)"},{"key":"8_CR15","unstructured":"Smith, B., Rosse, C.: The role of foundational relations in the alignment of biomedical ontologies. In: Procs. of MEDINFO 2004, pp. 444\u2013449 (2004)"},{"key":"8_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"278","DOI":"10.1007\/978-3-540-71067-7_23","volume-title":"Theorem Proving in Higher Order Logics","author":"M Sozeau","year":"2008","unstructured":"Sozeau, M., Oury, N.: First-class type classes. In: Mohamed, O.A., Tahar, S., Mu\u00f1oz, C. (eds.) TPHOLs 2008. LNCS, vol. 5170, pp. 278\u2013293. Springer, Heidelberg (2008)"},{"issue":"4","key":"8_CR17","doi-asserted-by":"publisher","first-page":"795","DOI":"10.1017\/S0960129511000119","volume":"21","author":"B Spitters","year":"2011","unstructured":"Spitters, B., van der Weegen, E.: Type classes for mathematics in type theory. Mathematical Structures in Computer Science 21(4), 795\u2013825 (2011)","journal-title":"Mathematical Structures in Computer Science"},{"key":"8_CR18","doi-asserted-by":"crossref","unstructured":"Durand, N., Derivaux, S., Forestier, G., Wemmert, C., Gan\u00e7arski, P., Boussaid, O., Puissant, A.: Ontology-based object recognition for remote sensing image interpretation. In: 19th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2007), 29\u201331 October 2007, Patras, Greece, vol. 1, pp. 472\u2013479 (2007)","DOI":"10.1109\/ICTAI.2007.111"},{"key":"8_CR19","unstructured":"Taylor, D.: Increasing the expressiveness of OWL through procedural attachments. In: InterSymp-2009: Focus Symposium Preconference Proceedings, Baden-Baden, Germany (2009)"},{"key":"8_CR20","doi-asserted-by":"crossref","unstructured":"Kotis, K., Vouros, G.A.: Human-centered ontology engineering: The HCOME methodology. Knowl. Inf. Syst. 109\u2013131 (2006)","DOI":"10.1007\/s10115-005-0227-4"}],"container-title":["Lecture Notes in Computer Science","Knowledge Science, Engineering and Management"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-25159-2_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,11,17]],"date-time":"2023-11-17T06:33:21Z","timestamp":1700202801000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-25159-2_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319251585","9783319251592"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-25159-2_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"3 November 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"KSEM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Knowledge Science, Engineering and Management","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Chongqing","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"China","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2015","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28 October 2015","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"30 October 2015","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"ksem2015","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}