Search

Based on the pi-calculus, this paper proposes a kind of ontology process model used for solving the change implementation and propagation problems of ontology evolution process. This solution is discussed at three levels: the change implementation of single ontology evolution, the push-based synchronization realization for the change propagation in the evolution of multiple dependent ontologies within a single node, and the pull-based synchronization realization for the change propagation of the distributed ontologies evolution. [ABSTRACT FROM AUTHOR]

Dynamic Description Logic (DDL) can support both the static and dynamic knowledge representation, thus this paper introduces a kind of Software Architecture (SA) Model based on DDL, the purpose of which is to facilitate the description of each part of SA as well as the constraints between them. In addition, the model also supports the detection of the consistency problems existed in dynamic architecture. In the end, the mapping from SA to DLL is discussed, and an example of a complete architecture model of Pipeline-Filter style is described. [ABSTRACT FROM AUTHOR]

This paper proposes a multi-feature constrained method (MFC) to acquire co-referent relations from large-scale Chinese corpora. The MFC has two phases: candidate relations extraction and verification. The extraction phase uses distribution distance, pattern homogeneity and coordination distribution features of co-referent target words to extract candidate relations from Chinese corpora. In the verification phase, we define an ontology for co-referent token words, and build a relation graph for all candidate relations. Both the ontology and the graph are integrated to generate individual, joint and reinforced strategies to verify candidate relations. Comprehensive experiments have shown that the MFC is practical, and can also be extended to acquire other types of relations. [ABSTRACT FROM AUTHOR]

In an open and dynamic environment, due to the changes in the application's domain or the user's requirements, the domain knowledge changes over time and ontology evolves continually. Pi-calculus is a kind of mobile process algebra which can be used for modeling concurrent and dynamic systems. Based on the pi-calculus, this paper proposes a kind of ontology process model used for solving the change implementation and propagation problems in ontology evolution process. This solution is discussed at three levels: the change implementation of single ontology evolution, the push-based synchronization realization for the change propagation in the evolution of multiple dependent ontologies within a single node, and the pull-based synchronization realization for the change propagation of the distributed ontologies evolution. [ABSTRACT FROM AUTHOR]

The use of the Internet raises serious behavioural issues regarding, for example, security and the interaction among agents that may travel across links. Model-building such interactive systems is one of the biggest current challenges in computer science. A general model, action calculi, has been introduced by Robin Milner to unify the various emerging disciplines of interactive behaviour. In this paper action calculi is used as an abstraction of interactive systems and information flow security properties of such systems are studied. At first an information flow analysis for static action calculi is presented to predict how data will flow both along and inside actions and its correctness is proved; Next basing on the result of the analysis information security properties of both static and dynamic action calculi are discussed; Finally a general relationship are established between the static notation of information flow security and the dynamic one. [ABSTRACT FROM AUTHOR]

Ontology evolution in the Model Driven Semantic Web can be looked as a process of model transformations, so a model transformation based conceptual framework for ontology evolution is presented in this paper. The applications of model transformations in every phase of ontology evolution process are descript respectively. The framework combines technologies of ontology evolution, ontology definition metamodel and model transformations, and it can be looked as a method for ontology evolution in the Model Driven Semantic Web. [ABSTRACT FROM AUTHOR]