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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 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”.
- 2.
- 3.
- 4.
- 5.
- 6.
- 7.
- 8.
- 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.
- 10.
- 11.
- 12.
- 13.
- 14.
At the time of the writing of this report, the target language of the OWL API was OWL 2.
- 15.
- 16.
- 17.
- 18.
- 19.
- 20.
source code available at https://github.com/RalphBln/onto-module-metrics.
References
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)
Group, I.A.W.: IEEE standard 1471–2000. Recommended Practice for Architectural Description of Software-Intensive Systems, IEEE (2000)
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)
Filman, R., Friedman, D.: Aspect-Oriented Programming Is Quantification and Obliviousness. Workshop on Advanced Separation of Concerns, OOPSLA (2000)
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)
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
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)
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)
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
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
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)
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
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)
Oh, S., Yeom, H.Y., Ahn, J.: Cohesion and coupling metrics for ontology modules. Inf. Technol. Manag. 12(2), 81–96 (2011)
Ensan, F., Du, W.: A semantic metrics suite for evaluating modular ontologies. Inf. Syst. 38(5), 745–770 (2013)
Acknowledgements
This work has been partially supported by the InnoProfile Transfer project “Corporate Smart Content” funded by the German Federal Ministry of Education and Research (BMBF).
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer International Publishing AG
About this chapter
Cite this chapter
Schäfermeier, R., Paschke, A. (2018). Aspect-Oriented Ontology Development. In: Nalepa, G., Baumeister, J. (eds) Synergies Between Knowledge Engineering and Software Engineering. Advances in Intelligent Systems and Computing, vol 626. Springer, Cham. https://doi.org/10.1007/978-3-319-64161-4_1
Download citation
DOI: https://doi.org/10.1007/978-3-319-64161-4_1
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-64160-7
Online ISBN: 978-3-319-64161-4
eBook Packages: EngineeringEngineering (R0)