F-logic language is a logic database language based on frame logic. It is powerful in expressing object-oriented features. However, there was littIe work discussing its capability of manipulating complex objects. In t...F-logic language is a logic database language based on frame logic. It is powerful in expressing object-oriented features. However, there was littIe work discussing its capability of manipulating complex objects. In this paper, the authors compare the capability of F-logic with that of logic database languages represented by COL. Through two pairs of semantic-preserving transformations, F-logic programs and their Herbrand interpretations can be transformed into COL programs and their corresponding Herbrand interpretations, and vice versa. Also, the effects of negation are discussed. The results of this paper indicate that, without consideration of the effects of OID generating, F-logic language has the same power in manipulating complex objects as COL, LDL1,and ELPS.展开更多
Integrating with the respective advantages of XML Schema and Ontology, this paper puts forward a semantic information processing architecture-OBSA to solve the problem of heterogeneity of information sources and uncer...Integrating with the respective advantages of XML Schema and Ontology, this paper puts forward a semantic information processing architecture-OBSA to solve the problem of heterogeneity of information sources and uncertainty of semantic. It introduces anF-Logic based semantic information presentation mechanism, presents a design of an ontology-based semantic representation language and a mapping algorithm converting Ontology to XML DTD/Schema, and an adapter framework for accessing distributed and heterogeneous information. Key words ontology - F-Logic - semantic adapter CLC number TP 391 Foundation item: Supported by the Natural Science Fundation of Hubei of China (2003ABA049) and the Natural Science Fundation of Education Agency of Hubei of China (2003A012)Biography: GU Jin-guang (1974-), male, Ph. D candidate, lecturer, research direction: distributed computing system, software engineering and knowledge engineering.展开更多
文摘F-logic language is a logic database language based on frame logic. It is powerful in expressing object-oriented features. However, there was littIe work discussing its capability of manipulating complex objects. In this paper, the authors compare the capability of F-logic with that of logic database languages represented by COL. Through two pairs of semantic-preserving transformations, F-logic programs and their Herbrand interpretations can be transformed into COL programs and their corresponding Herbrand interpretations, and vice versa. Also, the effects of negation are discussed. The results of this paper indicate that, without consideration of the effects of OID generating, F-logic language has the same power in manipulating complex objects as COL, LDL1,and ELPS.
文摘Integrating with the respective advantages of XML Schema and Ontology, this paper puts forward a semantic information processing architecture-OBSA to solve the problem of heterogeneity of information sources and uncertainty of semantic. It introduces anF-Logic based semantic information presentation mechanism, presents a design of an ontology-based semantic representation language and a mapping algorithm converting Ontology to XML DTD/Schema, and an adapter framework for accessing distributed and heterogeneous information. Key words ontology - F-Logic - semantic adapter CLC number TP 391 Foundation item: Supported by the Natural Science Fundation of Hubei of China (2003ABA049) and the Natural Science Fundation of Education Agency of Hubei of China (2003A012)Biography: GU Jin-guang (1974-), male, Ph. D candidate, lecturer, research direction: distributed computing system, software engineering and knowledge engineering.
