Abstract
Self-governing systems need a reliable set of semantics and a formal theoretic model in order to facilitate automated reasoning. We present an ontology-based knowledge representation that will use data from information models while preserving the semantics and the taxonomy of existing systems. This will facilitate the decomposition and validation of high level goals by autonomous, self-governing components. Our solution reuses principles and standards from the Semantic Web and the OMG to precisely describe the managed entities and the shared objectives that these entities are trying to achieve by autonomously correlating their behavior. We describe how we created UML2, MOF, OCL and QVT ontologies, and we give a case study using the NGOSS Shared Information and Data model. We also set the requirements for integrating existing information models and domain ontologies into a unique knowledge base.
Chapter PDF
Similar content being viewed by others
References
International Telecommunication Union (ITU-T): Specification and Description Language (SDL), Recommendation Z.100 (August 2002)
Strassner, J., Fleck, J., Huang, J., Faurer, C., Richardson, T.: TMF White Paper on NGOSS and MDA, TMForum (April 2004)
Object Management Group (OMG): Ontology Definition Metamodel, Fourth Revised Submission (November 2005)
Ushold, M., Menzel, C.: Achieving Semantic Interoperability & Integration Using RDF and OWL, W3C Draft (January 2006)
Baader, F., Calvanese, D., McGuiness, D.L., Nardi, D., Patel-Schneider, P.F.: The Description Logic Handbook: Theory, Implementation, Applications. Cambridge University Press, Cambridge (2003)
Strassner, J., Agoulmine, N., Lehtihet, E.: FOCALE A Novel Autonomic Networking Architecture. In: Latin American Autonomic Computing Symposium (LAACS), Campo Grande, MS, Brazil, July 18-19 (2006)
Stojanovic, L., Schneider, J., Maedche, A., Libischer, S., Studer, R., Lumpp, Th., Abecker, A., Breiter, G., Dinger, J.: The role of ontologies in autonomic computing. IBM Systems Journal 43(3) (2004)
Mellor, S.J., Balcer, M.J.: Executable UML: A Foundation for Model Driven Architecture. Addison-Wesley Longman Publishing Co., Inc., Amsterdam (2002)
Guerrero, A., Villagrá, V.A., López de Vergara, J.E., Berrocal, J.: Ontology-Based Integration of Management Behaviour and Information Definitions Using SWRL and OWL. In: Schönwälder, J., Serrat, J. (eds.) DSOM 2005. LNCS, vol. 3775, pp. 12–23. Springer, Heidelberg (2005)
López de Vergara, J.E., Villagrá, V.A., Berrocal, J.: On the formalization of the Common Information Model metaschema. In: Schönwälder, J., Serrat, J. (eds.) DSOM 2005. LNCS, vol. 3775, pp. 24–26. Springer, Heidelberg (2005)
DMTF Newsletter (May 2006), can be found at: http://www.dmtf.org/newsroom/newsletter/2006/05/page4
Knublauch, H.: An Agile Development Methodology for Knowledge-Based Systems Including a Java Framework for Knowledge Modeling and Appropriate Tool Support, Dissertationsschrift (PhD thesis), University of Ulm (2002)
Object Management Group - Specifications and Process (May 2006), can be found at: http://www.omg.org/gettingstarted/specsandprods.htm#SpecProd
Cranefield, S.: Networked Knowledge Representation and Exchange using UML and RDF. Journal of Digital Information 1(8), Article No. 44 (2001)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 IFIP International Federation for Information Processing
About this paper
Cite this paper
Lehtihet, E., Strassner, J., Agoulmine, N., Foghlú, M.Ó. (2006). Ontology-Based Knowledge Representation for Self-governing Systems. In: State, R., van der Meer, S., O’Sullivan, D., Pfeifer, T. (eds) Large Scale Management of Distributed Systems. DSOM 2006. Lecture Notes in Computer Science, vol 4269. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11907466_7
Download citation
DOI: https://doi.org/10.1007/11907466_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-47659-7
Online ISBN: 978-3-540-47662-7
eBook Packages: Computer ScienceComputer Science (R0)