Skip to main content
SpringerLink
Log in

How to Validate Ontologies with Themis

  • Conference paper
  • First Online:
The Semantic Web: ESWC 2019 Satellite Events (ESWC 2019)

Part of the book series: Lecture Notes in Computer Science ((LNISA,volume 11762))

Included in the following conference series:

Abstract

Validating ontologies regarding the requirements they need to satisfy is a crucial activity during ontology development in order to assure, both to domain experts and ontology developers, that the ontologies are complete regarding their needs. The aim of this work is to present Themis, a web-based tool for validating ontologies by means of test expressions, which represent the desired behaviour expected in an ontology if a requirement is satisfied. The purpose of these test expressions is to ease the formalization of the requirements into test cases and, therefore, the validation process.

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

    http://themis.linkeddata.es/.

  2. 2.

    http://themis.linkeddata.es/tests-info.html.

  3. 3.

    https://w3id.org/def/vtc#.

  4. 4.

    https://www.oracle.com/technetwork/java/javaee/overview/index.html.

  5. 5.

    https://www.w3.org/html/wg.

  6. 6.

    https://www.w3.org/Style/CSS.

  7. 7.

    http://jquery.com.

  8. 8.

    http://owlapi.sourceforge.net.

  9. 9.

    http://vicinity.iot.linkeddata.es.

  10. 10.

    http://delta.iot.linkeddata.es.

  11. 11.

    http://ontoology.linkeddata.es.

References

  1. Aguado de Cea, G., Gómez-Pérez, A., Montiel-Ponsoda, E., Suárez-Figueroa, M.C.: Natural language-based approach for helping in the reuse of ontology design patterns. In: Gangemi, A., Euzenat, J. (eds.) EKAW 2008. LNCS (LNAI), vol. 5268, pp. 32–47. Springer, Heidelberg (2008). https://doi.org/10.1007/978-3-540-87696-0_6

    Chapter  Google Scholar 

  2. Fernández-Izquierdo, A., García-Castro, R.: Requirements behaviour analysis for ontology testing. In: Faron Zucker, C., Ghidini, C., Napoli, A., Toussaint, Y. (eds.) EKAW 2018. LNCS (LNAI), vol. 11313, pp. 114–130. Springer, Cham (2018). https://doi.org/10.1007/978-3-030-03667-6_8

    Chapter  Google Scholar 

  3. Fernández-Izquierdo, A., Poveda-Villalón, M., García-Castro, R.: CORAL: a corpus of ontological requirements annotated with lexico-syntactic patterns. In: European Semantic Web Conference (2019)

    Google Scholar 

  4. García-Ramos, S., Otero, A., Fernández-López, M.: OntologyTest: a tool to evaluate ontologies through tests defined by the user. In: Omatu, S., et al. (eds.) IWANN 2009. LNCS, vol. 5518, pp. 91–98. Springer, Heidelberg (2009). https://doi.org/10.1007/978-3-642-02481-8_13

    Chapter  Google Scholar 

  5. Lawrynowicz, A., Keet, C.M.: The TDDonto tool for test-driven development of DL knowledge bases. In: Description Logics (2016)

    Google Scholar 

  6. Suárez-Figueroa, M.C., Gómez-Pérez, A.: First attempt towards a standard glossary of ontology engineering terminology. In: International Conference on Terminology and Knowledge Engineering (2008)

    Google Scholar 

  7. Suárez-Figueroa, M.C., Gómez-Pérez, A., Villazón-Terrazas, B.: How to write and use the ontology requirements specification document. In: Meersman, R., Dillon, T., Herrero, P. (eds.) OTM 2009. LNCS, vol. 5871, pp. 966–982. Springer, Heidelberg (2009). https://doi.org/10.1007/978-3-642-05151-7_16

    Chapter  Google Scholar 

Download references

Acknowledgments

This work is partially supported by the H2020 project VICINITY: Open virtual neighbourhood network to connect intelligent buildings and smart objects (H2020-688467) and by a Predoctoral grant from the I+D+i program of the Universidad Politécnica de Madrid.

Author information

Authors and Affiliations

  1. Ontology Engineering Group, Universidad Politécnica de Madrid, Madrid, Spain

    Alba Fernández-Izquierdo & Raúl García-Castro

Authors
  1. Alba Fernández-Izquierdo
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Raúl García-Castro
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Alba Fernández-Izquierdo .

Editor information

Editors and Affiliations

  1. Kansas State University, Manhattan, KS, USA

    Pascal Hitzler

  2. Vienna University of Economics and Business, Vienna, Austria

    Sabrina Kirrane

  3. Linköping University, Linköping, Sweden

    Olaf Hartig

  4. Vrije Universiteit Amsterdam, Amsterdam, The Netherlands

    Victor de Boer

  5. Leibniz Information Centre for Science and Technology University Library (TIB), Hannover, Germany

    Maria-Esther Vidal

  6. University of Bonn, Bonn, Germany

    Maria Maleshkova

  7. Vrije Universiteit Amsterdam, Amsterdam, The Netherlands

    Stefan Schlobach

  8. Jönköping University, Jönköping, Sweden

    Karl Hammar

  9. F. Hoffmann-La Roche AG, Basel, Switzerland

    Nelia Lasierra

  10. Robert Bosch GmbH, Stuttgart, Germany

    Steffen Stadtmüller

  11. Aalborg University, Aalborg, Denmark

    Katja Hose

  12. IMEC, Ghent University, Ghent, Belgium

    Ruben Verborgh

Rights and permissions

Reprints and permissions

Copyright information

© 2019 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Fernández-Izquierdo, A., García-Castro, R. (2019). How to Validate Ontologies with Themis. In: Hitzler, P., et al. The Semantic Web: ESWC 2019 Satellite Events. ESWC 2019. Lecture Notes in Computer Science(), vol 11762. Springer, Cham. https://doi.org/10.1007/978-3-030-32327-1_11

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-32327-1_11

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-32326-4

  • Online ISBN: 978-3-030-32327-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation