Context-Aware Modeling Using Semantic Web and Z Notation

Surveys in user context modeling have shown that the semantic web is one of the promising approach to represent and structure the contextual information captured from user’s surrounding environment in a context-aware application. A benefit of using semantic web language is that it enables application to reason user contextual information in order to get the knowledge of user’s behavior. However, regarding its notation format, semantic web is suitable for implementation level or to be consumed by application run-time. Context-aware application is a part of distributed computing system. In distributed computing system, the language used for specification should be distinguished from the implementation / run-time purpose. This is known as separation of modeling language. Regarding the context-aware application, for those who are concerned with specification of context modeling, the language that is used for specification should also be distinguished from the implementation one. This thesis aims at proposing the use of formal specification technique to develop a generic context ontology model of user’s behavior at the Computer and Information Sciences Department, Universiti Teknologi PETRONAS. Initially, the context ontology was written in OWL semantic web language. The further process is mapping onto a formal specification language, i.e. onto Z notation. As a result, specification of context ontology and its consistency checking have been developed and verified beyond the semantic web language environment. An inconsistency of context model has been detected during the verification of Z model, which cannot be revealed by current OWL DL reasoner. The context-aware designers might benefit from the formal specification of context ontology, where the designers could fully use formal verification technique to check the correctness of context ontology. Thus, the modeling approach in this thesis has shown that it could complement the context ontology development process, where the checking and refinement are performed beyond the semantic web reasone

Context-Aware Modeling Using Semantic Web and Z Notation

Surveys in user context modeling have shown that the semantic web is one of the promising approach to represent and structure the contextual information captured from user's surrounding environment in a context-aware application. A benefit of using semantic web language is that it enables application to reason user contextual information in order to get the knowledge of user's behavior. However, regarding its notation format, semantic web is suitable for implementation level or to be consumed by application run-time. Context-aware application is a part of distributed computing system. In distributed computing system, the language used for specification should be distinguished from the implementation I run-time purpose. This is known as separation of modeling language. Regarding the context-aware application, for those who are concerned with specification of context modeling, the language that is used for specification should also be distinguished from the implementation one. This thesis aims at proposing the use of formal specification technique to develop a generic context ontology model of user's behavior at the Computer and Information Sciences Department, Universiti Teknologi PETRONAS. Initially, the context ontology was written in OWL semantic web language. The further process is mapping onto a formal specification language, i.e. onto Z notation. As a result, specification of context ontology and its consistency checking have been developed and verified beyond the semantic web language environment. An inconsistency of context model has been detected during the verification of Z model, which cannot be revealed by current OWL DL reasoner. The context-aware designers might benefit from the formal specification of context ontology, where the designers could fully use formal verification technique to check the correctness of context ontology. Thus, the modeling approach in this thesis has shown that it could complement the context ontology development process, where the checking and refinement are performed beyond the semantic web reasoner

Adding an ontology to a standardized QoS-based MAS middleware

The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-642-02481-8_12In a Multi-Agent system, middleware is one of the components used to isolate control and communications. The use of standards in the implementation of an intelligent distributed system is always advantageous. This paper presents a middleware that provides support to a multi-agent system. Middleware is based on the standard Data Distribution Services (DDS), proposed by Object Management Group (OGM). Middleware organizes information by tree based ontology and provides a set of quality of service policies that agents can use to increase efficiency. DDS provides a set of quality of service policy. Joining quality of service policy and the ontology allows getting many advantages, among others the possibility of to conceal some details of the communications system to agents, the correct location of the agents in the distributed system, or the monitoring agents in terms of quality of service. For modeling the middleware architecture it has used UML class diagrams. As an example it has presented the implementation of a mobile robot navigation system through agents that model behaviors.The MAS architecture described in this article is a part of the coordinated project SIDIRELI: Distributed Systems with Limited Resources. Control Kernel and Coordination. Education and Science Department, Spanish Government. CICYT: MICINN: DPI2008-06737-C02-01/02.Poza-Lujan, J.; Posadas-Yagüe, J.; Simó Ten, JE. (2009). Adding an ontology to a standardized QoS-based MAS middleware. En Distributed Computing, Artificial Intelligence, Bioinformatics, Soft Computing, and Ambient Assisted Living. Springer. 83-90. doi:10.1007/978-3-642-02481-8_12S8390Coulouris, G., Dollimore, J., Kindberg, T.: Distributed systems, concepts and design, 3rd edn. Addison Wesley, Reading (2001)Hapner, M., Sharma, R., Fialli, J., Stout, K.: JMS specification, vol. 1.1. Sun Microsystems Inc., Santa Clara (2002)Lewis, R.: Advanced Messaging Applications with MSMQ and MQ Series. Que Publishing (1999)OMG. Real-Time Corba Specification version 1.1. Document formal /02-08-02 (2002)FIPA. Specfication. Part 2, Agent Communication Language. Foundation for Intelligent Physical Agents (1997)Vogel, A., Kerherve, B., von Bochmann, G., Gecsei, J.: Distributed Multimedia and QoS: A Survey. IEEE Multimedia 2(2), 10–19 (1995)Smith, B.: Beyond concepts, or: Ontology as reality representation. In: Formal Ontology in Information Systems (FOIS 2004), pp. 73–84 (2004)Gruber, T.R.: Toward Principles for the Design of Ontologies Used for Knowledge Sharing. International Journal Human-Computer Studies 43(5-6), 907–928 (1995)Pardo-Castellote, G.: OMG Data-Distribution Service: architectural overview. In: Proceedings of 23rd International Conference on Distributed Computing Systems Workshops, Providence, USA, vols. 19-22, pp. 200–206 (2003)Object Management Group (OMG). Unified Modeling Language Specification, v1.4.2, ISO/IEC 19501 (2001)Poza, J.L., Posadas, J.I., Simó, J.E.: Distributed agent specification to an Intelligent Control Architecture. In: 6th International Workshop on Practical Applications of Agents and Multiagent Systems, Salamanca (2007)Poza, J.L., Posadas, J.l., Simó, J.E.: QoS-based middleware archi-tecture for distributed control systems. In: International Symposium on Distributed Computing and Artificial Intelligence, Salamanca (2008

Philosophy of Blockchain Technology - Ontologies

About the necessity and usefulness of developing a philosophy specific to the blockchain technology, emphasizing on the ontological aspects. After an Introduction that highlights the main philosophical directions for this emerging technology, in Blockchain Technology I explain the way the blockchain works, discussing ontological development directions of this technology in Designing and Modeling. The next section is dedicated to the main application of blockchain technology, Bitcoin, with the social implications of this cryptocurrency. There follows a section of Philosophy in which I identify the blockchain technology with the concept of heterotopia developed by Michel Foucault and I interpret it in the light of the notational technology developed by Nelson Goodman as a notational system. In the Ontology section, I present two developmental paths that I consider important: Narrative Ontology, based on the idea of order and structure of history transmitted through Paul Ricoeur's narrative history, and the Enterprise Ontology system based on concepts and models of an enterprise, specific to the semantic web, and which I consider to be the most well developed and which will probably become the formal ontological system, at least in terms of the economic and legal aspects of blockchain technology. In Conclusions I am talking about the future directions of developing the blockchain technology philosophy in general as an explanatory and robust theory from a phenomenologically consistent point of view, which allows testability and ontologies in particular, arguing for the need of a global adoption of an ontological system for develop cross-cutting solutions and to make this technology profitable. CONTENTS: Abstract Introducere Tehnologia blockchain - Proiectare - Modele Bitcoin Filosofia Ontologii - Ontologii narative - Ontologii de intreprindere Concluzii Note Bibliografie DOI: 10.13140/RG.2.2.24510.3360

A Framework for Design and Composition of Semantic Web Services

Semantic Web Services (SWS) are Web Services (WS) whose description is semantically enhanced with markup languages (e.g., OWL-S). This semantic description will enable external agents and programs to discover, compose and invoke SWSs. However, as a previous step to the specification of SWSs in a language, it must be designed at a conceptual level to guarantee its correctness and avoid inconsistencies among its internal components. In this paper, we present a framework for design and (semi) automatic composition of SWSs at a language-independent and knowledge level. This framework is based on a stack of ontologies that (1) describe the different parts of a SWS; and (2) contain a set of axioms that are really design rules to be verified by the ontology instances. Based on these ontologies, design and composition of SWSs can be viewed as the correct instantiation of the ontologies themselves. Once these instances have been created they will be exported to SWS languages such as OWL-S

Modeling views in the layered view model for XML using UML

In data engineering, view formalisms are used to provide flexibility to users and user applications by allowing them to extract and elaborate data from the stored data sources. Conversely, since the introduction of Extensible Markup Language (XML), it is fast emerging as the dominant standard for storing, describing, and interchanging data among various web and heterogeneous data sources. In combination with XML Schema, XML provides rich facilities for defining and constraining user-defined data semantics and properties, a feature that is unique to XML. In this context, it is interesting to investigate traditional database features, such as view models and view design techniques for XML. However, traditional view formalisms are strongly coupled to the data language and its syntax, thus it proves to be a difficult task to support views in the case of semi-structured data models. Therefore, in this paper we propose a Layered View Model (LVM) for XML with conceptual and schemata extensions. Here our work is three-fold; first we propose an approach to separate the implementation and conceptual aspects of the views that provides a clear separation of concerns, thus, allowing analysis and design of views to be separated from their implementation. Secondly, we define representations to express and construct these views at the conceptual level. Thirdly, we define a view transformation methodology for XML views in the LVM, which carries out automated transformation to a view schema and a view query expression in an appropriate query language. Also, to validate and apply the LVM concepts, methods and transformations developed, we propose a view-driven application development framework with the flexibility to develop web and database applications for XML, at varying levels of abstraction

Semantic web service architecture for simulation model reuse

COTS simulation packages (CSPs) have proved popular in an industrial setting with a number of software vendors. In contrast, options for re-using existing models seem more limited. Re-use of simulation component models by collaborating organizations is restricted by the same semantic issues however that restrict the inter-organization use of web services. The current representations of web components are predominantly syntactic in nature lacking the fundamental semantic underpinning required to support discovery on the emerging semantic web. Semantic models, in the form of ontology, utilized by web service discovery and deployment architecture provide one approach to support simulation model reuse. Semantic interoperation is achieved through the use of simulation component ontology to identify required components at varying levels of granularity (including both abstract and specialized components). Selected simulation components are loaded into a CSP, modified according to the requirements of the new model and executed. The paper presents the development of ontology, connector software and web service discovery architecture in order to understand how such ontology are created, maintained and subsequently used for simulation model reuse. The ontology is extracted from health service simulation - comprising hospitals and the National Blood Service. The ontology engineering framework and discovery architecture provide a novel approach to inter- organization simulation, uncovering domain semantics and adopting a less intrusive interface between participants. Although specific to CSPs the work has wider implications for the simulation community

Knowledge formalization in experience feedback processes : an ontology-based approach

Because of the current trend of integration and interoperability of industrial systems, their size and complexity continue to grow making it more difficult to analyze, to understand and to solve the problems that happen in their organizations. Continuous improvement methodologies are powerful tools in order to understand and to solve problems, to control the effects of changes and finally to capitalize knowledge about changes and improvements. These tools involve suitably represent knowledge relating to the concerned system. Consequently, knowledge management (KM) is an increasingly important source of competitive advantage for organizations. Particularly, the capitalization and sharing of knowledge resulting from experience feedback are elements which play an essential role in the continuous improvement of industrial activities. In this paper, the contribution deals with semantic interoperability and relates to the structuring and the formalization of an experience feedback (EF) process aiming at transforming information or understanding gained by experience into explicit knowledge. The reuse of such knowledge has proved to have significant impact on achieving themissions of companies. However, the means of describing the knowledge objects of an experience generally remain informal. Based on an experience feedback process model and conceptual graphs, this paper takes domain ontology as a framework for the clarification of explicit knowledge and know-how, the aim of which is to get lessons learned descriptions that are significant, correct and applicable