Skip to main content

2017 | OriginalPaper | Buchkapitel

Minimal Coverage for Ontology Signatures

verfasst von : David Geleta, Terry R. Payne, Valentina Tamma

Erschienen in: OWL: Experiences and Directions – Reasoner Evaluation

Verlag: Springer International Publishing

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

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.

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 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
3.
4.
Zurück zum Zitat 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.
Zurück zum Zitat 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.
Zurück zum Zitat 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.
Zurück zum Zitat 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.
Zurück zum Zitat 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.
Zurück zum Zitat 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.
Zurück zum Zitat 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.
Zurück zum Zitat 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.
Zurück zum Zitat 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.
Zurück zum Zitat 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.
Zurück zum Zitat Vazirani, V.V.: Approximation Algorithms. Springer, Heidelberg (2013) Vazirani, V.V.: Approximation Algorithms. Springer, Heidelberg (2013)
Metadaten
Titel
Minimal Coverage for Ontology Signatures
verfasst von
David Geleta
Terry R. Payne
Valentina Tamma
Copyright-Jahr
2017
Verlag
Springer International Publishing
DOI
https://doi.org/10.1007/978-3-319-54627-8_10