Description logics (DLs) are a family of logic-based knowledge representation formalisms with a number of computer science applications. DLs are especially well-known to be valuable for obtaining logical foundations o...Description logics (DLs) are a family of logic-based knowledge representation formalisms with a number of computer science applications. DLs are especially well-known to be valuable for obtaining logical foundations of web ontology languages (e.g., W3C’s ontology language OWL). Paraconsistent (or inconsistency-tolerant) description logics (PDLs) have been studied to cope with inconsistencies which may frequently occur in an open world. In this paper, a comparison and survey of PDLs is presented. It is shown that four existing paraconsistent semantics (i.e., four-valued semantics, quasi-classical semantics, single-interpretation semantics and dual-interpretation semantics) for PDLs are essentially the same semantics. To show this, two generalized and extended new semantics are introduced, and an equivalence between them is proved.展开更多
The analysis of the historical and theoretical origins of the dual identity of Chinese women based on the Marxist view of family-society enables a more scientific and reasonable explanation to the unity of history and...The analysis of the historical and theoretical origins of the dual identity of Chinese women based on the Marxist view of family-society enables a more scientific and reasonable explanation to the unity of history and logic of Chinese women’s dual identity.Under the guidance of the Marxist concept of family-society,Chinese women will achieve development in both family space and social space;meanwhile,Chinese women in the dual identity development carry the home-state emotion different from that of western women’s;cultivating women’s awareness of family identity is of great significance to the construction of family style or national style in the new era of socialism with Chinese characteristics.展开更多
文摘Description logics (DLs) are a family of logic-based knowledge representation formalisms with a number of computer science applications. DLs are especially well-known to be valuable for obtaining logical foundations of web ontology languages (e.g., W3C’s ontology language OWL). Paraconsistent (or inconsistency-tolerant) description logics (PDLs) have been studied to cope with inconsistencies which may frequently occur in an open world. In this paper, a comparison and survey of PDLs is presented. It is shown that four existing paraconsistent semantics (i.e., four-valued semantics, quasi-classical semantics, single-interpretation semantics and dual-interpretation semantics) for PDLs are essentially the same semantics. To show this, two generalized and extended new semantics are introduced, and an equivalence between them is proved.
文摘The analysis of the historical and theoretical origins of the dual identity of Chinese women based on the Marxist view of family-society enables a more scientific and reasonable explanation to the unity of history and logic of Chinese women’s dual identity.Under the guidance of the Marxist concept of family-society,Chinese women will achieve development in both family space and social space;meanwhile,Chinese women in the dual identity development carry the home-state emotion different from that of western women’s;cultivating women’s awareness of family identity is of great significance to the construction of family style or national style in the new era of socialism with Chinese characteristics.
