Skip to main content
Top

2017 | OriginalPaper | Chapter

Minimal Coverage for Ontology Signatures

Authors : David Geleta, Terry R. Payne, Valentina Tamma

Published in: OWL: Experiences and Directions – Reasoner Evaluation

Publisher: Springer International Publishing

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

An ontology signature (set of entities) can express more than its constituent concept, role and individual names, since rewriting permits defined entities to be replaced by syntactically different, albeit semantically equivalent definitions. Identifying whether a given signature permits the definition of a particular entity is a well-understood problem, while determining the smallest (minimal) signature that covers a set of entities (i.e. a task signature) poses a challenge: the complete set of alternative definitions, or even just their signature, needs to be obtained, and all combinations of such definition signatures need to be explored, for each of the entities under consideration. In this paper, we present and empirically evaluate our novel approach for efficiently computing an approximation of minimal signature cover sets.

Dont have a licence yet? Then find out more about our products and how to get one now:

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!

Literature
1.
go back to reference Baader, F.: The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, Cambridge (2003)MATH Baader, F.: The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, Cambridge (2003)MATH
4.
go back to reference Geleta, D., Payne, T.R., Tamma, V.: An investigation of definability in ontology alignment. In: Blomqvist, E., Ciancarini, P., Poggi, F., Vitali, F. (eds.) EKAW 2016. LNCS (LNAI), vol. 10024, pp. 255–271. Springer, Cham (2016). doi:10.1007/978-3-319-49004-5_17CrossRef Geleta, D., Payne, T.R., Tamma, V.: An investigation of definability in ontology alignment. In: Blomqvist, E., Ciancarini, P., Poggi, F., Vitali, F. (eds.) EKAW 2016. LNCS (LNAI), vol. 10024, pp. 255–271. Springer, Cham (2016). doi:10.​1007/​978-3-319-49004-5_​17CrossRef
5.
go back to reference Geleta, D., Payne, T.R., Tamma, V.: Computing minimal signature coverage for description logic ontologies. Technical report, ULCS-16-004, University of Liverpool (2016) Geleta, D., Payne, T.R., Tamma, V.: Computing minimal signature coverage for description logic ontologies. Technical report, ULCS-16-004, University of Liverpool (2016)
6.
go back to reference Hoogland, E., et al.: Definability and interpolation: model-theoretic investigations. Institute for Logic, Language and Computation (2001) Hoogland, E., et al.: Definability and interpolation: model-theoretic investigations. Institute for Logic, Language and Computation (2001)
7.
go back to reference Horridge, M., Bechhofer, S.: The OWL API: a Java API for OWL ontologies. Semant. Web 2(1), 11–21 (2011)CrossRef Horridge, M., Bechhofer, S.: The OWL API: a Java API for OWL ontologies. Semant. Web 2(1), 11–21 (2011)CrossRef
8.
go back to reference Jiménez-Ruiz, E., Payne, T.R., Solimando, A., Tamma, V.: Avoiding alignment-based conservativity violations through dialogue. In: Proceedings of the OWLED, vol. 15 (2015) Jiménez-Ruiz, E., Payne, T.R., Solimando, A., Tamma, V.: Avoiding alignment-based conservativity violations through dialogue. In: Proceedings of the OWLED, vol. 15 (2015)
9.
go back to reference Payne, T.R., Tamma, V.: Using preferences in negotiations over ontological correspondences. In: Chen, Q., Torroni, P., Villata, S., Hsu, J., Omicini, A. (eds.) PRIMA 2015. LNCS (LNAI), vol. 9387, pp. 319–334. Springer, Cham (2015). doi:10.1007/978-3-319-25524-8_20CrossRef Payne, T.R., Tamma, V.: Using preferences in negotiations over ontological correspondences. In: Chen, Q., Torroni, P., Villata, S., Hsu, J., Omicini, A. (eds.) PRIMA 2015. LNCS (LNAI), vol. 9387, pp. 319–334. Springer, Cham (2015). doi:10.​1007/​978-3-319-25524-8_​20CrossRef
10.
go back to reference Santos, G., Tamma, V., Payne, T.R., Grasso, F.: Dialogue based meaning negotiation. In: The 15th Workshop on Computational Models of Natural Argument (CMNA 2015) (2015) Santos, G., Tamma, V., Payne, T.R., Grasso, F.: Dialogue based meaning negotiation. In: The 15th Workshop on Computational Models of Natural Argument (CMNA 2015) (2015)
11.
go back to reference Ten Cate, B., Franconi, E., Seylan, I.: Beth definability in expressive description logics. J. Artif. Intell. Res. (JAIR) 48, 347–414 (2013)MathSciNetCrossRefMATH Ten Cate, B., Franconi, E., Seylan, I.: Beth definability in expressive description logics. J. Artif. Intell. Res. (JAIR) 48, 347–414 (2013)MathSciNetCrossRefMATH
12.
go back to reference Van Harmelen, F., Ten Teije, A., Wache, H.: Knowledge engineering rediscovered: towards reasoning patterns for the semantic web. In: Fensel, D. (ed.) Foundations for the Web of Information and Services, pp. 57–75. Springer, Heidelberg (2011)CrossRef Van Harmelen, F., Ten Teije, A., Wache, H.: Knowledge engineering rediscovered: towards reasoning patterns for the semantic web. In: Fensel, D. (ed.) Foundations for the Web of Information and Services, pp. 57–75. Springer, Heidelberg (2011)CrossRef
13.
go back to reference Vardi, M.Y.: Fundamentals of dependency theory. IBM Thomas J. Watson Research Division (1985) Vardi, M.Y.: Fundamentals of dependency theory. IBM Thomas J. Watson Research Division (1985)
14.
go back to reference Vazirani, V.V.: Approximation Algorithms. Springer, Heidelberg (2013) Vazirani, V.V.: Approximation Algorithms. Springer, Heidelberg (2013)
Metadata
Title
Minimal Coverage for Ontology Signatures
Authors
David Geleta
Terry R. Payne
Valentina Tamma
Copyright Year
2017
Publisher
Springer International Publishing
DOI
https://doi.org/10.1007/978-3-319-54627-8_10

Premium Partner