Skip to main content

2016 | OriginalPaper | Buchkapitel

Test-Driven Development of Ontologies

verfasst von : C. Maria Keet, Agnieszka Ławrynowicz

Erschienen in: The Semantic Web. Latest Advances and New Domains

Verlag: Springer International Publishing

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

Emerging ontology authoring methods to add knowledge to an ontology focus on ameliorating the validation bottleneck. The verification of the newly added axiom is still one of trying and seeing what the reasoner says, because a systematic testbed for ontology authoring is missing. We sought to address this by introducing the approach of test-driven development for ontology authoring. We specify 36 generic tests, as TBox queries and TBox axioms tested through individuals, and structure their inner workings in an ‘open box’-way, which cover the OWL 2 DL language features. This is implemented as a Protégé plugin so that one can perform a TDD test as a black box test. We evaluated the two test approaches on their performance. The TBox queries were faster, and that effect is more pronounced the larger the ontology is.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Literatur
1.
Zurück zum Zitat Auer, S.: The RapidOWL methodology-towards agile knowledge engineering. In: Proceedings of WETICE 2006. pp. 352–357. IEEE Computer Society, June 2006 Auer, S.: The RapidOWL methodology-towards agile knowledge engineering. In: Proceedings of WETICE 2006. pp. 352–357. IEEE Computer Society, June 2006
2.
Zurück zum Zitat Beck, K.: Test-Driven Development: By Example. Addison-Wesley, Boston (2004) Beck, K.: Test-Driven Development: By Example. Addison-Wesley, Boston (2004)
3.
Zurück zum Zitat Blomqvist, E., Seil Sepour, A., Presutti, V.: Ontology testing - methodology and tool. In: ten Teije, A., Völker, J., Handschuh, S., Stuckenschmidt, H., d’Acquin, M., Nikolov, A., Aussenac-Gilles, N., Hernandez, N. (eds.) EKAW 2012. LNCS, vol. 7603, pp. 216–226. Springer, Heidelberg (2012)CrossRef Blomqvist, E., Seil Sepour, A., Presutti, V.: Ontology testing - methodology and tool. In: ten Teije, A., Völker, J., Handschuh, S., Stuckenschmidt, H., d’Acquin, M., Nikolov, A., Aussenac-Gilles, N., Hernandez, N. (eds.) EKAW 2012. LNCS, vol. 7603, pp. 216–226. Springer, Heidelberg (2012)CrossRef
4.
Zurück zum Zitat Cockburn, A.: Selecting a project’s methodology. IEEE Softw. 17(4), 64–71 (2000)CrossRef Cockburn, A.: Selecting a project’s methodology. IEEE Softw. 17(4), 64–71 (2000)CrossRef
5.
Zurück zum Zitat Ferré, S., Rudolph, S.: Advocatus diaboli – exploratory enrichment of ontologies with negative constraints. In: ten Teije, A., Völker, J., Handschuh, S., Stuckenschmidt, H., d’Acquin, M., Nikolov, A., Aussenac-Gilles, N., Hernandez, N. (eds.) EKAW 2012. LNCS, vol. 7603, pp. 42–56. Springer, Heidelberg (2012)CrossRef Ferré, S., Rudolph, S.: Advocatus diaboli – exploratory enrichment of ontologies with negative constraints. In: ten Teije, A., Völker, J., Handschuh, S., Stuckenschmidt, H., d’Acquin, M., Nikolov, A., Aussenac-Gilles, N., Hernandez, N. (eds.) EKAW 2012. LNCS, vol. 7603, pp. 42–56. Springer, Heidelberg (2012)CrossRef
6.
Zurück zum Zitat Gangemi, A., Presutti, V.: Ontology design patterns. In: Staab, S., Studer, R. (eds.) Handbook on Ontologies, pp. 221–243. Springer, Berlin (2009)CrossRef Gangemi, A., Presutti, V.: Ontology design patterns. In: Staab, S., Studer, R. (eds.) Handbook on Ontologies, pp. 221–243. Springer, Berlin (2009)CrossRef
7.
Zurück zum Zitat 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., Rocha, M.P., Bravo, J., Fernández, F., Corchado, E., Bustillo, A., Corchado, J.M. (eds.) IWANN 2009, Part II. LNCS, vol. 5518, pp. 91–98. Springer, Heidelberg (2009)CrossRef 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., Rocha, M.P., Bravo, J., Fernández, F., Corchado, E., Bustillo, A., Corchado, J.M. (eds.) IWANN 2009, Part II. LNCS, vol. 5518, pp. 91–98. Springer, Heidelberg (2009)CrossRef
8.
Zurück zum Zitat Garcia, A., O’Neill, K., Garcia, L.J., Lord, P., Stevens, R., Corcho, O., Gibson, F.: Developing ontologies within decentralized settings. In: Chen, H., et al. (eds.) Semantic e-Science. Annals of Information Systems, vol. 11, pp. 99–139. Springer, New York (2010)CrossRef Garcia, A., O’Neill, K., Garcia, L.J., Lord, P., Stevens, R., Corcho, O., Gibson, F.: Developing ontologies within decentralized settings. In: Chen, H., et al. (eds.) Semantic e-Science. Annals of Information Systems, vol. 11, pp. 99–139. Springer, New York (2010)CrossRef
9.
Zurück zum Zitat Gennari, J.H., et al.: The evolution of Protégé: an environment for knowledge-based systems development. Int. J. Hum Comput Stud. 58(1), 89–123 (2003)MathSciNetCrossRef Gennari, J.H., et al.: The evolution of Protégé: an environment for knowledge-based systems development. Int. J. Hum Comput Stud. 58(1), 89–123 (2003)MathSciNetCrossRef
10.
Zurück zum Zitat Ghidini, C., Kump, B., Lindstaedt, S., Mahbub, N., Pammer, V., Rospocher, M., Serafini, L.: Moki: the enterprise modelling wiki. In: Aroyo, L., et al. (eds.) ESWC 2009. LNCS, vol. 5554, pp. 831–835. Springer, Heidelberg (2009)CrossRef Ghidini, C., Kump, B., Lindstaedt, S., Mahbub, N., Pammer, V., Rospocher, M., Serafini, L.: Moki: the enterprise modelling wiki. In: Aroyo, L., et al. (eds.) ESWC 2009. LNCS, vol. 5554, pp. 831–835. Springer, Heidelberg (2009)CrossRef
11.
Zurück zum Zitat Janzen, D.S.: Software architecture improvement through test-driven development. In: Companion to ACM SIGPLAN 2005, pp. 240–241. ACM Proceedings (2005) Janzen, D.S.: Software architecture improvement through test-driven development. In: Companion to ACM SIGPLAN 2005, pp. 240–241. ACM Proceedings (2005)
13.
Zurück zum Zitat Keet, C.M., Khan, M.T., Ghidini, C.: Ontology authoring with FORZA. In: Proceedings of CIKM 2013, pp. 569–578. ACM Proceedings (2013) Keet, C.M., Khan, M.T., Ghidini, C.: Ontology authoring with FORZA. In: Proceedings of CIKM 2013, pp. 569–578. ACM Proceedings (2013)
14.
Zurück zum Zitat Kim, T., Park, C., Wu, C.: Mock object models for test driven development. In: Proceedings of SERA2006. IEEE Computer Society (2006) Kim, T., Park, C., Wu, C.: Mock object models for test driven development. In: Proceedings of SERA2006. IEEE Computer Society (2006)
15.
Zurück zum Zitat Kollia, I., Glimm, B., Horrocks, I.: SPARQL query answering over owl ontologies. In: Antoniou, G., Grobelnik, M., Simperl, E., Parsia, B., Plexousakis, D., De Leenheer, P., Pan, J. (eds.) ESWC 2011, Part I. LNCS, vol. 6643, pp. 382–396. Springer, Heidelberg (2011)CrossRef Kollia, I., Glimm, B., Horrocks, I.: SPARQL query answering over owl ontologies. In: Antoniou, G., Grobelnik, M., Simperl, E., Parsia, B., Plexousakis, D., De Leenheer, P., Pan, J. (eds.) ESWC 2011, Part I. LNCS, vol. 6643, pp. 382–396. Springer, Heidelberg (2011)CrossRef
16.
Zurück zum Zitat Kontokostas, D., Westphal, P., Auer, S., Hellmann, S., Lehmann, J., Cornelissen, R., Zaveri, A.: Test-driven evaluation of linked data quality. In: Proc. of WWW’2014. pp. 747–758. ACM Proceedings (2014) Kontokostas, D., Westphal, P., Auer, S., Hellmann, S., Lehmann, J., Cornelissen, R., Zaveri, A.: Test-driven evaluation of linked data quality. In: Proc. of WWW’2014. pp. 747–758. ACM Proceedings (2014)
17.
Zurück zum Zitat Kumar, S., Bansal, S.: Comparative study of test driven development with traditional techniques. Int. J. Softw. Comput. Eng. 3(1), 352–360 (2013) Kumar, S., Bansal, S.: Comparative study of test driven development with traditional techniques. Int. J. Softw. Comput. Eng. 3(1), 352–360 (2013)
18.
Zurück zum Zitat Mackinnon, T., Freeman, S., Craig, P.: Endo-testing: unit testing with mock objects. In: Extreme Programming Examined, pp. 287–301. Addison-Wesley, Boston (2001) Mackinnon, T., Freeman, S., Craig, P.: Endo-testing: unit testing with mock objects. In: Extreme Programming Examined, pp. 287–301. Addison-Wesley, Boston (2001)
19.
Zurück zum Zitat Parsia, B., Matentzoglu, N., Goncalves, R., Glimm, B., Steigmiller, A.: The OWL Reasoner Evaluation (ORE) 2015 competition report. In: Proceedings of SSWS 2015. CEUR-WS, Bethlehem, USA, vol. 1457, 11 October 2015 Parsia, B., Matentzoglu, N., Goncalves, R., Glimm, B., Steigmiller, A.: The OWL Reasoner Evaluation (ORE) 2015 competition report. In: Proceedings of SSWS 2015. CEUR-WS, Bethlehem, USA, vol. 1457, 11 October 2015
20.
Zurück zum Zitat Paschke, A., Schaefermeier, R.: Aspect OntoMaven - aspect-oriented ontology development and configuration with OntoMaven. Technical report 1507.00212v1, Free University of Berlin, July 2015. http://arxiv.org/abs/1507.00212 Paschke, A., Schaefermeier, R.: Aspect OntoMaven - aspect-oriented ontology development and configuration with OntoMaven. Technical report 1507.00212v1, Free University of Berlin, July 2015. http://​arxiv.​org/​abs/​1507.​00212
21.
Zurück zum Zitat Presutti, V., Daga, E., et al.: Extreme design with content ontology design patterns. In: Proceedings of WS on OP 2009, CEUR-WS, vol. 516, pp. 83–97 (2009) Presutti, V., Daga, E., et al.: Extreme design with content ontology design patterns. In: Proceedings of WS on OP 2009, CEUR-WS, vol. 516, pp. 83–97 (2009)
22.
Zurück zum Zitat Presutti, V., et al.: A library of ontology design patterns: reusable solutions for collaborative design of networked ontologies. NeOn deliverable D2.5.1, NeOn Project, ISTC-CNR (2008) Presutti, V., et al.: A library of ontology design patterns: reusable solutions for collaborative design of networked ontologies. NeOn deliverable D2.5.1, NeOn Project, ISTC-CNR (2008)
23.
Zurück zum Zitat Ren, Y., Parvizi, A., Mellish, C., Pan, J.Z., van Deemter, K., Stevens, R.: Towards competency question-driven ontology authoring. In: Presutti, V., d’Amato, C., Gandon, F., d’Aquin, M., Staab, S., Tordai, A. (eds.) ESWC 2014. LNCS, vol. 8465, pp. 752–767. Springer, Heidelberg (2014)CrossRef Ren, Y., Parvizi, A., Mellish, C., Pan, J.Z., van Deemter, K., Stevens, R.: Towards competency question-driven ontology authoring. In: Presutti, V., d’Amato, C., Gandon, F., d’Aquin, M., Staab, S., Tordai, A. (eds.) ESWC 2014. LNCS, vol. 8465, pp. 752–767. Springer, Heidelberg (2014)CrossRef
24.
Zurück zum Zitat Shrivastava, D.P., Jain, R.: Metrics for test case design in test driven development. Int. J. Comput. Theory Eng. 2(6), 952–956 (2010)CrossRef Shrivastava, D.P., Jain, R.: Metrics for test case design in test driven development. Int. J. Comput. Theory Eng. 2(6), 952–956 (2010)CrossRef
25.
Zurück zum Zitat Suárez-Figueroa, M.C., et al.: NeOn methodology for building contextualized ontology networks. NeOn Deliverable D5.4.1, NeOn Project (2008) Suárez-Figueroa, M.C., et al.: NeOn methodology for building contextualized ontology networks. NeOn Deliverable D5.4.1, NeOn Project (2008)
26.
Zurück zum Zitat Tort, A., Olivé, A., Sancho, M.R.: An approach to test-driven development of conceptual schemas. Data Knowl. Eng. 70, 1088–1111 (2011)CrossRef Tort, A., Olivé, A., Sancho, M.R.: An approach to test-driven development of conceptual schemas. Data Knowl. Eng. 70, 1088–1111 (2011)CrossRef
27.
Zurück zum Zitat Vrandečić, D., Gangemi, A.: Unit tests for ontologies. In: Meersman, R., Tari, Z., Herrero, P. (eds.) OTM 2006 Workshops. LNCS, vol. 4278, pp. 1012–1020. Springer, Heidelberg (2006) Vrandečić, D., Gangemi, A.: Unit tests for ontologies. In: Meersman, R., Tari, Z., Herrero, P. (eds.) OTM 2006 Workshops. LNCS, vol. 4278, pp. 1012–1020. Springer, Heidelberg (2006)
Metadaten
Titel
Test-Driven Development of Ontologies
verfasst von
C. Maria Keet
Agnieszka Ławrynowicz
Copyright-Jahr
2016
DOI
https://doi.org/10.1007/978-3-319-34129-3_39

Neuer Inhalt