Measuring Inconsistency in ontologies is an important topic in ontology engineering as it can provide extra information for dealing with inconsistency. Many approaches have been proposed to deal with this issue. However, the main drawback of these algorithms is their high computational complexity. One of the main sources of the high complexity is the intractability of the underlying Description Logics (DLs). In this paper, we focus on an important tractable DL family, DL-Lite. We define an inconsistency degree of a DL-Lite ontology based on a three-valued semantics. We also present an algorithm to compute this inconsistency degree and show that its time-complexity is PTime in the size of ABox and TBox.
Chinese grammatical error correction (GEC) is more challenging than English GEC due to its language characteristics. In this paper, a two-stage model was proposed to solve the Chinese GEC problem. The model consists of two components: a spelling check model and a GEC model. The spelling check model based on language model focuses on correcting spelling errors, while the GEC model based on neural sequence-to-sequence (seq2seq) model focuses on correcting grammatical errors. In addition, two generative methods allow the seq2seq model to correct an erroneous sentence incrementally with repeated inference steps. Furthermore, only one seq2seq model is used for grammatical correction rather than ensemble multiple models, which greatly speeds up the generation of final results and saves computing resources. The two-stage model achieves 31.01 F 0.5 on NLPCC 2018 test set, significantly outperforms all prior approaches on this task.INDEX TERMS Chinese grammatical error correction, spelling check, seq2seq model.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.