Browse Prior Art Database

Representation of Terminological Data using a Relational Logic Model

IP.com Disclosure Number: IPCOM000116199D
Original Publication Date: 1995-Aug-01
Included in the Prior Art Database: 2005-Mar-30
Document File: 2 page(s) / 38K

Publishing Venue

IBM

Related People

Goeser, S: AUTHOR

Abstract

Disclosed is a method for the representation of terminological data in a relational logic model. Relational logic models are defined so that every terminology description can be proven either to be satisfiable by at least one such model or to be inconsistent. If there is a relational logic model satisfying a terminology description, then there is also a minimal such model which is called thesaurus.

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

Representation of Terminological Data using a Relational Logic Model

      Disclosed is a method for the representation of terminological
data in a relational logic model.  Relational logic models are
defined so that every terminology description can be proven either to
be satisfiable by at least one such model or to be inconsistent.  If
there is a relational logic model satisfying a terminology
description,
then there is also a minimal such model which is called thesaurus.

      Terminological data and thesauri are usually stored as a data
file, using index structures or using hierarchical or relational data
bases.  Due do the entry-based access this method causes redundancy
concerning the storage requirements.  Furthermore, these storing
methods do not support the presentation of terminological
meta-information, e.g.,  the characteristics of relations.  Thus, the
possibilities for customizing the terminological data are restricted
and, in particular, there is no possibility for a correctness-check
on the basis of this customization.

      In contrary to that, the relational logic model allows the
definition of n-ary relations and their terminological
characteristics.  Furthermore, the specification of connections
between relations, e.g., concatenation, exclusion or conversion, is
possible using the relational logic model.

      The customized specification data are transformed into an axiom
format which allows, by using an appropriate interpretat...