Skip to main content

Building Blocks in Standards: Improving Consistency in Standardization with Ontology and Reasoning

  • Conference paper
  • First Online:
Security Standardisation Research (SSR 2018)

Part of the book series: Lecture Notes in Computer Science ((LNSC,volume 11322))

Included in the following conference series:

  • 549 Accesses

Abstract

International standardization in ICT has grown in importance due to the rapid technology development, the increasing need for interoperability, and the global nature of the digital infrastructure. However, technical resources available to international standards bodies have become more limited. With its focus on international collaboration and consensus, the standardization community has not invested significantly in the automation of the process of developing standards. In this paper, we describe potential gains in efficiency with an ontology-based approach and automated reasoning. As part of the exploratory phase of the project, we built a prototype ontology and evaluated the benefits of automated reasoning to improve the process of developing and harmonizing broadly understood ICT assessment standards. The exploratory phase confirmed feasibility and clarified the benefits of the ontology-based approach to standardization, but also highlighted difficulties and unsolved problems in this area.

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

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.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.

    https://www.iso.org/committee/45306.html, ISO/IEC JTC 1/SC 27 IT Security techniques.

  2. 2.

    https://www.iso.org/standard/57465.html.

  3. 3.

    While this approach is convenient for illustration purposes, preliminary examination of a broader set of documents seems to suggest that the same term may be used for multiple functions. In that case, it may be more appropriate to organize the term hierarchy along other dimensions than the functions themselves.

  4. 4.

    In fact, a whole hierarchy of ontology-based languages exist, with varying degrees of expressivity and computational complexity. A thorough discussion is beyond the scope of this paper.

  5. 5.

    Certain programs have multiple answer sets. For example, \( \left\{ { p \leftarrow not q. q \leftarrow not p. } \right\} \) has two answer sets, \( \left\{ { p } \right\} \) and \( \left\{ { q } \right\} \), corresponding to two alternative, equally possible views of the world captured by \( \Pi \)..

  6. 6.

    We omit the axiom for matching of SDL framework for IoT, which is straightforward.

References

  • Alobaidi, M., Malik, K.M., Hussain, M.: Automated ontology generation framework powered by linked biomedical ontologies for disease-drug domain. Comput. Methods Programs Biomed. 165, 117–128 (2018)

    Article  Google Scholar 

  • Boje, D.M. (ed.): Organizational Change and Global Standardization Solutions to Standards and Norms Overwhelming Organizations. Routledge, New York (2015)

    Google Scholar 

  • Cai, M.C., et al.: ADReCS: an ontology database for aiding standardization and hierarchical classification of adverse drug reaction terms. Nucleic Acids Res. 43(D1), D907–D913 (2014)

    Article  Google Scholar 

  • de Franco Rosa, F., Jino, M., Bonacin, R.: Towards an ontology of security assessment: a core model proposal. In: Latifi, S. (ed.) Information Technology - New Generations. AISC, vol. 738, pp. 75–80. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-77028-4_12

    Chapter  Google Scholar 

  • de Franco Rosa, F., Jino, M., Bueno, P.M.S., Bonacin, R.: Coverage- based heuristics for selecting assessment items from security standards: a core set proposal. In: 2018 Workshop on Metrology for Industry 4.0 and IoT, pp. 192–197. IEEE, April 2018

    Google Scholar 

  • Fenz, S., Ekelhart, A.: Formalizing information security knowledge. In: Proceedings of the 4th International Symposium on Information, Computer, and Communications Security, pp. 183–194. ACM (2009)

    Google Scholar 

  • Fraga, A.L., Vegetti, M.: Semi-automated ontology generation process from industrial product data standards. In: III Simposio Argentino de Ontologías y sus Aplicaciones (SAOA)-JAIIO 46 (Córdoba 2017) (2017)

    Google Scholar 

  • Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive databases. New Gen. Comput. 9, 365–385 (1991)

    Article  Google Scholar 

  • Gonzalez-Perez, C., Henderson-Sellers, B., McBride, T., Low, G.C., Larrucea, X.: An ontology for ISO software engineering standards: 2) proof of concept and application. Comput. Standards Interfaces 48, 112–123 (2016)

    Article  Google Scholar 

  • Harris, S., Seaborne, A., Prud’hommeaux, E.: SPARQL 1.1 query language. W3C Recommendation 21(10), 778 (2013)

    Google Scholar 

  • Huang, Y., Li, G.: A semantic analysis for internet of things. In: 2010 International Conference on Intelligent Computation Technology and Automation (ICICTA), vol. 1, pp. 336–339. IEEE (2010)

    Google Scholar 

  • Marek, V.W., Truszczynski, M.: Stable models and an alternative logic programming. In: Apt, K.R., Marek, V.W., Truszczynski, M., Warren, D.S. (eds.) The Logic Programming Paradigm: a 25-Year Perspective, pp. 375–398. Springer, Heidelberg (1999). https://doi.org/10.1007/978-3-642-60085-2_17

    Chapter  MATH  Google Scholar 

  • Ramanauskaitė, S., Olifer, D., Goranin, N., Čenys, A.: Security ontology for adaptive mapping of security standards. Int. J. Comput. Commun. Control (IJCCC) 8(6), 813–825 (2013)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Marcello Balduccini .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2018 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Balduccini, M., Vishik, C. (2018). Building Blocks in Standards: Improving Consistency in Standardization with Ontology and Reasoning. In: Cremers, C., Lehmann, A. (eds) Security Standardisation Research. SSR 2018. Lecture Notes in Computer Science(), vol 11322. Springer, Cham. https://doi.org/10.1007/978-3-030-04762-7_5

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-04762-7_5

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-04761-0

  • Online ISBN: 978-3-030-04762-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics