Sec-Auditor:A Blockchain-Based Data Auditing Solution for Ensuring Integrity and Semantic Correctness

Currently,there is a growing trend among users to store their data in the cloud.However,the cloud is vulnerable to persistent data corruption risks arising from equipment failures and hacker attacks.Additionally,when users perform file operations,the semantic integrity of the data can be compromised.Ensuring both data integrity and semantic correctness has become a critical issue that requires attention.We introduce a pioneering solution called Sec-Auditor,the first of its kind with the ability to verify data integrity and semantic correctness simultaneously,while maintaining a constant communication cost independent of the audited data volume.Sec-Auditor also supports public auditing,enabling anyone with access to public information to conduct data audits.This feature makes Sec-Auditor highly adaptable to open data environments,such as the cloud.In Sec-Auditor,users are assigned specific rules that are utilized to verify the accuracy of data semantic.Furthermore,users are given the flexibility to update their own rules as needed.We conduct in-depth analyses of the correctness and security of Sec-Auditor.We also compare several important security attributes with existing schemes,demonstrating the superior properties of Sec-Auditor.Evaluation results demonstrate that even for time-consuming file upload operations,our solution is more efficient than the comparison one.

Ontology based approach of semantic information integration

In order to solve the problem of semantic heterogeneity in information integration, an ontology based semantic information integration （OSII） model and its logical framework are proposed. The OSII adopts the hybrid ontology approach and uses OWL （web ontology language） as the ontology language. It obtains unified views from multiple sources by building mappings between local ontologies and the global ontology. A tree- based multi-strategy ontology mapping algorithm is proposed. The algorithm is achieved by the following four steps： pre-processing, name mapping, subtree mapping and remedy mapping. The advantages of this algorithm are： mapping in the compatible datatype categories and using heuristic rules can improve mapping efficiency; both linguistic and structural similarity are used to improve the accuracy of the similarity calculation; an iterative remedy is adopted to obtain correct and complete mappings. A challenging example is used to illustrate the validity of the algorithm. The OSII is realized to effectively solve the problem of semantic heterogeneity in information integration and to implement interoperability of multiple information sources.

The Application of Semantic Cognitive Mechanism of English Idioms in Idiom Teaching

This article takes the perspective of cognitive linguistics and applies the semantic cognitive mechanism of English idioms to analyze the motivation between the generation and meaning of idioms.It explores the teaching of English idioms based on motivation analysis and proposes several suggestions and strategies for idiom teaching,hoping to benefit English idiom teaching.

A Semantic-Sensitive Approach to Indoor and Outdoor 3D Data Organization

Building model data organization is often programmed to solve a specific problem,resulting in the inability to organize indoor and outdoor 3D scenes in an integrated manner.In this paper,existing building spatial data models are studied,and the characteristics of building information modeling standards(IFC),city geographic modeling language(CityGML),indoor modeling language(IndoorGML),and other models are compared and analyzed.CityGML and IndoorGML models face challenges in satisfying diverse application scenarios and requirements due to limitations in their expression capabilities.It is proposed to combine the semantic information of the model objects to effectively partition and organize the indoor and outdoor spatial 3D model data and to construct the indoor and outdoor data organization mechanism of“chunk-layer-subobject-entrances-area-detail object.”This method is verified by proposing a 3D data organization method for indoor and outdoor space and constructing a 3D visualization system based on it.

Adopting Context Mediation in Information Integration to Resolve Semantic Heterogeneity in Distributed Environment

Ontology-based semantic information integration resolve the schema-level heterogeneity and part of data level heterogeneity between distributed data sources. But it is ubiquitous that schema semantics of information is identical while the interpretation of it varies with different context, and ontology-based semantic information integration can not resolve this context heterogeneity. By introducing context representation and context mediation to ontology based information integration, the attribute-level context heterogeneity can be detected and reconciled automatically, and hence a complete solution for semantic heterogeneity is formed. Through a concrete example, the context representation and the process in which the attribute-level context heterogeneity is reconciled during query processing are presented. This resolution can make up the deficiency of schema mapping based semantic information integration. With the architecture proposed in this paper the semantic heterogeneity solution is adaptive and extensive.

Security integrated framework for semantic web based on social intelligence

An integrated security framework for a semantic web is proposed based on the social intelligence of an individual＇s avoiding harm and preserving transaction logic-integrity. The framework extends the semantic web model and controls the dynamic security of semantic web services, such as trust, logic and reasoning. It includes four layers, that is, a trust entrance layer, a social intelligence layer, a transaction layer, and a TCP/IP security protocols layer. The trust entrance layer deals with trustable features from users. Social intelligence layer is responsible for logical questions for a semantic web. The transaction layer carries out transaction reasoning. And the TCP/IP security protocols layer ensures security communication. These layers can cooperate to build closed-security-ring with different security grades. The integrated security framework provides an integrated security method for semantic web flow so that it is universal for various semantic web technologies.

SELF-ORGANIZED SEMANTIC FEATURE EVOLUTION FOR AXIOMATIC DESIGN

Aiming at the problem existing in the computer aided design process that how to express the design intents with high-level engineering terminologies, a mechanical product self-organized semantic feature evolution technology for axiomatic design is proposed, so that the constraint relations between mechanical parts could be expressed in a semantic form which is more suitable for designers. By describing the evolution rules for semantic constraint information, the abstract expression of design semantics in mechanical product evolution process is realized and the constraint relations between parts are mapped to the geometric level from the semantic level; With semantic feature relation graph, the abstract semantic description, the semantic relative structure and the semantic constraint information are linked together; And the methods of semantic feature self-organized evolution are classified. Finally, combining a design example of domestic high-speed elevator, how to apply the theory to practical product development is illustrated and this method and its validity is described and verified. According to the study results, the designers are able to represent the design intents at an advanced semantic level in a more intuitional and natural way and the automation, recursion and visualization for mechanical product axiomatic design are also realized.

Self-organizing strategy design and validation forintegrated air-ground detection swarm

A self-organized integrated air-ground detection swarmis tentatively applied to achieve reentry vehicle landing detection,such as searching and rescuing a manned spaceship. The detectionswarm consists of multiple unmanned aerial vehicles （UAVs）and unmanned ground vehicles （UGVs）. The UAVs can accessa detected object quickly for high mobility, while the UGVs cancomprehensively investigate the object due to the variety of carriedequipment. In addition, the integrated air-ground detectionswarm is capable of detecting from the ground and the air simultaneously.To accomplish the coordination of the UGVs andUAVs, they are all regarded as individuals of the artificial swarm.Those individuals make control decisions independently of othersbased on the self-organizing strategy. The overall requirements forthe detection swarm are analyzed, and the theoretical model ofthe self-organizing strategy based on a combined individual andenvironmental virtual function is established. The numerical investigationproves that the self-organizing strategy is suitable andscalable to control the detection swarm. To further inspect the engineeringreliability, an experiment set is established in laboratory,and the experimental demonstration shows that the self-organizingstrategy drives the detection swarm forming a close range and multiangularsurveillance configuration of a landing spot.

Uniqueness and Reproducibility of Semantic Intelligence: New Approach to the Notion of Self-Organization

A novel notion of self-organization whose major property is that it brings about the execution of semantic intelligence as spontaneous physico-chemical processes in an unspecified ever-changing non-uniform environment is introduced. Its greatest advantage is that the covariance of causality encapsulated in any piece of semantic intelligence is provided with a great diversity of its individuality viewed as the properties of the current response and its reproducibility viewed as causality encapsulated in any of the homeostatic patterns. Alongside, the consistency of the functional metrics, which is always Euclidean, with any metrics of the space-time renders the proposed notion of self-organization ubiquitously available.

Integrative Self-Organizing Map—A Mean Pattern Model

We propose an integrative self-organizing map (iSOM) for exploring differential expression patterns across multiple microarray experiments. The algorithm is based on the assumption that observed differential expressions are random samples of a mean pattern model which is unknowna priori. The learning mechanism of iSOM is similar to the conventional SOM. The mean pattern model which underlies the proposed iSOM models mean differential expressions using a one-dimension of mean differential expressions for the mean differential expressions. The feature map of an iSOM model can be used to reveal correlation between multiple medically/biologically related disease types or multiple platform experiments for one disease. We illustrate applications of iSOM using simulated data and real data.

Context-driven reconciliation in ontology integration

In order to solve the semantic irreconcilable problems caused by contextual differences during the process of ontology integration, a context-driven reconciliation mechanism is proposed. The mechanism is based on the previous work about a context-based formalism-Context-SHOIQ （D ＋ ） DL, which is used for explicitly representing context of ontology by adopting the description logic and the category theory. The formalism is extended by adding four migration rules （InclusionRule, SelectionRule, PreferenceRule, and MappingRule）, that are used to specify what should be imported into the IntegrativeContext, and three related contextual integration operations of increasing interoperability （import, partial reconciliation, and full reconciliation）. While not exhaustive, the mechanism is sufficient for solving the five types of semantic irreconcilable problems that are discussed, and favors integration of ontologies from one context to another.

Multi-broker architecture for large-scale dynamic heterogeneous information integration

In order to realize interoperability to a large number of autonomous and heterogeneous information sources with high efficiency, an agent-based multi-broker architecture （AMA）-HustEven, is constructed. A group of broker agents are designed to provide brokering services in a peer-to-peer （P2P） manner for the non- broker agents （user agents, resource agents, query agents）. Thus, the scalability and robustness of the system are enhanced. Ontology is also used by the broker agents for facilitating interoperability among all the agents in HustEven. Unlike any other AMAs, an interdomain ontology is built in this system to represent the relationships among the common concepts in the innerdomain ontologies. Therefore, a broker forwards the queries only to the other related brokers according to the interdomain ontology and the communication overhead among the brokers is reduced. Obviously, the application of the interdomain ontology enables a broker to fully take advantage of the multi-broker architecture. The experimental results show that the HustEven performs more efficiently than any other existing systems.

Semantic Web与Agent的共生及融合

Web技术与Agent技术作为两种技术体系一直独立发展。但现在Web技术借鉴Agent技术的先进思想,基于On tology对Web进行改造,提出了SemanticWeb的概念。在Internet上必将是SemanticWeb和Agent共同提供智能化、个性化的服务。而要想达到这个目的,首先必须解决Ontology的构造问题。文中在详细论述SemanticWeb和Agent的基础上,探讨了SemanticWeb与Agent的共生及融合关系,给出了共生及融合关系图,并设计了一个概念性的智能Web服务IWS模型。

Ontology-based schema matching method in web query interface integration

Deep web data integration needs to do schema matching on web query interfaces and obtain the mapping table.By introducing semantic conflicts into web query interface integration and discussing the origins and categories of the semantic conflicts,an ontology-based schema matching method is proposed.The process of the method is explained in detail using the example of web query interface integration in house domain.Conflicts can be detected automatically by checking semantic relevance degree,then the categories of the conflicts are identified and messages are sent to the conflict solver,which eliminates the conflicts and obtains the mapping table using conflict solving rules.The proposed method is simple,easy to implement and can be flexibly reused by extending the ontology to different domains.

Knowledge acquisition, semantic text mining, and security risks in health and biomedical informatics

Computational techniques have been adopted in medi-cal and biological systems for a long time. There is no doubt that the development and application of computational methods will render great help in better understanding biomedical and biological functions. Large amounts of datasets have been produced by biomedical and biological experiments and simulations. In order for researchers to gain knowledge from origi- nal data, nontrivial transformation is necessary, which is regarded as a critical link in the chain of knowledge acquisition, sharing, and reuse. Challenges that have been encountered include: how to efficiently and effectively represent human knowledge in formal computing models, how to take advantage of semantic text mining techniques rather than traditional syntactic text mining, and how to handle security issues during the knowledge sharing and reuse. This paper summarizes the state-of-the-art in these research directions. We aim to provide readers with an introduction of major computing themes to be applied to the medical and biological research.

Semantic Social Service Organization Mechanism in Cyber Physical System

Cyber physical system(CPS)provides more powerful service by cyber and physical features through the wireless communication.As a kind of social organized network system,a fundamental question of CPS is to achieve service self-organization with its nodes autonomously working in both physical and cyber environments.To solve the problem,the social nature of nodes in CPS is firstly addressed,and then a formal social semantic descriptions is presented for physical environment,node service and task in order to make the nodes communicate automatically and physical environment sensibly.Further,the Horn clause is introduced to represent the reasoning rules of service organizing.Based on the match function,which is defined for measurement between semantics,the semantic aware measurement is presented to evaluate whether environment around a node can satisfy the task requirement or not.Moreover,the service capacity evaluation method for nodes is addressed to find out the competent service from both cyber and physical features of nodes.According to aforementioned two measurements,the task semantic decomposition algorithm and the organizing matrix are defined and the service self-organizing mechanism for CPS is proposed.Finally,examinations are given to further verify the efficiency and feasibility of the proposed mechanism.

CSMCCVA:Framework of cross-modal semantic mapping based on cognitive computing of visual and auditory sensations

Cross-modal semantic mapping and cross-media retrieval are key problems of the multimedia search engine.This study analyzes the hierarchy,the functionality,and the structure in the visual and auditory sensations of cognitive system,and establishes a brain-like cross-modal semantic mapping framework based on cognitive computing of visual and auditory sensations.The mechanism of visual-auditory multisensory integration,selective attention in thalamo-cortical,emotional control in limbic system and the memory-enhancing in hippocampal were considered in the framework.Then,the algorithms of cross-modal semantic mapping were given.Experimental results show that the framework can be effectively applied to the cross-modal semantic mapping,and also provides an important significance for brain-like computing of non-von Neumann structure.

Enhancing Domain Knowledge with Semantic Models of Web Documents

The paper considers the problem of semantic processing of web documents by designing an approach, which combines extracted semantic document model and domain- related knowledge base. The knowledge base is populated with learnt classification rules categorizing documents into topics. Classification provides for the reduction of the dimensio0ality of the document feature space. The semantic model of retrieved web documents is semantically labeled by querying domain ontology and processed with content-based classification method. The model obtained is mapped to the existing knowledge base by implementing inference algorithm. It enables models of the same semantic type to be recognized and integrated into the knowledge base. The approach provides for the domain knowledge integration and assists the extraction and modeling web documents semantics. Implementation results of the proposed approach are presented.

Ontology-Based Semantic Multi-agent Framework for Micro-grids with Cyber Physical Concept

The distributed hierarchical control based on multi-agent system(MAS) is the main control method of micro-grids.By allowing more flexible interactions between computing components and their physical environments,cyber physical system(CPS) presents a new approach for the distributed hierarchical engineering system,with micro-grids included.The object of this paper is to integrate the CPS concept with MAS technology and propose a new control framework for micro-grids.With the analysis of the operating mode and control method of micro-grids,the cyber physical control concepts of ontologybased semantic agent are discussed.Then an MAS-based architecture of cyber physical micro-grid system and an intelligent electronic device(IED) function structure are proposed.Finally,in order to operate and test the cyber physical micro-grid concept,an integrated simulation model is presented.