Browse Prior Art Database

Integrating Prolog with a Frame Based Semantic Network

IP.com Disclosure Number: IPCOM000106320D
Original Publication Date: 1993-Oct-01
Included in the Prior Art Database: 2005-Mar-21
Document File: 2 page(s) / 55K

Publishing Venue

IBM

Related People

Ashford, TJ: AUTHOR [+3]

Abstract

Disclosed is a mapping method for allowing knowledge represented in a semantic network to be unified with the clause of a Prolog program, thereby extending the database of facts accessible to the Prolog program.

This text was extracted from an ASCII text file.
This is the abbreviated version, containing approximately 63% of the total text.

Integrating Prolog with a Frame Based Semantic Network

      Disclosed is a mapping method for allowing knowledge
represented in a semantic network to be unified with the clause of a
Prolog program, thereby extending the database of facts accessible to
the Prolog program.

      A semantic network comprises nodes containing attribute/value
pairs connected by "arcs" which express relationships between the
nodes.  These relationships can be used to extend and modify the
nodes by either inheriting attribute/value pairs from connected
nodes, or by implying additional relationships between the nodes by
means of relational transitivity.

      A Prolog fact consists of a predicate name and two or more
objects or arguments.  The predicate name asserts a relationship
between the arguments.  For example, (likes Mary John) is a fact in
which the predicate name, "likes", indicates that the relationship
"likes" exists between objects "Mary" and "John".

      From the perspective of Prolog, a semantic network can be
viewed as a set of facts using the following mapping method.  The
node's attribute serves as the predicate name, and the name of the
node and value are used as the arguments, respectively.  For example,
a node named "Mary" having an attribute/value pair of "height/65"
would be represented as (height Mary 65).

      In a similar manner, an "arc" may also be represented as a
fact.  The name of the arc serves as the predicate name, and the
source and...