Skip to main content
Erschienen in:
Buchtitelbild

2018 | OriginalPaper | Buchkapitel

Aspect-Oriented Ontology Development

verfasst von : Ralph Schäfermeier, Adrian Paschke

Erschienen in: Synergies Between Knowledge Engineering and Software Engineering

Verlag: Springer International Publishing

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

search-config
loading …

Abstract

Aspect-Oriented Ontology Development takes inspiration from Aspect-Oriented Programming and provides a novel approach to the problems of ontology modularization and metamodeling by adding support for reified axioms. The book chapter describes the syntax and semantics of Aspect-Oriented Ontology Development, explains its benefits and possible weaknesses as compared to other existing modularization approaches and presents a set of application scenarios as well as a set of supporting tools.

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!

Fußnoten
1
As defined by the IEEE standard 1471 of software architecture [2], “concerns are those interests which pertain to the systems development, its operation or any other aspects that are critical or otherwise important to one or more stakeholders”.
 
9
The bottom concept may be constructed by negation of the top concept, so we omit the dedicated bottom concept constructor in order to avoid redundancy. Likewise, we do not introduce the equvialent concept axiom, because it may be defined inductively from general concept inclusions and conjunction.
 
14
At the time of the writing of this report, the target language of the OWL API was OWL 2.
 
Literatur
1.
Zurück zum Zitat Schäfermeier, R., Paschke, A.: Aspect-oriented ontologies: dynamic modularization using ontological metamodeling. In: Proceedings of the 8th International Conference on Formal Ontology in Information Systems (FOIS 2014), pp. 199 – 212. IOS Press (2014) Schäfermeier, R., Paschke, A.: Aspect-oriented ontologies: dynamic modularization using ontological metamodeling. In: Proceedings of the 8th International Conference on Formal Ontology in Information Systems (FOIS 2014), pp. 199 – 212. IOS Press (2014)
2.
Zurück zum Zitat Group, I.A.W.: IEEE standard 1471–2000. Recommended Practice for Architectural Description of Software-Intensive Systems, IEEE (2000) Group, I.A.W.: IEEE standard 1471–2000. Recommended Practice for Architectural Description of Software-Intensive Systems, IEEE (2000)
3.
Zurück zum Zitat Parent, C., Spaccapietra, S.: An Overview of Modularity. In: Stuckenschmidt, H., Parent, C., Spaccapietra, S.(eds.) Modular Ontologies. Lecture Notes in Computer Science, vol. 5445, pp. 5–23. Springer Berlin Heidelberg (2009) Parent, C., Spaccapietra, S.: An Overview of Modularity. In: Stuckenschmidt, H., Parent, C., Spaccapietra, S.(eds.) Modular Ontologies. Lecture Notes in Computer Science, vol. 5445, pp. 5–23. Springer Berlin Heidelberg (2009)
4.
Zurück zum Zitat Filman, R., Friedman, D.: Aspect-Oriented Programming Is Quantification and Obliviousness. Workshop on Advanced Separation of Concerns, OOPSLA (2000) Filman, R., Friedman, D.: Aspect-Oriented Programming Is Quantification and Obliviousness. Workshop on Advanced Separation of Concerns, OOPSLA (2000)
5.
Zurück zum Zitat Steimann, F.: Domain Models Are Aspect Free. In: Briand, L., Williams, C. (eds.) Model Driven Engineering Languages and Systems. Lecture Notes in Computer Science, vol. 3713, pp. 171–185. Springer, Berlin (2005) Steimann, F.: Domain Models Are Aspect Free. In: Briand, L., Williams, C. (eds.) Model Driven Engineering Languages and Systems. Lecture Notes in Computer Science, vol. 3713, pp. 171–185. Springer, Berlin (2005)
6.
Zurück zum Zitat Horrocks, I., Sattler, U.: Ontology reasoning in the shoq(d) description logic. In: Proceedings of the 17th International Joint Conference on Artificial Intelligence IJCAI 2001, 199–204. Morgan Kaufmann 2001 Horrocks, I., Sattler, U.: Ontology reasoning in the shoq(d) description logic. In: Proceedings of the 17th International Joint Conference on Artificial Intelligence IJCAI 2001, 199–204. Morgan Kaufmann 2001
7.
Zurück zum Zitat Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, New York, NY, USA (2003)MATH Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, New York, NY, USA (2003)MATH
8.
Zurück zum Zitat Schild, K.: A correspondence theory for terminological logics: preliminary report. In: Mylopoulos J., Reiter R. (eds.) Proceedings of the 12th International Joint Conference on Artificial Intelligence. Sydney, Australia, August 24-30, 1991, pp. 466–471. Morgan Kaufmann (1991) Schild, K.: A correspondence theory for terminological logics: preliminary report. In: Mylopoulos J., Reiter R. (eds.) Proceedings of the 12th International Joint Conference on Artificial Intelligence. Sydney, Australia, August 24-30, 1991, pp. 466–471. Morgan Kaufmann (1991)
9.
Zurück zum Zitat Böhme, S., Lippmann, M.: Decidable Description Logics of Context with Rigid Roles. In: Lutz, C., Ranise, S.(eds.) Frontiers of Combining Systems. Lecture Notes in Computer Science, vol. 9322 pp. 17–32. Springer International Publishing, Berlin (2015). doi:10.1007/978-3-319-24246-0_2 Böhme, S., Lippmann, M.: Decidable Description Logics of Context with Rigid Roles. In: Lutz, C., Ranise, S.(eds.) Frontiers of Combining Systems. Lecture Notes in Computer Science, vol. 9322 pp. 17–32. Springer International Publishing, Berlin (2015). doi:10.​1007/​978-3-319-24246-0_​2
10.
Zurück zum Zitat Schäfermeier, R., Krus, L., Paschke, A.: An Aspect-Oriented Extension to the OWL API - Specifying and Composing Views of OWL Ontologies using Ontology Aspects and Java Annotations. In: Proceedings of the 7th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management, pp. 187–194 (2015). doi:10.5220/0005591601870194 Schäfermeier, R., Krus, L., Paschke, A.: An Aspect-Oriented Extension to the OWL API - Specifying and Composing Views of OWL Ontologies using Ontology Aspects and Java Annotations. In: Proceedings of the 7th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management, pp. 187–194 (2015). doi:10.​5220/​0005591601870194​
11.
Zurück zum Zitat Del Vescovo, C., Klinov, P., Parsia, B., Sattler, U., Schneider, T., Tsarkov, D.: Syntactic vs. Semantic Locality: How Good Is a Cheap Approximation? In: Workshop on Modular Ontologies (WoMO) 2012, pp. 40–50 (2012) Del Vescovo, C., Klinov, P., Parsia, B., Sattler, U., Schneider, T., Tsarkov, D.: Syntactic vs. Semantic Locality: How Good Is a Cheap Approximation? In: Workshop on Modular Ontologies (WoMO) 2012, pp. 40–50 (2012)
12.
Zurück zum Zitat Paschke, A., Schäfermeier, R.: Aspect OntoMaven — Aspect-Oriented Ontology Development and Configuration With OntoMaven. In: Abramowicz, W. (ed.) 3rd Workshop on Formal Semantics for the Future Enterprise (FSFE 2015), Business Information Systems Workshops, vol. 228. Springer (2015). arXiv:1507.00212 Paschke, A., Schäfermeier, R.: Aspect OntoMaven — Aspect-Oriented Ontology Development and Configuration With OntoMaven. In: Abramowicz, W. (ed.) 3rd Workshop on Formal Semantics for the Future Enterprise (FSFE 2015), Business Information Systems Workshops, vol. 228. Springer (2015). arXiv:​1507.​00212
13.
Zurück zum Zitat Horridge, M., Parsia, B., Sattler, U.: Laconic and Precise Justifications in OWL. In: Sheth, A., Staab, S., Dean, M., Paolucci, M., Maynard, D., Finin, T., Thirunarayan, K.(eds.) The Semantic Web - ISWC 2008. Lecture Notes in Computer Science, vol. 5318, pp. 323–338. Springer, Berlin (2008) Horridge, M., Parsia, B., Sattler, U.: Laconic and Precise Justifications in OWL. In: Sheth, A., Staab, S., Dean, M., Paolucci, M., Maynard, D., Finin, T., Thirunarayan, K.(eds.) The Semantic Web - ISWC 2008. Lecture Notes in Computer Science, vol. 5318, pp. 323–338. Springer, Berlin (2008)
14.
Zurück zum Zitat Oh, S., Yeom, H.Y., Ahn, J.: Cohesion and coupling metrics for ontology modules. Inf. Technol. Manag. 12(2), 81–96 (2011)CrossRef Oh, S., Yeom, H.Y., Ahn, J.: Cohesion and coupling metrics for ontology modules. Inf. Technol. Manag. 12(2), 81–96 (2011)CrossRef
15.
Zurück zum Zitat Ensan, F., Du, W.: A semantic metrics suite for evaluating modular ontologies. Inf. Syst. 38(5), 745–770 (2013)CrossRef Ensan, F., Du, W.: A semantic metrics suite for evaluating modular ontologies. Inf. Syst. 38(5), 745–770 (2013)CrossRef
Metadaten
Titel
Aspect-Oriented Ontology Development
verfasst von
Ralph Schäfermeier
Adrian Paschke
Copyright-Jahr
2018
DOI
https://doi.org/10.1007/978-3-319-64161-4_1

Premium Partner