Semantic Internet of Things is an open-world service ecosystem formed on the basis of the Semantic Web, Internet of Things, and social networks. It forms and integrates physical space, cyberspace,and social space. The...Semantic Internet of Things is an open-world service ecosystem formed on the basis of the Semantic Web, Internet of Things, and social networks. It forms and integrates physical space, cyberspace,and social space. The data friction problem is the key issue of the semantic Internet from theory to practice. In order to solve the problem of information interoperation and data friction,it is necessary to deal with the heterogeneity, dynamicity, and uncertainty of data in the semantic Internet of Things. For this reason, this paper constructs a semantic object networking context aware system based on dynamic Bayesian network. The overall architecture of context awareness system based on semantic Internet of Things is proposed. The hierarchical structure of the framework and the functions implemented by each layer are introduced in detail. The contextual awareness system based on semantic Internet of Things is introduced into the overall design and implementation. The design and implementation process of each layer structure of the system is described in detail.展开更多
Before providing services to the user, user preference considerations are the key conditions to achieve the self-adaptive decision-making about service selection and composition process, which is the flexible concerne...Before providing services to the user, user preference considerations are the key conditions to achieve the self-adaptive decision-making about service selection and composition process, which is the flexible concerned aspect provided by massive cloud computing environment data. Meanwhile, during the whole services’ providing process, achieving the capturing and forming of service aggregation units’ topology logic, building the context environment’s process-aware of service composition, ensuring the trust and adaptation among service aggregation units, which are the important reasons to express timely requirement preference. This paper designs SCP-Trust Reasoning strategy about the integration of user preference and trust, with process algebra, it is to achieve the context process-aware logic for service composition process, in order to improve the autonomous optimization and evolution of service implementation system.展开更多
Modeling and reasoning on domain contexts play a key role for adding intelligence to communication services, and the approach of capability-based requirement engineering ensures the scientificity and accuracy of requi...Modeling and reasoning on domain contexts play a key role for adding intelligence to communication services, and the approach of capability-based requirement engineering ensures the scientificity and accuracy of requirement elicitation. This paper presents a capability-based context ontology modeling approach for command and control, communication, computer, intelligence, surveillance and reconnaissance（C^4ISR） communication. Primarily, a capability-based C^4ISR communication meta-concept model and a C^4ISR communication context meta-ontology are constructed. The context ontology is established under the constraints of the C^4ISR communication context meta-ontology, and furthermore, algorithms are proposed to support context reasoning based on description logic. A case study is presented to demonstrate applicability of the proposed method.展开更多
Mobile professionals need to be assisted with suitable mobile GeoBI (Geospatial Business Intelligence) systems, which are able to capture, organize and structure the user’s reality into a relevant context model and r...Mobile professionals need to be assisted with suitable mobile GeoBI (Geospatial Business Intelligence) systems, which are able to capture, organize and structure the user’s reality into a relevant context model and reason on it. GeoBI context modelling and reasoning are still research issues since there is not yet either a model or a relevant taxonomy regarding GeoBI contextual information. To fill this gap, this paper proposes an extended and detailed OWL-based mobile GeoBI context ontology to provide context-aware applications and users with relevant contextual information and context-based reasoning capabilities. Context quality issues are handled an implementation architecture which is provided.展开更多
The notion of context provides flexibility and adaptation to cloud computing services. Location, time identity and activity of users are examples of primary context types. The motivation of this paper is to formalize ...The notion of context provides flexibility and adaptation to cloud computing services. Location, time identity and activity of users are examples of primary context types. The motivation of this paper is to formalize reasoning about context information in cloud computing environments. To formalize such context-aware reasoning, the logic LCM of context-mixture is introduced based on a Gentzen-type sequent calculus for an extended resource-sensitive logic. LCM has a specific inference rule called the context-mixture rule, which can naturally represent a mechanism for merging formulas with context information. Moreover, LCM has a specific modal operator called the sequence modal operator, which can suitably represent context information. The cut-elimination and embedding theorems for LCM are proved, and a fragment of LCM is shown to be decidable. These theoretical results are intended to provide a logical justification of context-aware cloud computing service models such as a flowable service model.展开更多
文摘Semantic Internet of Things is an open-world service ecosystem formed on the basis of the Semantic Web, Internet of Things, and social networks. It forms and integrates physical space, cyberspace,and social space. The data friction problem is the key issue of the semantic Internet from theory to practice. In order to solve the problem of information interoperation and data friction,it is necessary to deal with the heterogeneity, dynamicity, and uncertainty of data in the semantic Internet of Things. For this reason, this paper constructs a semantic object networking context aware system based on dynamic Bayesian network. The overall architecture of context awareness system based on semantic Internet of Things is proposed. The hierarchical structure of the framework and the functions implemented by each layer are introduced in detail. The contextual awareness system based on semantic Internet of Things is introduced into the overall design and implementation. The design and implementation process of each layer structure of the system is described in detail.
文摘Before providing services to the user, user preference considerations are the key conditions to achieve the self-adaptive decision-making about service selection and composition process, which is the flexible concerned aspect provided by massive cloud computing environment data. Meanwhile, during the whole services’ providing process, achieving the capturing and forming of service aggregation units’ topology logic, building the context environment’s process-aware of service composition, ensuring the trust and adaptation among service aggregation units, which are the important reasons to express timely requirement preference. This paper designs SCP-Trust Reasoning strategy about the integration of user preference and trust, with process algebra, it is to achieve the context process-aware logic for service composition process, in order to improve the autonomous optimization and evolution of service implementation system.
基金supported by the National Natural Science Foundation of China(61273210)
文摘Modeling and reasoning on domain contexts play a key role for adding intelligence to communication services, and the approach of capability-based requirement engineering ensures the scientificity and accuracy of requirement elicitation. This paper presents a capability-based context ontology modeling approach for command and control, communication, computer, intelligence, surveillance and reconnaissance（C^4ISR） communication. Primarily, a capability-based C^4ISR communication meta-concept model and a C^4ISR communication context meta-ontology are constructed. The context ontology is established under the constraints of the C^4ISR communication context meta-ontology, and furthermore, algorithms are proposed to support context reasoning based on description logic. A case study is presented to demonstrate applicability of the proposed method.
文摘Mobile professionals need to be assisted with suitable mobile GeoBI (Geospatial Business Intelligence) systems, which are able to capture, organize and structure the user’s reality into a relevant context model and reason on it. GeoBI context modelling and reasoning are still research issues since there is not yet either a model or a relevant taxonomy regarding GeoBI contextual information. To fill this gap, this paper proposes an extended and detailed OWL-based mobile GeoBI context ontology to provide context-aware applications and users with relevant contextual information and context-based reasoning capabilities. Context quality issues are handled an implementation architecture which is provided.
文摘The notion of context provides flexibility and adaptation to cloud computing services. Location, time identity and activity of users are examples of primary context types. The motivation of this paper is to formalize reasoning about context information in cloud computing environments. To formalize such context-aware reasoning, the logic LCM of context-mixture is introduced based on a Gentzen-type sequent calculus for an extended resource-sensitive logic. LCM has a specific inference rule called the context-mixture rule, which can naturally represent a mechanism for merging formulas with context information. Moreover, LCM has a specific modal operator called the sequence modal operator, which can suitably represent context information. The cut-elimination and embedding theorems for LCM are proved, and a fragment of LCM is shown to be decidable. These theoretical results are intended to provide a logical justification of context-aware cloud computing service models such as a flowable service model.
