Multi-user collaborative editors are useful computer-aided tools to support human-to-human collaboration.For multi-user collaborative editors,selective undo is an essential utility enabling users to undo any editing o...Multi-user collaborative editors are useful computer-aided tools to support human-to-human collaboration.For multi-user collaborative editors,selective undo is an essential utility enabling users to undo any editing operations at any time.Collaborative editors usually adopt operational transformation(OT)to address concurrency and consistency issues.However,it is still a great challenge to design an efficient and correct OT algorithm capable of handling both normal do operations and user-initiated undo operations because these two kinds of operations can interfere with each other in various forms.In this paper,we propose a semi-transparent selective undo algorithm that handles both do and undo in a unified framework,which separates the processing part of do operations from the processing part of undo operations.Formal proofs are provided to prove the proposed algorithm under the well-established criteria.Theoretical analysis and experimental evaluation are conducted to show that the proposed algorithm outperforms the prior OT-based selective undo algorithms.展开更多
Building ontology is a fundamental but also hard work. Collaborative ontology editing tools can make ontology development more efficiently. In this paper, the important features of collaborative ontology development w...Building ontology is a fundamental but also hard work. Collaborative ontology editing tools can make ontology development more efficiently. In this paper, the important features of collaborative ontology development were analyzed, and several tools such as AGROVOC Concept Server Workbench (ACSW), Collaborative Prot6g6 and WebProt6g6 were studied. Besides, some comparisons among them from several aspects were made and some prospects for the further improvement of these tools were given. Finally, we show it is a good way to build agricultural ontology with these tools collaboratively and simultaneously.展开更多
基金National Key R&D Program of China(2017YFB0503004)the National Natural Science Foundation of China(Grant No.62072348)+1 种基金China Postdoctoral Science Foundation(2019M662709)Natural Science Foundation of Hubei Province(2016FC0106305 and 2019CFB627).
文摘Multi-user collaborative editors are useful computer-aided tools to support human-to-human collaboration.For multi-user collaborative editors,selective undo is an essential utility enabling users to undo any editing operations at any time.Collaborative editors usually adopt operational transformation(OT)to address concurrency and consistency issues.However,it is still a great challenge to design an efficient and correct OT algorithm capable of handling both normal do operations and user-initiated undo operations because these two kinds of operations can interfere with each other in various forms.In this paper,we propose a semi-transparent selective undo algorithm that handles both do and undo in a unified framework,which separates the processing part of do operations from the processing part of undo operations.Formal proofs are provided to prove the proposed algorithm under the well-established criteria.Theoretical analysis and experimental evaluation are conducted to show that the proposed algorithm outperforms the prior OT-based selective undo algorithms.
基金supported by the NationalKey Technology Research and Development Program of China (2011BAH10B06)
文摘Building ontology is a fundamental but also hard work. Collaborative ontology editing tools can make ontology development more efficiently. In this paper, the important features of collaborative ontology development were analyzed, and several tools such as AGROVOC Concept Server Workbench (ACSW), Collaborative Prot6g6 and WebProt6g6 were studied. Besides, some comparisons among them from several aspects were made and some prospects for the further improvement of these tools were given. Finally, we show it is a good way to build agricultural ontology with these tools collaboratively and simultaneously.