Skip to main content
SpringerLink
Log in

DISEL: A Language for Specifying DIS-Based Ontologies

  • Conference paper
  • First Online:
Knowledge Science, Engineering and Management (KSEM 2022)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 13369))

Abstract

We present the main syntactical constructs of DISEL language, which is designed as a language for specifying DIS-based ontologies. The adoption of this language would enable the creation of shareable ontologies for the development of ontology-based systems. We give the main constructs of the language and we illustrate the specification of the main components of a DISEL ontology using a simplified example of a weather ontology. DIS formalism, on which the proposed language is based, enables the modelling of an ontology in a bottom-up approach. The syntax of DISEL language is based on XML, which eases the translation of its ontologies to other ontology languages. We also introduce DISEL Editor tool, which has several capabilities such as editing and visualising ontologies. It can guide the specifier in providing the essential elements of the ontology, then it automatically produces the full DISEL ontology specification.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 89.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 119.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Notes

  1. 1.

    CDATA stands for Character Data and it indicates that the data in between these strings should not be interpreted as XML markup.

References

  1. The BNF of DISEL concept definition. https://github.com/YbJerry/DISEL_file/blob/master/BNF.txt. Accessed 15 Mar 2022

  2. The GitHub repository of DISEL editor. https://github.com/YbJerry/DISEL_Editor. Accessed 15 Mar 2022

  3. 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

  4. Isabelle. http://isabelle.in.tum.de/index.html. Accessed 9 Jan 2021

  5. A weather example specified using DISEL. https://github.com/YbJerry/DISEL_file/blob/master/dis.xml. Accessed 15 Mar 2022

  6. XML schema of DISEL. https://github.com/YbJerry/DISEL_file/blob/master/dis.xsd. Accessed 15 Mar 2022

  7. Avagyan, Z.: Weather.csv. www.kaggle.com/zaraavagyan/weathercsv/metadata

  8. Baader, F., Calvanese, D., McGuinness, D., Patel-Schneider, P., Nardi, D.: The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, Cambridge (2003)

    MATH  Google Scholar 

  9. Bellenger, A., Gatepaille, S.: Uncertainty in ontologies: Dempster-Shafer theory for data fusion applications. In: Workshop on Theory of Belief Functions, pp. 1–6. Brest, France, April 2010

    Google Scholar 

  10. Bobillo, F., Straccia, U.: An OWL ontology for fuzzy OWL 2. In: Rauch, J., Raś, Z.W., Berka, P., Elomaa, T. (eds.) ISMIS 2009. LNCS (LNAI), vol. 5722, pp. 151–160. Springer, Heidelberg (2009). https://doi.org/10.1007/978-3-642-04125-9_18

    Chapter  Google Scholar 

  11. 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

  12. Chaudhri, V.K., et al.: OKBC: a programmatic foundation for knowledge base interoperability. In: AAAI/IAAI, pp. 600–607 (1998)

    Google Scholar 

  13. Consortium, W.: OWL 2 Web Ontology Language document overview (2012)

    Google Scholar 

  14. 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–249, May 2006

    Google Scholar 

  15. Dan, C.: DAML+OIL (March 2001) reference description. In: World Wide Web Consortium (2001)

    Google Scholar 

  16. De Mauro, A., Greco, M., Grimaldi, M.: A formal definition of Big Data based on its essential features. Libr. Rev. 65(3), 122–135 (2016). https://doi.org/10.1108/LR-06-2015-0061

    Article  Google Scholar 

  17. Del Vescovo, C., Parsia, B., Sattler, U., Schneider, T.: The modular structure of an ontology: atomic decomposition and module count. In: WoMO, pp. 25–39 (2011)

    Google Scholar 

  18. 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)

    Google Scholar 

  19. Fareh, M.: Modeling incomplete knowledge of semantic web using Bayesian networks. Appl. Artif. Intell. 33(11), 1022–1034 (2019)

    Article  Google Scholar 

  20. Fonseca, F.: The double role of ontologies in information science research. J. Am. Soc. Inf. Sci. Technol. - JASIS 58, 786–793 (2007)

    Google Scholar 

  21. 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)

    Google Scholar 

  22. 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–85. IEEE (2013)

    Google Scholar 

  23. 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–1080 (2015)

    Article  Google Scholar 

  24. Horrocks, I., Parsia, B., Sattler, U.: OWL 2 web ontology language direct semantics. In: World Wide Web Consortium, pp. 42–65 (2012)

    Google Scholar 

  25. Imielinski, T.W.L., Jr.: The relational model of data and cylindric algebras. J. Comput. Syst. Sci. 28(1), 80–102 (1984)

    Article  MathSciNet  Google Scholar 

  26. Jarrar, M., Meersman, R.: Ontology engineering – the DOGMA approach. In: Dillon, T.S., Chang, E., Meersman, R., Sycara, K. (eds.) Advances in Web Semantics I. LNCS, vol. 4891, pp. 7–34. Springer, Heidelberg (2008). https://doi.org/10.1007/978-3-540-89784-2_2

    Chapter  Google Scholar 

  27. Jaskolka, J., Leclair, A., Maccaull, W., Khedri, R.: Architecture for ontology-supported multi-context reasoning systems. Data Knowl. Eng. 140, 102044:1–14 (2022). ISSN 0169-023X. https://doi.org/10.1016/j.datak.2022.102044, https://www.sciencedirect.com/science/article/pii/S0169023X22000453

  28. Khedri, R., Chiang, F., Sabri, K.E.: An algebraic approach for data cleansing. In: the 4th EUSPN, vol. 21, pp. 50–59 (2013). Procedia Computer Science

    Google Scholar 

  29. 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–2910, July 2019

    Google Scholar 

  30. 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

    Google Scholar 

  31. 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–412. Springer, Cham (2020). https://doi.org/10.1007/978-3-030-66196-0_18

    Chapter  Google Scholar 

  32. 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–28 (2022). https://doi.org/10.1109/TKDE.2022.3152928

  33. Lembo, D., Pantaleone, D., Santarelli, V., Savo, D.F.: Eddy: a graphical editor for OWL 2 ontologies. In: IJCAI (2016)

    Google Scholar 

  34. Lukasiewicz, T., Straccia, U.: Managing uncertainty and vagueness in description logics for the semantic web. J. Web Semant. 6(4), 291–308 (2008)

    Article  Google Scholar 

  35. Maniraj, V., Sivakumar, R.: Ontology languages - a review. Int. J. Comput. Theory Eng. 2(6), 887–891 (2010)

    Article  Google Scholar 

  36. Marinache, A., Khedri, R., Leclair, A., MacCaull, W.: DIS: a data-centred knowledge representation formalism. In: IEEE RDAAPS21, Hamilton, Ontario, Canada, pp. 1–8. IEEE Computer Society, May 2021

    Google Scholar 

  37. Mathon, B.R., Ozbek, M.M., Pinder, G.F.: Dempster-Shafer theory applied to uncertainty surrounding permeability. Math. Geosci. 42(3), 293–307 (2010)

    Article  Google Scholar 

  38. McCarthy, J.: Recursive functions of symbolic expressions and their computation by machine, part I. Commun. ACM 3(4), 184–195 (1960)

    Article  Google Scholar 

  39. Mcguinness, D.L., Ed, F.H.: OWL web ontology language: overview (2004)

    Google Scholar 

  40. Nuradiansyah, A.: Reasoning in description logic ontologies for privacy management. KI - Künstliche Intelligenz 34(3), 411–415 (2020)

    Google Scholar 

  41. Ozaki, A.: Learning description logic ontologies: five approaches. Where do they stand? KI - Künstliche Intelligenz (German J. Artif. Intell.) 34(3), 317–327 (2020)

    Google Scholar 

  42. 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)

    Google Scholar 

  43. 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–786, June 2017

    Google Scholar 

  44. Samani, Z.R., Shamsfard, M.: The state of the art in developing fuzzy ontologies- a survey, pp. 1–46. arXiv preprint arXiv:1805.02290 (2018)

  45. Schneider, M., Carroll, J., Herman, I., Patel-Schneider, P.F.: OWL 2 web ontology language RDF-based semantics. In: W3C Recommendation, December 2012

    Google Scholar 

  46. Schneider, T., Simkus, M.: Ontologies and data management: a brief survey. KI - Künstliche Intelligenz (German J. Artif. Intell.) 34(3), 329–353 (2020)

    Google Scholar 

  47. 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–10 (2005)

    Google Scholar 

  48. 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ópez, Ó.P. (eds.) ER 2015. LNCS, vol. 9381, pp. 453–466. Springer, Cham (2015). https://doi.org/10.1007/978-3-319-25264-3_34

    Chapter  Google Scholar 

  49. Wang, L., Liu, X., Cao, J.: A new algebraic structure for formal concept analysis. Inf. Sci. 180(24), 4865–4876 (2010)

    Article  MathSciNet  Google Scholar 

  50. Xiao, G., et al.: Ontology-based data access: a survey. In: Proceedings of the 27th International Joint Conference on Artificial Intelligence, pp. 5511–5519. AAAI Press (2018)

    Google Scholar 

  51. Zadeh, L.A.: Fuzzy sets. In: Fuzzy Sets, Fuzzy Logic, and Fuzzy Systems: Selected Papers by Lotfi A Zadeh, pp. 394–432. World Scientific (1996)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Shanghai University, Shanghai, China

    Yijie Wang & Yihai Chen

  2. McMaster University, Hamilton, ON, Canada

    Deemah Alomair & Ridha Khedri

  3. Imam Abdulrahman Bin Faisal University, Dammam, Kingdom of Saudi Arabia

    Deemah Alomair

Authors
  1. Yijie Wang
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Yihai Chen
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Deemah Alomair
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Ridha Khedri
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Ridha Khedri .

Editor information

Editors and Affiliations

  1. Télécom Paris, Paris, France

    Gerard Memmi

  2. Purdue University, West Lafayette, IN, USA

    Baijian Yang

  3. Shanghai Jiao Tong University, Shanghai, Shanghai, China

    Linghe Kong

  4. Nanyang Technological University, Singapore, Singapore

    Tianwei Zhang

  5. Texas A&M University – Commerce, Commerce, TX, USA

    Meikang Qiu

Rights and permissions

Reprints and permissions

Copyright information

© 2022 The Author(s), under exclusive license to Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Wang, Y., Chen, Y., Alomair, D., Khedri, R. (2022). DISEL: A Language for Specifying DIS-Based Ontologies. In: Memmi, G., Yang, B., Kong, L., Zhang, T., Qiu, M. (eds) Knowledge Science, Engineering and Management. KSEM 2022. Lecture Notes in Computer Science(), vol 13369. Springer, Cham. https://doi.org/10.1007/978-3-031-10986-7_13

Download citation

  • DOI: https://doi.org/10.1007/978-3-031-10986-7_13

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-031-10985-0

  • Online ISBN: 978-3-031-10986-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation