Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
On the semantics of a semantic network
Fundamenta Informaticae
Knowledge representation: logical, philosophical and computational foundations
Knowledge representation: logical, philosophical and computational foundations
Hi-index | 0.00 |
In this paper it is presented a formal methodology based on topology theory to represent knowledge. This framework is used to describe the creation of a semantic network, which is then represented by means of First-Order Logic. By a series of functions applied to a natural basis, issued from the application domain, a family of sets are synthesized with their sub-spaces correlated. Therefore the resultant subspaces and their relations form a network of elementary and complex concepts. Complete correspondence among the sub-spaces, the IDEF1x model of the semantic network and the First-Order Logic is obtained by employing this framework. The process planning application domain is used to illustrate the creation of the resultant knowledge base.