633 research outputs found

    IT Management Using a Heavyweight CIM Ontology

    Get PDF
    This paper presents an approach for ontology-based IT management based on a heavyweight (formal) ontology using the Web Ontology Language (OWL). The ontology comprises a complete OWL representation of the Common Information Model (CIM) and management rules defined in the Semantic Web Rule Language (SWRL). The ontology not only models the managed system types, but a runtime system dynamically updates model instances in the ontology that reflect values of managed system entities. This allows the evalution of rules that take into account both model and model instances. A reaction module uses the CIM interface of the managed system to invoke CIM methods according to rule evaluation results, thus resulting in automated management. In order to ensure the consistency of the ontology when changes are performed, belief change theory is employed

    Semantic-based policy engineering for autonomic systems

    No full text
    This paper presents some important directions in the use of ontology-based semantics in achieving the vision of Autonomic Communications. We examine the requirements of Autonomic Communication with a focus on the demanding needs of ubiquitous computing environments, with an emphasis on the requirements shared with Autonomic Computing. We observe that ontologies provide a strong mechanism for addressing the heterogeneity in user task requirements, managed resources, services and context. We then present two complimentary approaches that exploit ontology-based knowledge in support of autonomic communications: service-oriented models for policy engineering and dynamic semantic queries using content-based networks. The paper concludes with a discussion of the major research challenges such approaches raise

    A process model in platform independent and neutral formal representation for design engineering automation

    Get PDF
    An engineering design process as part of product development (PD) needs to satisfy ever-changing customer demands by striking a balance between time, cost and quality. In order to achieve a faster lead-time, improved quality and reduced PD costs for increased profits, automation methods have been developed with the help of virtual engineering. There are various methods of achieving Design Engineering Automation (DEA) with Computer-Aided (CAx) tools such as CAD/CAE/CAM, Product Lifecycle Management (PLM) and Knowledge Based Engineering (KBE). For example, Computer Aided Design (CAD) tools enable Geometry Automation (GA), PLM systems allow for sharing and exchange of product knowledge throughout the PD lifecycle. Traditional automation methods are specific to individual products and are hard-coded and bound by the proprietary tool format. Also, existing CAx tools and PLM systems offer bespoke islands of automation as compared to KBE. KBE as a design method incorporates complete design intent by including re-usable geometric, non-geometric product knowledge as well as engineering process knowledge for DEA including various processes such as mechanical design, analysis and manufacturing. It has been recognised, through an extensive literature review, that a research gap exists in the form of a generic and structured method of knowledge modelling, both informal and formal modelling, of mechanical design process with manufacturing knowledge (DFM/DFA) as part of model based systems engineering (MBSE) for DEA with a KBE approach. There is a lack of a structured technique for knowledge modelling, which can provide a standardised method to use platform independent and neutral formal standards for DEA with generative modelling for mechanical product design process and DFM with preserved semantics. The neutral formal representation through computer or machine understandable format provides open standard usage. This thesis provides a contribution to knowledge by addressing this gap in two-steps: ‱ In the first step, a coherent process model, GPM-DEA is developed as part of MBSE which can be used for modelling of mechanical design with manufacturing knowledge utilising hybrid approach, based on strengths of existing modelling standards such as IDEF0, UML, SysML and addition of constructs as per author’s Metamodel. The structured process model is highly granular with complex interdependencies such as activities, object, function, rule association and includes the effect of the process model on the product at both component and geometric attributes. ‱ In the second step, a method is provided to map the schema of the process model to equivalent platform independent and neutral formal standards using OWL/SWRL ontology for system development using ProtĂ©gĂ© tool, enabling machine interpretability with semantic clarity for DEA with generative modelling by building queries and reasoning on set of generic SWRL functions developed by the author. Model development has been performed with the aid of literature analysis and pilot use-cases. Experimental verification with test use-cases has confirmed the reasoning and querying capability on formal axioms in generating accurate results. Some of the other key strengths are that knowledgebase is generic, scalable and extensible, hence provides re-usability and wider design space exploration. The generative modelling capability allows the model to generate activities and objects based on functional requirements of the mechanical design process with DFM/DFA and rules based on logic. With the help of application programming interface, a platform specific DEA system such as a KBE tool or a CAD tool enabling GA and a web page incorporating engineering knowledge for decision support can consume relevant part of the knowledgebase

    Towards a Semantic-Aware Collaborative Working Environment

    Get PDF
    Collaborative Working Environments (CWEs) enable an efficient collaboration between professionals, specially those settled in different locations of a company or stakeholders from different companies. This can be of great help for small and medium enterprises (SMEs), as an effective way to share information. However, it can be difficult for SMEs to have access to a fully integrated CWE providing different tools (e.g., videoconferencing, instant messaging, etc.). Currently, they may define a CWE as a combination of heterogeneous and non-integrated tools which are not able to share information between them. An integrated CWE would provide SMEs with the necessary means to collaborate, making information exchange easier.&nbsp

    Towards Knowledge Driven Decision Support for Personalized Home-based Self-management of Chronic Diseases

    Get PDF
    The use of ICT technologies to facilitate self-management for patients with chronic diseases attracts increasing attention in smart healthcare. Existing research has mainly focused on sensing and data processing technologies with little work on decision support mechanisms and systems. In this paper, we propose a home-based decision support system based on a wide range of assessment metrics from medical assessment, social and psychological evaluation to behaviour analysis to help self-manage rehabilitation and wellbeing in a personalized manner for different patients. This paper develops semantic models for describing patients, their conditions, medical and behavioural assessments and inference mechanisms for decision recommendations. The research is undertaken in the context of mobile user self-management for Spondyloarthritis (SpA) patients. A case scenario is used to demonstrate the application of the proposed approach, technologies and principles

    Combining ontologies and rules with clinical archetypes

    Get PDF
    Al igual que otros campos que dependen en gran medida de las funcionalidades ofrecidas por las tecnologĂ­as de la informaciĂłn y las comunicaciones (IT), la biomedicina y la salud necesitan cada vez mĂĄs la implantaciĂłn de normas y mecanismos ampliamente aceptados para el intercambio de datos, informaciĂłn y conocimiento. Dicha necesidad de compatibilidad e interoperabilidad va mĂĄs allĂĄ de las cuestiones sintĂĄcticas y estructurales, pues la interoperabilidad semĂĄntica es tambiĂ©n requerida. La interoperabilidad a nivel semĂĄntico es esencial para el soporte computarizado de alertas, flujos de trabajo y de la medicina basada en evidencia cuando contamos con la presencia de sistemas heterogĂ©neos de Historia ClĂ­nica ElectrĂłnica (EHR). El modelo de arquetipos clĂ­nicos respaldado por el estĂĄndar CEN/ISO EN13606 y la fundaciĂłn openEHR ofrece un mecanismo para expresar las estructuras de datos clĂ­nicos de manera compartida e interoperable. El modelo ha ido ganando aceptaciĂłn en los Ășltimos años por su capacidad para definir conceptos clĂ­nicos basados en un Modelo de Referencia comĂșn. Dicha separaciĂłn a dos capas permite conservar la heterogeneidad de las implementaciones de almacenamiento a bajo nivel, presentes en los diferentes sistemas de EHR. Sin embargo, los lenguajes de arquetipos no soportan la representaciĂłn de reglas clĂ­nicas ni el mapeo a ontologĂ­as formales, ambos elementos fundamentales para alcanzar la interoperabilidad semĂĄntica completa pues permiten llevar a cabo el razonamiento y la inferencia a partir del conocimiento clĂ­nico existente. Paralelamente, es reconocido el hecho de que la World Wide Web presenta requisitos anĂĄlogos a los descritos anteriormente, lo cual ha fomentado el desarrollo de la Web SemĂĄntica. El progreso alcanzado en este terreno, con respecto a la representaciĂłn del conocimiento y al razonamiento sobre el mismo, es combinado en esta tesis con los modelos de EHR con el objetivo de mejorar el enfoque de los arquetipos clĂ­nicos y ofrecer funcionalidades que se corresponden con nivel mĂĄs alto de interoperabilidad semĂĄntica. Concretamente, la investigaciĂłn que se describe a continuaciĂłn presenta y evalĂșa un enfoque para traducir automĂĄticamente las definiciones expresadas en el lenguaje de definiciĂłn de arquetipos de openEHR (ADL) a una representaciĂłn formal basada en lenguajes de ontologĂ­as. El mĂ©todo se implementa en la plataforma ArchOnt, que tambiĂ©n es descrita. A continuaciĂłn se estudia la integraciĂłn de dichas representaciones formales con reglas clĂ­nicas, ofreciĂ©ndose un enfoque para reutilizar el razonamiento con instancias concretas de datos clĂ­nicos. Es importante ver como el acto de compartir el conocimiento clĂ­nico expresado a travĂ©s de reglas es coherente con la filosofĂ­a de intercambio abierto fomentada por los arquetipos, a la vez que se extiende la reutilizaciĂłn a proposiciones de conocimiento declarativo como las utilizadas en las guĂ­as de prĂĄctica clĂ­nica. De esta manera, la tesis describe una tĂ©cnica de mapeo de arquetipos a ontologĂ­as, para luego asociar reglas clĂ­nicas a la representaciĂłn resultante. La traducciĂłn automĂĄtica tambiĂ©n permite la conexiĂłn formal de los elementos especificados en los arquetipos con conceptos clĂ­nicos equivalentes provenientes de otras fuentes como son las terminologĂ­as clĂ­nicas. Dichos enlaces fomentan la reutilizaciĂłn del conocimiento clĂ­nico ya representado, asĂ­ como el razonamiento y la navegaciĂłn a travĂ©s de distintas ontologĂ­as clĂ­nicas. Otra contribuciĂłn significativa de la tesis es la aplicaciĂłn del enfoque mencionado en dos proyectos de investigaciĂłn y desarrollo clĂ­nico, llevados a cabo en combinaciĂłn con hospitales universitarios de Madrid. En la explicaciĂłn se incluyen ejemplos de las aplicaciones mĂĄs representativas del enfoque como es el caso del desarrollo de sistemas de alertas orientados a mejorar la seguridad del paciente. No obstante, la traducciĂłn automĂĄtica de arquetipos clĂ­nicos a lenguajes de ontologĂ­as constituye una base comĂșn para la implementaciĂłn de una amplia gama de actividades semĂĄnticas, razonamiento y validaciĂłn, evitĂĄndose asĂ­ la necesidad de aplicar distintos enfoques ad-hoc directamente sobre los arquetipos para poder satisfacer las condiciones de cada contexto

    Towards formalisation of situation-specific computations in pervasive computing environments

    Get PDF
    We have categorised the characteristics and the content of pervasive computing environments (PCEs), and demonstrated why a non-dynamic approach to knowledge conceptualisation in PCEs does not fulfil the expectations we may have from them. Consequently, we have proposed a formalised computational model, the FCM, for knowledge representation and reasoning in PCEs which, secures the delivery of situation and domain specific services to their users. The proposed model is a user centric model, materialised as a software engineering solution, which uses the computations generated from the FCM, stores them within software architectural components, which in turn can be deployed using modern software technologies. The model has also been inspired by the Semantic Web (SW) vision and provision of SW technologies. Therefore, the FCM creates a semantically rich situation-specific PCE based on SWRL-enabled OWL ontologies that allows reasoning about the situation in a PCE and delivers situation specific service. The proposed FCM model has been illustrated through the example of remote patient monitoring in the healthcare domain. Numerous software applications generated from the FCM have been deployed using Integrated Development Environments and OWL-API
    • 

    corecore