{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,12]],"date-time":"2026-07-12T16:24:19Z","timestamp":1783873459855,"version":"3.55.0"},"publisher-location":"Cham","reference-count":51,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783031109850","type":"print"},{"value":"9783031109867","type":"electronic"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"DOI":"10.1007\/978-3-031-10986-7_13","type":"book-chapter","created":{"date-parts":[[2022,7,18]],"date-time":"2022-07-18T22:30:36Z","timestamp":1658183436000},"page":"155-171","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["DISEL: A Language for\u00a0Specifying DIS-Based Ontologies"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-9972-1654","authenticated-orcid":false,"given":"Yijie","family":"Wang","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9314-338X","authenticated-orcid":false,"given":"Yihai","family":"Chen","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9397-9999","authenticated-orcid":false,"given":"Deemah","family":"Alomair","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2499-1040","authenticated-orcid":false,"given":"Ridha","family":"Khedri","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2022,7,19]]},"reference":[{"key":"13_CR1","unstructured":"The BNF of DISEL concept definition. https:\/\/github.com\/YbJerry\/DISEL_file\/blob\/master\/BNF.txt. Accessed 15 Mar 2022"},{"key":"13_CR2","unstructured":"The GitHub repository of DISEL editor. https:\/\/github.com\/YbJerry\/DISEL_Editor. Accessed 15 Mar 2022"},{"key":"13_CR3","unstructured":"Information technology - Common Logic (CL) - a framework for a family of logic-based languages. https:\/\/www.iso.org\/standard\/66249.html. Accessed 15 Mar 2022"},{"key":"13_CR4","unstructured":"Isabelle. http:\/\/isabelle.in.tum.de\/index.html. Accessed 9 Jan 2021"},{"key":"13_CR5","unstructured":"A weather example specified using DISEL. https:\/\/github.com\/YbJerry\/DISEL_file\/blob\/master\/dis.xml. Accessed 15 Mar 2022"},{"key":"13_CR6","unstructured":"XML schema of DISEL. https:\/\/github.com\/YbJerry\/DISEL_file\/blob\/master\/dis.xsd. Accessed 15 Mar 2022"},{"key":"13_CR7","unstructured":"Avagyan, Z.: Weather.csv. www.kaggle.com\/zaraavagyan\/weathercsv\/metadata"},{"key":"13_CR8","volume-title":"The Description Logic Handbook: Theory, Implementation and Applications","author":"F Baader","year":"2003","unstructured":"Baader, F., Calvanese, D., McGuinness, D., Patel-Schneider, P., Nardi, D.: The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, Cambridge (2003)"},{"key":"13_CR9","unstructured":"Bellenger, A., Gatepaille, S.: Uncertainty in ontologies: Dempster-Shafer theory for data fusion applications. In: Workshop on Theory of Belief Functions, pp. 1\u20136. Brest, France, April 2010"},{"key":"13_CR10","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/978-3-642-04125-9_18","volume-title":"Foundations of Intelligent Systems","author":"F Bobillo","year":"2009","unstructured":"Bobillo, F., Straccia, U.: An OWL ontology for fuzzy OWL 2. In: Rauch, J., Ra\u015b, Z.W., Berka, P., Elomaa, T. (eds.) ISMIS 2009. LNCS (LNAI), vol. 5722, pp. 151\u2013160. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-04125-9_18"},{"key":"13_CR11","doi-asserted-by":"publisher","unstructured":"Carvalho, R.N., dos Santos, L.L., Ladeira, M., da Rocha, H.A., Mendes, G.L.: UMP-ST plug-in: documenting, maintaining and evolving probabilistic ontologies using UnBBayes framework. In: Uncertainty Reasoning for the Semantic Web III. LNCS, vol. 8816. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-13413-0_1","DOI":"10.1007\/978-3-319-13413-0_1"},{"key":"13_CR12","unstructured":"Chaudhri, V.K., et al.: OKBC: a programmatic foundation for knowledge base interoperability. In: AAAI\/IAAI, pp. 600\u2013607 (1998)"},{"key":"13_CR13","unstructured":"Consortium, W.: OWL 2 Web Ontology Language document overview (2012)"},{"key":"13_CR14","unstructured":"Costa, P., Laskey, K.: PR-OWL: a framework for probabilistic ontologies. In: Proceedings of the Conference on Formal Ontologies and Information Systems, vol. 150, pp. 237\u2013249, May 2006"},{"key":"13_CR15","unstructured":"Dan, C.: DAML+OIL (March 2001) reference description. In: World Wide Web Consortium (2001)"},{"issue":"3","key":"13_CR16","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1108\/LR-06-2015-0061","volume":"65","author":"A De Mauro","year":"2016","unstructured":"De Mauro, A., Greco, M., Grimaldi, M.: A formal definition of Big Data based on its essential features. Libr. Rev. 65(3), 122\u2013135 (2016). https:\/\/doi.org\/10.1108\/LR-06-2015-0061","journal-title":"Libr. Rev."},{"key":"13_CR17","unstructured":"Del Vescovo, C., Parsia, B., Sattler, U., Schneider, T.: The modular structure of an ontology: atomic decomposition and module count. In: WoMO, pp. 25\u201339 (2011)"},{"key":"13_CR18","unstructured":"Ding, Z., Peng, Y., Pan, R.: A Bayesian approach to uncertainty modelling in OWL ontology. Technical report, Maryland and University Baltimore, Department of Computer Science and Electrical Engineering (2006)"},{"issue":"11","key":"13_CR19","doi-asserted-by":"publisher","first-page":"1022","DOI":"10.1080\/08839514.2019.1661578","volume":"33","author":"M Fareh","year":"2019","unstructured":"Fareh, M.: Modeling incomplete knowledge of semantic web using Bayesian networks. Appl. Artif. Intell. 33(11), 1022\u20131034 (2019)","journal-title":"Appl. Artif. Intell."},{"key":"13_CR20","doi-asserted-by":"crossref","unstructured":"Fonseca, F.: The double role of ontologies in information science research. J. Am. Soc. Inf. Sci. Technol. - JASIS 58, 786\u2013793 (2007)","DOI":"10.1002\/asi.20565"},{"key":"13_CR21","unstructured":"Genesereth, M.R., Fikes, R.E., Brachman, R., Gruber, T., Schubert, L.: Knowledge Interchange Format Version 3.0 Reference Manual. Morgan Kaufmann Publishers, Burlington (1992)"},{"key":"13_CR22","doi-asserted-by":"crossref","unstructured":"Ghafourian, S., Rezaeian, A., Naghibzadeh, M.: Graph-based partitioning of ontology with semantic similarity. In: 2013 3th International eConference on Computer and Knowledge Engineering (ICCKE), pp. 80\u201385. IEEE (2013)","DOI":"10.1109\/ICCKE.2013.6682869"},{"issue":"6","key":"13_CR23","doi-asserted-by":"publisher","first-page":"1069","DOI":"10.1093\/bib\/bbv011","volume":"16","author":"R Hoehndorf","year":"2015","unstructured":"Hoehndorf, R., Schofield, P.N., Gkoutos, G.V.: The role of ontologies in biological and biomedical research: a functional perspective. Brief. Bioinform. 16(6), 1069\u20131080 (2015)","journal-title":"Brief. Bioinform."},{"key":"13_CR24","unstructured":"Horrocks, I., Parsia, B., Sattler, U.: OWL 2 web ontology language direct semantics. In: World Wide Web Consortium, pp. 42\u201365 (2012)"},{"issue":"1","key":"13_CR25","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1016\/0022-0000(84)90077-1","volume":"28","author":"TWL Imielinski Jr","year":"1984","unstructured":"Imielinski, T.W.L., Jr.: The relational model of data and cylindric algebras. J. Comput. Syst. Sci. 28(1), 80\u2013102 (1984)","journal-title":"J. Comput. Syst. Sci."},{"key":"13_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1007\/978-3-540-89784-2_2","volume-title":"Advances in Web Semantics I","author":"M Jarrar","year":"2008","unstructured":"Jarrar, M., Meersman, R.: Ontology engineering \u2013 the DOGMA approach. In: Dillon, T.S., Chang, E., Meersman, R., Sycara, K. (eds.) Advances in Web Semantics I. LNCS, vol. 4891, pp. 7\u201334. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-89784-2_2"},{"key":"13_CR27","doi-asserted-by":"publisher","unstructured":"Jaskolka, J., Leclair, A., Maccaull, W., Khedri, R.: Architecture for ontology-supported multi-context reasoning systems. Data Knowl. Eng. 140, 102044:1\u201314 (2022). ISSN 0169-023X. https:\/\/doi.org\/10.1016\/j.datak.2022.102044, https:\/\/www.sciencedirect.com\/science\/article\/pii\/S0169023X22000453","DOI":"10.1016\/j.datak.2022.102044"},{"key":"13_CR28","doi-asserted-by":"crossref","unstructured":"Khedri, R., Chiang, F., Sabri, K.E.: An algebraic approach for data cleansing. In: the 4th EUSPN, vol. 21, pp. 50\u201359 (2013). Procedia Computer Science","DOI":"10.1016\/j.procs.2013.09.009"},{"key":"13_CR29","doi-asserted-by":"crossref","unstructured":"Koopmann, P.: Ontology-based query answering for probabilistic temporal data. In: Proceedings of the AAAI Conference on Artificial Intelligence, vol. 33, no. 01, pp. 2903\u20132910, July 2019","DOI":"10.1609\/aaai.v33i01.33012903"},{"key":"13_CR30","unstructured":"LeClair, A.: A formal approach to ontology modularization and to the assessment of its related knowledge transformation. Ph.D. thesis, Faculty of Engineering, McMaster University, Hamilton, Ontario, Canada, November 2021"},{"key":"13_CR31","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"388","DOI":"10.1007\/978-3-030-66196-0_18","volume-title":"Knowledge Discovery, Knowledge Engineering and Knowledge Management","author":"A LeClair","year":"2020","unstructured":"LeClair, A., Khedri, R., Marinache, A.: Formalizing graphical modularization approaches for ontologies and the knowledge loss. In: Fred, A., Salgado, A., Aveiro, D., Dietz, J., Bernardino, J., Filipe, J. (eds.) IC3K 2019. CCIS, vol. 1297, pp. 388\u2013412. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-66196-0_18"},{"key":"13_CR32","doi-asserted-by":"publisher","unstructured":"LeClair, A., Marinache, A., Ghalayini, H.E., MacCaull, W., Khedri, R.: A review on ontology modularization techniques - a multi-dimensional perspective. IEEE Trans. Knowl. Data Eng., 1\u201328 (2022). https:\/\/doi.org\/10.1109\/TKDE.2022.3152928","DOI":"10.1109\/TKDE.2022.3152928"},{"key":"13_CR33","unstructured":"Lembo, D., Pantaleone, D., Santarelli, V., Savo, D.F.: Eddy: a graphical editor for OWL 2 ontologies. In: IJCAI (2016)"},{"issue":"4","key":"13_CR34","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1016\/j.websem.2008.04.001","volume":"6","author":"T Lukasiewicz","year":"2008","unstructured":"Lukasiewicz, T., Straccia, U.: Managing uncertainty and vagueness in description logics for the semantic web. J. Web Semant. 6(4), 291\u2013308 (2008)","journal-title":"J. Web Semant."},{"issue":"6","key":"13_CR35","doi-asserted-by":"publisher","first-page":"887","DOI":"10.7763\/IJCTE.2010.V2.257","volume":"2","author":"V Maniraj","year":"2010","unstructured":"Maniraj, V., Sivakumar, R.: Ontology languages - a review. Int. J. Comput. Theory Eng. 2(6), 887\u2013891 (2010)","journal-title":"Int. J. Comput. Theory Eng."},{"key":"13_CR36","doi-asserted-by":"crossref","unstructured":"Marinache, A., Khedri, R., Leclair, A., MacCaull, W.: DIS: a data-centred knowledge representation formalism. In: IEEE RDAAPS21, Hamilton, Ontario, Canada, pp. 1\u20138. IEEE Computer Society, May 2021","DOI":"10.1109\/RDAAPS48126.2021.9452007"},{"issue":"3","key":"13_CR37","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1007\/s11004-009-9246-0","volume":"42","author":"BR Mathon","year":"2010","unstructured":"Mathon, B.R., Ozbek, M.M., Pinder, G.F.: Dempster-Shafer theory applied to uncertainty surrounding permeability. Math. Geosci. 42(3), 293\u2013307 (2010)","journal-title":"Math. Geosci."},{"issue":"4","key":"13_CR38","doi-asserted-by":"publisher","first-page":"184","DOI":"10.1145\/367177.367199","volume":"3","author":"J McCarthy","year":"1960","unstructured":"McCarthy, J.: Recursive functions of symbolic expressions and their computation by machine, part I. Commun. ACM 3(4), 184\u2013195 (1960)","journal-title":"Commun. ACM"},{"key":"13_CR39","unstructured":"Mcguinness, D.L., Ed, F.H.: OWL web ontology language: overview (2004)"},{"key":"13_CR40","doi-asserted-by":"crossref","unstructured":"Nuradiansyah, A.: Reasoning in description logic ontologies for privacy management. KI - K\u00fcnstliche Intelligenz 34(3), 411\u2013415 (2020)","DOI":"10.1007\/s13218-020-00681-8"},{"key":"13_CR41","doi-asserted-by":"crossref","unstructured":"Ozaki, A.: Learning description logic ontologies: five approaches. Where do they stand? KI - K\u00fcnstliche Intelligenz (German J. Artif. Intell.) 34(3), 317\u2013327 (2020)","DOI":"10.1007\/s13218-020-00656-9"},{"key":"13_CR42","doi-asserted-by":"crossref","unstructured":"Peraketh, B., Menzel, C.P., Mayer, R.J., Fillion, F., Futrell, M.T.: Ontology capture method (IDEF5). Technical report, Knowledge Based Systems Inc., College Station, TX (1994)","DOI":"10.21236\/ADA288442"},{"key":"13_CR43","doi-asserted-by":"crossref","unstructured":"Sabarmathi, G., Chinnaiyan, R.: Investigations on big data features research challenges and applications. In: 2017 International Conference on Intelligent Computing and Control Systems (ICICCS), pp. 782\u2013786, June 2017","DOI":"10.1109\/ICCONS.2017.8250569"},{"key":"13_CR44","unstructured":"Samani, Z.R., Shamsfard, M.: The state of the art in developing fuzzy ontologies- a survey, pp. 1\u201346. arXiv preprint arXiv:1805.02290 (2018)"},{"key":"13_CR45","unstructured":"Schneider, M., Carroll, J., Herman, I., Patel-Schneider, P.F.: OWL 2 web ontology language RDF-based semantics. In: W3C Recommendation, December 2012"},{"key":"13_CR46","doi-asserted-by":"crossref","unstructured":"Schneider, T., Simkus, M.: Ontologies and data management: a brief survey. KI - K\u00fcnstliche Intelligenz (German J. Artif. Intell.) 34(3), 329\u2013353 (2020)","DOI":"10.1007\/s13218-020-00686-3"},{"key":"13_CR47","unstructured":"Stoilos, G., Stamou, G.B., Tzouvaras, V., Pan, J.Z., Horrocks, I.: Fuzzy OWL: uncertainty and the semantic web. In: OWLED, vol. 188, pp. 1\u201310 (2005)"},{"key":"13_CR48","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"453","DOI":"10.1007\/978-3-319-25264-3_34","volume-title":"Conceptual Modeling","author":"P Vassiliadis","year":"2015","unstructured":"Vassiliadis, P., Zarras, A.V., Skoulis, I.: How is life for a table in an evolving relational schema? Birth, death and everything in between. In: Johannesson, P., Lee, M.L., Liddle, S.W., Opdahl, A.L., L\u00f3pez, \u00d3.P. (eds.) ER 2015. LNCS, vol. 9381, pp. 453\u2013466. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-25264-3_34"},{"issue":"24","key":"13_CR49","doi-asserted-by":"publisher","first-page":"4865","DOI":"10.1016\/j.ins.2010.08.020","volume":"180","author":"L Wang","year":"2010","unstructured":"Wang, L., Liu, X., Cao, J.: A new algebraic structure for formal concept analysis. Inf. Sci. 180(24), 4865\u20134876 (2010)","journal-title":"Inf. Sci."},{"key":"13_CR50","doi-asserted-by":"crossref","unstructured":"Xiao, G., et al.: Ontology-based data access: a survey. In: Proceedings of the 27th International Joint Conference on Artificial Intelligence, pp. 5511\u20135519. AAAI Press (2018)","DOI":"10.24963\/ijcai.2018\/777"},{"key":"13_CR51","doi-asserted-by":"crossref","unstructured":"Zadeh, L.A.: Fuzzy sets. In: Fuzzy Sets, Fuzzy Logic, and Fuzzy Systems: Selected Papers by Lotfi A Zadeh, pp. 394\u2013432. World Scientific (1996)","DOI":"10.1142\/9789814261302_0021"}],"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-031-10986-7_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,18]],"date-time":"2022-07-18T22:34:39Z","timestamp":1658183679000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-10986-7_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783031109850","9783031109867"],"references-count":51,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-10986-7_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"19 July 2022","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":"Singapore","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Singapore","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2022","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"6 August 2022","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8 August 2022","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"ksem2022","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/ksem22.smart-conf.net\/index.html","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"498","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"169","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"34% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"10","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}