@article{(Open Science Index):https://publications.waset.org/pdf/5774,
	  title     = {Semantic Modeling of Management Information: Enabling Automatic Reasoning on DMTF-CIM},
	  author    = {Fernando Alonso and  Rafael Fernandez and  Sonia Frutos and  Javier Soriano},
	  country	= {},
	  institution	= {},
	  abstract     = {CIM is the standard formalism for modeling management
information developed by the Distributed Management Task
Force (DMTF) in the context of its WBEM proposal, designed to
provide a conceptual view of the managed environment. In this
paper, we propose the inclusion of formal knowledge representation
techniques, based on Description Logics (DLs) and the Web Ontology
Language (OWL), in CIM-based conceptual modeling, and then we
examine the benefits of such a decision. The proposal is specified as a
CIM metamodel level mapping to a highly expressive subset of DLs
capable of capturing all the semantics of the models. The paper shows
how the proposed mapping can be used for automatic reasoning
about the management information models, as a design aid, by means
of new-generation CASE tools, thanks to the use of state-of-the-art
automatic reasoning systems that support the proposed logic and use
algorithms that are sound and complete with respect to the semantics.
Such a CASE tool framework has been developed by the authors and
its architecture is also introduced. The proposed formalization is not
only useful at design time, but also at run time through the use of
rational autonomous agents, in response to a need recently recognized
by the DMTF.},
	    journal   = {International Journal of Computer and Information Engineering},
	  volume    = {1},
	  number    = {11},
	  year      = {2007},
	  pages     = {3610 - 3616},
	  ee        = {https://publications.waset.org/pdf/5774},
	  url   	= {https://publications.waset.org/vol/11},
	  bibsource = {https://publications.waset.org/},
	  issn  	= {eISSN: 1307-6892},
	  publisher = {World Academy of Science, Engineering and Technology},
	  index 	= {Open Science Index 11, 2007},
	}