Data model

• Knowledge base
• Concepts
• Field definition: conceptual aspects
• Viewpoints
• Class definition
• Class field definition: data typing aspects/unary constraints
• Filters
• Bridges
• Objects
• Annotations
• Lexicon

• Descriptive knowledge is represented in an object-based knowledge representation system. This enables the representation of classes of objects (e.g. house), subclasses (e.g. palace) and the identification of an object as belonging to such a class. It provides constraint satisfaction and typing mechanisms for the objects.
• Methodological knowledge specifies the ways to select and link up methods for a given task. It is represented through a task management system able to integrate, represent, process and monitor computer programs.
• Behavioural knowledge concerns the modelling of dynamic phenomena, such as the dynamics of contract negotiation between buyers and sellers, through a qualitative modelling system.
• Textual annotations on the various objects and tasks involved are achieved through a hypertext system which connects hypertext nodes with the components of the descriptive and methodological knowledge. It allows browsing among texts, objects and tasks. Here textual annotations are not part of the TROEPS model: in TROEPS, the language for expressing them is the HTML standard.

Interface

Screendump 1: TROEPS server home page.

API

(tr-init) function in [libtrp]

-> boolean

Initialises the TROEPS system by defining the primitive notions which are described hereafter. Calling this function is compulsory before any use of TROEPS. It can be used in order to re-initialise the whole system: then, any user-defined notion or loaded knowledge base is discarded from the environment.

(tr-version) function in [libtrp]

-> (integer*)

Prints the version number and returns a list of integers denoting the current version of the system.

Examples

$ italk
;;; ILOG Talk version 3.3 [sparc_5_gnu]
;;; Copyright (c) 1989-1997 by ILOG
;;; Write to talk-support@ilog.com for help
;;; Image saved on Fri Jul  4 19:26:59 1997
;;; Connecting to Emacs server...connected.
;;; Loading workspace 'talk': Ilog Talk kernel workspace
;;; Loading workspace 'trp': Troeps development workspace
;;; Loading workspace 'trt': Troeps taxonomy building tool workspace
;;; Loading workspace 'htrp': Troeps knowledge server development workspace
;;; Loading workspace 'divers': executables and utility files workspace
;;; Welcome to ILOG Talk.
;;; Type (exit) to leave Talk.
? (load-program-unit 'libtrl)
;;; Loading library 'libtrl': Troeps textual interface
;;; Loading run-time environment of 'libtrl': (libtrp)
;;; Loading library 'libtrp': The core Troeps library
;;; Loading object file "/home/lotse/sherpa/TROPES.0/src/sparc_5_gnu/lib/libtrp.so"
;;; Loading object file "/home/lotse/sherpa/TROPES.0/src/sparc_5_gnu/lib/libtrl.so"
= libtrl
? (load-program-unit 'trtdum)
;;; Loading module 'trtdum': Troeps dummy basic type descriptions
;;; Loading object file "/home/lotse/sherpa/TROPES.0/src/sparc_5_gnu/o/trtdum.o"
= trtdum
? (tr-version)
;;; Troeps 1.3a, (C) INRIA, 1992-1999
= (1 3 . 1)
? (add-handler (function troeps-handler))
= #<handler-function troeps-handler #p0019ad70>
? (tr-init)
= t
? (exit)
$ 

Knowledge base

• the name of the file in which the knowledge base is stored;
• the other knowledge bases it imports (this is useful, for instance if the concepts in the base refer to other concepts);
• the set of abstract data types (see Appendix 5) used in the base;
• the set of object files for the knowledge base (for efficiency purpose, they will be disconnected from the knowledge base scheme, thus enabling to be connected to a secondary storage manager);
• the set of TALK modules to be included in the knowledge base (since some programs for manipulating the knowledge could be useful);

Knowledge base viewpoints

Interface

Screendump 2: Knowledge base display.

Screendump 3: Knowledge base edition.

Screendump 4: Knowledge base statistics.

API

(tr-base-p anything) predicate in [libtrp]

-> boolean, anything entity

Returns anything if the argument anything is a knowledge base, () otherwise.

(tr-create-base basename optional: filename ) function in [libtrp]

-> base, basename string _nas,adb, filename filename _fnf

Creates and returns a new knowledge base of name basename. It will therefore be known of the system until deletion or initialisation.

(tr-find-base basename) function in [libtrp]

-> base, basename string _nas

Retrieves and returns the knowledge base of name basename. When no such base is known, returns ().

(tr-base basename) macro in [libtrp]

-> base, basename string _nas

Retrieves and returns the knowledge base of name basename. When no such base is known, creates and returns it.

(tr-delete-base base) function in [libtrp]

-> boolean, base base _{nab, neo}

Deletes the knowledge base base from the environment. This can only happen if the knowledge base is as empty as at its creation. Afterwards, the knowledge base does not exist anymore in the environment.

(tr-erase-base base) function in [libtrp]

-> boolean, base base _{nab, neo}

Deletes the knowledge base base and its content from the environment. Afterwards, neither the knowledge base nor the concepts and objects refered by it exist anymore in the environment.

(tr-base-name base) function in [libtrp]

-> string, base base _nab

Returns the name of the knowledge base base.

(tr-base-rename base name ) function in [libtrp]

-> string, base base _nab, name string _{nas, adb}

Changes the name of the knowledge base base for the string name.

(tr-base-filename base) setfable function in [libtrp]

-> filename, base base _nab

Returns the filename of the knowledge base base. Can be used for changing that filename.

(tr-add-viewpoint base viewpointname) function in [libtrp]

-> boolean, base base _nab, viewpointname string _nas

Adds the viewpoint name viewpointname to the set of viewpoints of the base base.

(tr-rem-viewpoint base viewpointname) function in [libtrp]

-> boolean, base base _nab, viewpointname string _nas,nib

Removes the viewpoint name viewpointname from the set of viewpoints of the base base.

(tr-base-viewpoints base) function in [libtrp]

-> { string* }, base base _nab

Returns the set of viewpoint names of the base base.

(tr-add-concept base concept) function in [libtrp]

-> boolean, base base _nab, concept concept _nak

Adds the concept concept to the set of concepts of the base base.

(tr-rem-concept base concept) function in [libtrp]

-> boolean, base base _nab, concept concept _nak,nib

Removes the concept concept from the set of concepts of the base base.

(tr-base-concepts base) function in [libtrp]

-> { concept* }, base base _nab

Returns the set of concepts of the base base.

(tr-base-sorted-concepts base optional: sort-function ) function in [libtrp]

-> { concept* }, base base _nab, sort-function function

Returns the set of concepts of the base base in their creation order or the order of the base description file by default. If the sort-function is provided, the concepts are sorted according to it.

(tr-add-import base base2) function in [libtrp]

-> boolean, base base _nab, base2 base _nak

Adds the base base2 to the set of imported bases of the base base.

(tr-rem-import base base2) function in [libtrp]

-> boolean, base base _nab, base2 base _nak,nib

Removes the base base from the set of imported bases of the base base.

(tr-base-imports base) function in [libtrp]

-> { base* }, base base _nab

Returns the set of imported bases of the base base.

(tr-add-type base type) function in [libtrp]

-> boolean, base base _nab, type type _nak

Adds the type type to the set of types of the base base.

(tr-rem-type base type) function in [libtrp]

-> boolean, base base _nab, type type _nak,nib

Removes the type type from the set of types of the base base.

(tr-base-types base) function in [libtrp]

-> { type* }, base base _nab

Returns the set of types of the base base.

(tr-add-instance-file base filename) function in [libtrp]

-> boolean, base base _nab, filename string _nas

Adds the instance file filename to the set of instance files of the base base.

(tr-rem-instance-file base filename) function in [libtrp]

-> boolean, base base _nab, filename string _nas,nib

Removes the instance file filename from the set of instance files of the base base.

(tr-base-instance-files base) function in [libtrp]

-> { string* }, base base _nab

Returns the set of instance files of the base base.

(tr-add-lexicon base filename) function in [libtrp]

-> boolean, base base _nab, filename string _nas

Adds the lexicon file filename to the set of lexicons of the base base.

(tr-rem-lexicon base filename) function in [libtrp]

-> boolean, base base _nab, filename string _nas,nib

Removes the lexicon file filename from the set of lexicons of the base base.

(tr-base-lexicons base) function in [libtrp]

-> { string* }, base base _nab

Returns the set of lexicons of the base base.

(tr-add-module base modulename) function in [libtrp]

-> boolean, base base _nab, modulename string _nas

Adds the module name modulename to the set of TALK modules of the base base.

(tr-rem-module base modulename) function in [libtrp]

-> boolean, base base _nab, modulename string _nas,nib

Removes the module name modulename from the set of TALK modules of the base base.

(tr-base-modules base) function in [libtrp]

-> { modulename* }, base base _nab

Returns the set of TALK modules of the base base.

(tr-current-base) setfable function in [libtrp]

-> base, base base _nab

Returns the current knowledge base. Can be modified by the form:
(setf (tr-current-base) base) .

(tr-print-report base) function in [libtrp]

-> (), base base _nab

Prints a statistical report on the number of entities in the base base.

Examples

? (setf (tr-current-base) (tr-create-base "my-real-estate" #f"my-real-estate.bdf"))	
= (tr-base "my-real-estate")
? (tr-base-p ())
= ()
? (tr-base-p (tr-current-base))	
= (tr-base "my-real-estate")
? (eq (tr-current-base) (tr-find-base "my-real-estate"))
= t
? (tr-base "my-real-estate")
= (tr-base "my-real-estate")
? (tr-delete-base (tr-base "my-real-estate"))
= t
? (tr-load-base #f"examples/real-estate.bdf")
= t
? (tr-base-name (tr-current-base))
= "real-estate"
? (tr-base-viewpoints (tr-current-base))
= ("localisation" "size" "price" "function" "test")
? (tr-base-concepts (tr-current-base))
= ((tr-concept "house") (tr-concept "room") (tr-concept "human"))
? (tr-base-sorted-concepts (tr-current-base))
= ((tr-concept "human") (tr-concept "room") (tr-concept "house"))
? (tr-print-report (tr-current-base))
Statistics on the base: real-estate

external types:		0
concepts:		3
conceptslots:		20
conceptviews:		5
classes:		29
filters:		0
classslots:		34
objects:		10
	house:			9
	room:			0
	human:			1
= ()
? (tr-base-filename (tr-current-base))
= #f"examples/real-estate.bdf"
? (tr-erase-base (tr-current-base))
= t
? (tr-load-base #f"examples/real-estate.bdf")
= t
? (setf (tr-current-base)
    (tr-create-base "my-real-estate" #f"my-real-estate.bdf"))
= (tr-base "my-real-estate")
? (tr-add-import (tr-current-base)
	       (tr-find-base "real-estate"))
= ((tr-base "real-estate"))
? (tr-base-imports (tr-current-base))
= ((tr-base "real-estate"))
? (tr-base-imports (tr-find-base "real-estate"))
= ()

Concepts

Partition of a knowledge base

Structure of concept instances

• the general field type,
• its nature (property, component or relation),
• the constructor, to distinguish sets, lists or atomic values,
• and the tree of methods available to calculate the field value.

Identity and integrity

Keys and cycles

Reference

Visibility versus typing

Interface

Screendump 5: Concept display.

Screendump 6: Concept edition.

Screendump 7: Concept creation.

API

(tr-concept-p anything) predicate in [libtrp]

-> boolean, anything entity

Returns anything if the argument anything is a concept, () otherwise.

(tr-create-concept conceptname key) function in [libtrp]

-> concept, conceptname string _nas,adk,
key ( ( name string _nas type string|concept _ivt constructor string _nas,ivc nature string _nas,ivn)_ivks+ ) _{ivks, esk}

Creates and returns a new concept of name conceptname and the provided set of concept fields specifications ( key) as key. It will therefore be known of the system until deletion or initialisation.

(tr-find-concept conceptname) function in [libtrp]

-> concept, conceptname string _nas

Retrieves and returns the concept of name conceptname. When no such concept is known, returns ().

(tr-concept conceptname key ) macro in [libtrp]

-> concept, conceptname string _nas,
key ( ( name string _nas type string|concept _ivt constructor string _nas,ivc nature string _nas,ivn)_ivks+ ) _{ivks, esk}

Retrieves and returns the concept of name conceptname. When no such concept is known, creates it (with the key specification key) and returns it.

(tr-delete-concept concept) function in [libtrp]

-> boolean, concept concept _{nak, neo}

Deletes the concept concept from the environment. This can only happen if the concept is as empty as at its creation. Afterwards, the concept does not exist anymore in the environment.

(tr-erase-concept concept) function in [libtrp]

-> boolean, concept concept _{nak, neo}

Deletes the concept concept and its content from the environment. Afterwards, neither the concept nor the conceptviews, conceptslots, bridges and objects it contains exist anymore in the environment.

(tr-concept-name concept) function in [libtrp]

-> string, concept concept _nak

Returns the name of the concept concept.

(tr-concept-rename concept name ) function in [libtrp]

-> string, concept concept _nak, name string _{nas, adk}

Changes the name of the concept concept for the string name. This also changes the names of the root classes of each concept viewpoint if any.

(tr-concept-key concept) function in [libtrp]

-> ( keyslot* ), concept concept _nak

Returns the key of the concept concept, i.e. the (ordered) list of keyslots which forms the key.

(tr-concept-slots concept) function in [libtrp]

-> { conceptslot* }, concept concept _nak

Returns the set of concept slots of the concept concept.

(tr-concept-sorted-slots concept optional: sort-function ) function in [libtrp]

-> { conceptslot* }, concept concept _nak, sort-function function

Returns the set of concept slots of the concept concept in their creation order or in their order in the base description file by default. If the sort-function is provided, the concept slots are sorted according to it.

(tr-concept-views concept) function in [libtrp]

-> { conceptview* }, concept concept _nak

Returns the set of concept views of the concept concept.

(tr-concept-sorted-views concept optional: sort-function ) function in [libtrp]

-> { conceptview* }, concept concept _nak, sort-function function

Returns the set of concept views of the concept concept in their creation order or in their order in the base description file by default. If the sort-function is provided, the concept views are sorted according to it.

(tr-concept-bridges concept) function in [libtrp]

-> { bridge* }, concept concept _nak

Returns the set of bridges across viewpoints of the concept concept.

(tr-concept-instances concept) function in [libtrp]

-> { instance* }, concept concept _nak

Returns the set of instances of the concept concept.

(tr-concept-sorted-instances concept optional: sort-function ) function in [libtrp]

-> { instance* }, concept concept _nak, sort-function function

Returns the set of instances of the concept concept in their creation order or in their order in the base description file by default. If the sort-function is provided, the objects are sorted according to it.

Examples

? (tr-create-concept "agent"
   '(("name" "chaine" "un" "propriete"))
     ("subsidiary" "chaine" "un" "propriete")))
= (tr-concept "agent")
? (tr-find-concept "agent")
= (tr-concept "agent")
? (tr-concept-p (tr-find-concept "agent"))
= (tr-concept "agent")
? (tr-delete-concept (tr-concept "agent"))
= t
? (tr-concept-p ())
= ()
? (tr-create-concept "agent" '(("name" "chaine" "un" "propriete")))
= (tr-concept "agent")
? (tr-add-concept (tr-current-base) (tr-find-concept "agent"))
= ((tr-concept "agent"))
? (tr-base-concepts (tr-current-base))
= ((tr-concept "agent"))
? (tr-concept-name (tr-find-concept "agent"))
= "agent"
? (tr-concept-key (tr-find-concept "agent"))
= ("name")
? (tr-concept-slots (tr-find-concept "agent"))
= ((tr-conceptslot (tr-concept "agent") "name"))
? (tr-concept-views (tr-find-concept "agent"))
= ()
? (tr-concept-views (tr-find-concept "agent"))
? (tr-concept-bridges (tr-find-concept "agent"))
= ()
? (tr-concept-instances (tr-find-concept "agent"))
= ()
? (tr-concept-instances (tr-find-concept "agent"))
= ()

Field definition: conceptual aspects

• The base type of the values of the fields;
• The constructor of the type if necessary;
• The nature of the field;
• Computation mechanisms.

Type

• If the object is modified this does not matter since, it is always identifiable by its key (which cannot be modified).
• The value cannot be modified (either adding a value to a set, changing a field of a record or incrementing an integer) because this would be interpreted as changing it to another value and thus changing the key.

Constructor

Nature

• Existence: whenever an object with a component field is created (resp. destroyed), the equivalent value (component) is assumed to exist. This does not prevent, however, an object of the component type from being created independently.
• Non-cyclicity: an object cannot be (directly or indirectly) the component of one of its components.
• Non sharability: the component of an object cannot be component of another object except if both objects are also related by (the transitive closure of) composition fields. This does not prevent it to be referred to as the value of property or link fields of other objects.

Interface

Screendump 8: Concept field display.

Screendump 9: Concept field edition.

Screendump 10: Concept field creation.

API

(tr-conceptslot-p anything) predicate in [libtrp]

-> boolean, anything entity

Returns anything if the argument anything is a concept field, () otherwise.

(tr-create-conceptslot concept conceptslotname type const nature ) function in [libtrp]

-> conceptslot, concept concept _nak,
conceptslotname string _nas,adks, type string|concept _ivt, const string _{nas, ivc} , nature string _{nas, ivn}

Creates and returns a new concept field of name conceptslotname in the concept concept. It will therefore be known of the system until deletion or initialisation. The conceptslot is automatically added to the list of fields of the concept concept whose type is updated.

(tr-find-conceptslot concept conceptslotname ) function in [libtrp]

-> conceptslot, concept concept _nak, conceptslotname string _nas

Retrieves and returns the concept field of name conceptslotname in the concept concept. When no such concept field is known, returns ().

(tr-conceptslot concept conceptslotname type const nature ) macro in [libtrp]

-> conceptslot, concept concept _nak, conceptslotname string _nas,
type string|concept _ivt, const string _{nas, ivc} , nature string _{nas, ivn}

Retrieves and returns the concept field of name conceptslotname in the concept concept. When no such concept field is known, creates and returns it.

(tr-delete-conceptslot conceptslot) function in [libtrp]

-> boolean, conceptslot conceptslot _{naks,cmk, neo}

Deletes the concept field conceptslot. This can only happen if the concept slot is as empty as at its creation and no classslot with the same name exists in the concept.

(tr-erase-conceptslot conceptslot) function in [libtrp]

-> boolean, conceptslot conceptslot _{naks,cmk, neo}

Deletes the concept field conceptslot from the environment. Afterwards neither the conceptslot nor the classslots refering to it nor the fields of the same name in the objects exist anymore in the environment.

(tr-conceptslot-concept conceptslot) function in [libtrp]

-> concept, conceptslot conceptslot _naks

Returns the concept of the concept field conceptslot.

(tr-conceptslot-name conceptslot) function in [libtrp]

-> string, conceptslot conceptslot _naks

Returns the name of the concept field conceptslot.

(tr-conceptslot-rename conceptslot name ) function in [libtrp]

-> string, conceptslot conceptslot _naks, name string _{nas, adks}

Changes the name of the concept field conceptslot for the string name. This also changes the name of all the corresponding class fields.

(tr-conceptslot-viewpoints conceptslot) function in [libtrp]

-> { conceptview* }, conceptslot conceptslot _naks

Returns the set of concept viewpoints under which the field is visible in its concept. This set is automatically updated when a class field is declared in a class.

(tr-get-conceptslot-type conceptslot) function in [libtrp]

-> string, conceptslot conceptslot _naks

Returns the type of the concept field conceptslot.

(tr-get-conceptslot-constructor conceptslot) function in [libtrp]

-> string, conceptslot conceptslot _naks

Returns the constructor of the concept field conceptslot.

(tr-get-conceptslot-nature conceptslot) function in [libtrp]

-> string, conceptslot conceptslot _naks

Returns the nature of the concept field conceptslot.

Examples

? (tr-create-conceptslot (tr-find-concept "agent") "segment" "chaine" "un" "propriete")
= (tr-conceptslot (tr-concept "agent") "segment")
? (tr-create-conceptslot (tr-find-concept "agent")
    "houses" (tr-find-concept "house") "ensemble" "propriete")
= (tr-conceptslot (tr-concept "agent") "houses")
? (tr-create-conceptslot (tr-find-concept "agent") "subsidiary" "chaine" "un" "propriete")
= (tr-conceptslot (tr-concept "agent") "subsidiary")
? (tr-concept-sorted-slots (tr-find-concept "agent"))
= ((tr-conceptslot (tr-concept "agent") "name")
	(tr-conceptslot (tr-concept "agent") "segment")
	(tr-conceptslot (tr-concept "agent") "houses")
	(tr-conceptslot (tr-concept "agent") "subsidiary"))
? (tr-delete-conceptslot (tr-conceptslot (tr-concept "agent") "subsidiary"))
= t
? (tr-concept-slots (tr-find-concept "agent"))
= ((tr-conceptslot (tr-concept "agent") "houses")
   (tr-conceptslot (tr-concept "agent") "name")
   (tr-conceptslot (tr-concept "agent") "segment"))
? (tr-create-conceptslot (tr-find-concept "agent") "area" "chaine" "un" "propriete")
= (tr-conceptslot (tr-concept "agent") "area")
? (tr-create-conceptslot (tr-find-concept "agent") "comission" "reel" "un" "propriete")
= (tr-conceptslot (tr-concept "agent") "comission")
? (tr-find-conceptslot (tr-find-concept "agent") "houses")
= (tr-conceptslot (tr-concept "agent") "houses")
? (tr-conceptslot-p (tr-find-conceptslot (tr-find-concept "agent") "name"))
= (tr-conceptslot (tr-concept "agent") "name")
? (tr-conceptslot-p ())
= ()
? (tr-conceptslot-concept (tr-conceptslot (tr-find-concept "agent") "segment"))
= (tr-concept "agent")
? (tr-conceptslot-name (tr-conceptslot (tr-find-concept "agent") "segment"))
= "segment"
? (tr-get-conceptslot-type (tr-conceptslot (tr-find-concept "agent") "segment"))
= "chaine"
? (tr-get-conceptslot-type (tr-conceptslot (tr-find-concept "agent") "houses"))
= (tr-concept "house")
? (tr-get-conceptslot-constructor (tr-conceptslot (tr-find-concept "agent") "segment"))
= "un"
? (tr-get-conceptslot-constructor (tr-conceptslot (tr-find-concept "agent") "houses"))
= "ensemble"
? (tr-get-conceptslot-nature (tr-conceptslot (tr-find-concept "agent") "segment"))
= "propriete"

Viewpoints

Structure of a viewpoint

Constraints on the taxonomy

Interface

Screendump 11: Viewpoint display.

Screendump 12: Viewpoint edition.

Screendump 13: Viewpoint creation.

API

(tr-conceptview-p anything) predicate in [libtrp]

-> boolean, anything entity

Returns anything if the argument anything is a concept viewpoint, () otherwise.

(tr-create-conceptview concept conceptviewname ) function in [libtrp]

-> conceptview, concept concept _nak, conceptviewname string _nas,adkv

Creates and returns a new concept viewpoint of name conceptviewname in the concept concept. It will therefore be known of the system until deletion or initialisation.

(tr-find-conceptview concept conceptviewname ) function in [libtrp]

-> conceptview, concept concept _nak, conceptviewname string _nas

Retrieves and returns the concept viewpoint of name conceptviewname in the concept concept. When no such concept viewpoint is known, returns ().

(tr-conceptview concept conceptviewname ) macro in [libtrp]

-> conceptview, concept concept _nak, conceptviewname string _nas

Retrieves and returns the concept viewpoint of name conceptviewname in the concept concept. When no such concept viewpoint is known, creates and returns it.

(tr-delete-conceptview conceptview) function in [libtrp]

-> boolean, conceptview conceptview _{nakv, neo}

Deletes the concept viewpoint conceptview from its concept. This can only happen if the concept view is as empty as at its creation. Afterwards, the concept viewpoint does not exist anymore in the environment.

(tr-erase-conceptview conceptview) function in [libtrp]

-> boolean, conceptview conceptview _{nakv, neo}

Deletes the concept viewpoint conceptview and its content from its concept. Afterwards, neither the concept viewpoint nor the classes it contains nor the bridges which refer to these classes exist anymore in the environment.

(tr-conceptview-concept conceptview) function in [libtrp]

-> concept, conceptview conceptview _nakv

Returns the concept of the concept viewpoint conceptview.

(tr-conceptview-name conceptview) function in [libtrp]

-> string, conceptview conceptview _nakv

Returns the name of the concept viewpoint conceptview.

(tr-conceptview-rename conceptview name ) function in [libtrp]

-> string, conceptview conceptview _nakv, name string _{nas, adkv}

Changes the name of the concept view conceptview for the string name.

(tr-conceptview-root conceptview) function in [libtrp]

-> class, conceptview conceptview _nakv

Returns the root class of the concept viewpoint conceptview.

(tr-conceptview-exhaustive conceptview optional: boolean) function in [libtrp]

-> boolean, conceptview conceptview _nakv, boolean boolean

Sets (if boolean is provided) the exhaustiveness of the concept viewpoint conceptview to boolean and returns the exhaustiveness of the concept viewpoint.

(tr-conceptview-exclusive conceptview optional: boolean) function in [libtrp]

-> boolean, conceptview conceptview _nakv, boolean boolean

Sets (if boolean is provided) the exclusiveness of the concept viewpoint conceptview to boolean and returns the exclusiveness of the concept viewpoint.

(tr-conceptview-definitional conceptview optional: boolean) function in [libtrp]

-> boolean, conceptview conceptview _nakv, boolean boolean

Sets (if boolean is provided) the definitional character of the concept viewpoint conceptview to boolean and returns the value of the definitional character of the concept viewpoint.

Examples

? (tr-create-conceptview (tr-concept "agent") "buyer")
= (tr-conceptview (tr-concept "agent") "buyer")
? (tr-create-conceptview (tr-concept "agent") "seller")
= (tr-conceptview (tr-concept "agent") "seller")
? (tr-conceptview-p (tr-find-conceptview (tr-concept "agent") "buyer"))
= (tr-conceptview (tr-concept "agent") "buyer")
? (tr-conceptview-p ())
= ()
? (tr-create-conceptview (tr-concept "agent") "tax-collector")
= (tr-conceptview (tr-concept "agent") "tax-collector")
? (tr-delete-conceptview (tr-conceptview (tr-concept "agent") "tax-collector"))
= t
? (tr-concept-views (tr-find-concept "agent"))
= ((tr-conceptview (tr-concept "agent") "buyer")
   (tr-conceptview (tr-concept "agent") "seller"))
? (tr-concept-sorted-views (tr-find-concept "agent"))
= ((tr-conceptview (tr-concept "agent") "buyer")
	(tr-conceptview (tr-concept "agent") "seller"))
? (tr-conceptview-concept (tr-conceptview (tr-concept "agent") "buyer"))
= (tr-concept "agent")
? (tr-conceptview-name (tr-conceptview (tr-concept "agent") "buyer"))
= "buyer"
? (tr-conceptview-root (tr-conceptview (tr-concept "agent") "buyer"))
= (tr-class (tr-conceptview (tr-concept "agent") "buyer") "agent")
? (tr-conceptview-exhaustive (tr-conceptview (tr-concept "agent") "buyer"))
= ()
? (tr-conceptview-exclusive (tr-conceptview (tr-concept "agent") "buyer"))
= ()
? (tr-conceptview-exclusive (tr-conceptview (tr-concept "agent") "buyer") t)
= t
? (tr-conceptview-exclusive (tr-conceptview (tr-concept "agent") "buyer"))
= t
? (tr-conceptview-definitional (tr-conceptview (tr-concept "agent") "buyer"))
= ()

Class definition

The class structure

Specialisation

• Unhiding a new field called area with the possible values in the center restricted as { "grenoble"}.
• Restricting the addresses to be addresses in the center area (see below for field restrictions in classes).

Membership and attachment

• The objects can change their attachment class from time to time while they are always instances of the same concept;
• The objects can violate the constraints on their classes (they will be re-classified under the root class) but cannot violate those of the concepts;
• The concept refers to methods allowing to compute the true value of a field while a class only refers to methods for guessing a hypothetical value for a field.

Interface

Screendump 14: Class display.

Screendump 15: Class edition.

Screendump 16: Attached objects.

Screendump 17: Class creation.

API

(tr-class-p anything) predicate in [libtrp]

-> boolean, anything entity

Returns anything if the argument anything is a class, () otherwise.

(tr-create-classsuperclass classname ) function in [libtrp]

-> class,, superclass class _nac classname string _{nas, adc}

Creates and returns a new class of name classname. This class is a specialisation of the class superclass and is part of the concept viewpoint of this last class. It will, therefore, be in the concept viewpoint hierarchy until deletion or initialisation.

(tr-find-class conceptview classnam e) function in [libtrp]

-> class, conceptview conceptview _nakv, classname string _nas

Retrieves and returns the class of name classname in the concept viewpoint conceptview. When no such class is known, returns ().

(tr-class conceptview classname superclass ) macro in [libtrp]

-> class, conceptview conceptview _nakv, classname string _nas, superclass class _{nac, nikv}

Retrieves and returns the class of name classname in the concept viewpoint conceptview. When no such class is known, creates it as a specialisation of the class superclass and returns it.

(tr-delete-class class) function in [libtrp]

-> boolean, class class _{nac, cdrc, neo}

Deletes the class class from the environment. This leads to its deletion in its concept viewpoint hierarchy and can only happen if the class is as empty as at its creation. Afterwards, the class does not exist anymore in the environment.

(tr-erase-class class) function in [libtrp]

-> boolean, class class _{nac, cdrc, neo}

Deletes the class class andits content from the environment. Afterwards, neither the class nor its classslots and constraints nor the bridges which refer to it exist anymore in the environment.

(tr-class-conceptview class) function in [libtrp]

-> conceptview, class class _nac

Returns the concept viewpoint of the class class.

(tr-class-concept class) function in [libtrp]

-> concept, class class _nac

Returns the concept of the class class.

(tr-class-name class) function in [libtrp]

-> string, class class _nac

Returns the name of the class class.

(tr-class-rename class name ) function in [libtrp]

-> string, class class _nac, name string _{nas, adc, crrc}

Changes the name of the class class for the string name. The root class name cannot be changed.

(tr-class-superclass class) function in [libtrp]

-> class, class class _nac

Returns the superclass of the class class or () if class is a root class.

(tr-class-subclasses class) function in [libtrp]

-> { class* }, class class _nac

Returns the set of direct sub-classes of the class class.

(tr-class-all-subclasses class) function in [libtrp]

-> { class* }, class class _nac

Returns the set of sub-classes of the class class.

(tr-class-superclass-p superclass class ) function in [libtrp]

-> boolean, superclass class_nac, class class _{nac, nikv}

Tells wether the class superclass is a superclass (at any level) of the class class.

(tr-class-bridges-in class) function in [libtrp]

-> { bridge* }, class class _nac

Returns the set of bridges whose destination is the class class.

(tr-class-bridges-out class) function in [libtrp]

-> { bridge* }, class class _nac

Returns the set of bridges whose source contains the class class.

(tr-class-sorted-slots class optional: sort-function ) function in [libtrp]

-> { classslot* }, class class _nac, sort-function function

Returns the set of class fields of the class class in the creation order of the corresponding conceptslots (or their order in the base description file) by default. If the sort-function is provided, the classslots are sorted according to it.

(tr-class-slots class) function in [libtrp]

-> { classslot* }, class class _nac

Returns the set of class fields of the class class.

( tr-class-attached class) function in [libtrp]

-> { object* }, class class _nac

Returns the set of objects attached to the class class.

(tr-class-members class) function in [libtrp]

-> { object* }, class class _nac

Returns the set of objects member of the class class.

Examples

? (tr-create-class
    (tr-conceptview-root (tr-conceptview (tr-concept "agent") "buyer")) "good")
= (tr-class (tr-conceptview (tr-concept "agent") "buyer") "good")
? (tr-create-class
    (tr-conceptview-root (tr-conceptview (tr-concept "agent") "buyer")) "bad")
= (tr-class (tr-conceptview (tr-concept "agent") "buyer") "bad")
? (tr-create-class
    (tr-conceptview-root (tr-conceptview (tr-concept "agent") "seller")) "good")
= (tr-class (tr-conceptview (tr-concept "agent") "seller") "good")
? (tr-create-class
    (tr-conceptview-root (tr-conceptview (tr-concept "agent") "seller")) "bad")
= (tr-class (tr-conceptview (tr-concept "agent") "seller") "bad")
? (tr-create-class
    (tr-find-class (tr-conceptview (tr-concept "agent") "buyer") "good") "favorite")
= (tr-class (tr-conceptview (tr-concept "agent") "buyer") "favorite")
? (tr-create-class
    (tr-find-class (tr-conceptview (tr-concept "agent") "buyer") "good") "valuable")
= (tr-class (tr-conceptview (tr-concept "agent") "buyer") "valuable")
? (tr-class-p ())
= ()
? (tr-class-p (tr-find-class (tr-conceptview (tr-concept "agent") "buyer") "favorite"))
= (tr-class (tr-conceptview (tr-concept "agent") "buyer") "favorite")
? (tr-create-class
    (tr-find-class (tr-conceptview (tr-concept "agent") "buyer") "good") "not-so-good")
= (tr-class (tr-conceptview (tr-concept "agent") "buyer") "not-so-good")
? (tr-delete-class (tr-class (tr-conceptview (tr-concept "agent") "buyer") "not-so-good"))
= t
? (tr-superclass-p
	(tr-find-class (tr-conceptview (tr-concept "agent") "buyer") "good")
 	(tr-find-class (tr-conceptview (tr-concept "agent") "buyer") "valuable"))
= t
? (tr-superclass-p
	(tr-find-class (tr-conceptview (tr-concept "agent") "buyer") "valuable")
	(tr-find-class (tr-conceptview (tr-concept "agent") "buyer") "good"))
= ()
? (tr-superclass-p
	(tr-find-class (tr-conceptview (tr-concept "agent") "buyer") "valuable")
	(tr-find-class (tr-conceptview (tr-concept "agent") "buyer") "favorite"))
= ()
? (tr-class-conceptview
    (tr-class (tr-conceptview (tr-concept "agent") "buyer") "favorite"))
= (tr-conceptview (tr-concept "agent") "buyer")
? (tr-class-concept
    (tr-class (tr-conceptview (tr-concept "agent") "buyer") "favorite"))
= (tr-concept "agent")
? (tr-class-name (tr-class (tr-conceptview (tr-concept "agent") "buyer") "favorite"))
= "favorite"
? (tr-class-superclass
    (tr-class (tr-conceptview (tr-concept "agent") "buyer") "favorite"))
= (tr-class (tr-conceptview (tr-concept "agent") "buyer") "good")
? (tr-class-superclass
    (tr-conceptview-root (tr-conceptview (tr-concept "agent") "buyer")))
= ()
? (tr-class-subclasses
    (tr-class (tr-conceptview (tr-concept "agent") "buyer") "favorite"))
= ()
? (tr-class-subclasses
    (tr-conceptview-root (tr-conceptview (tr-concept "agent") "buyer")))
= ((tr-class (tr-conceptview (tr-concept "agent") "buyer") "bad")
   (tr-class (tr-conceptview (tr-concept "agent") "buyer") "good"))
? (tr-class-all-subclasses
    (tr-conceptview-root (tr-conceptview (tr-concept "agent") "buyer")))
= ((tr-class (tr-conceptview (tr-concept "agent") "buyer") "agent")
   (tr-class (tr-conceptview (tr-concept "agent") "buyer") "bad")
   (tr-class (tr-conceptview (tr-concept "agent") "buyer") "good")
   (tr-class (tr-conceptview (tr-concept "agent") "buyer") "valuable")
   (tr-class (tr-conceptview (tr-concept "agent") "buyer") "favorite"))
? (tr-class-bridges-in
    (tr-class (tr-conceptview (tr-concept "agent") "buyer") "favorite"))
= ()
? (tr-class-bridges-out
    (tr-class (tr-conceptview (tr-concept "agent") "buyer") "favorite"))
= ()
? (tr-class-slots
    (tr-class (tr-conceptview (tr-concept "agent") "buyer") "favorite"))
= ()
? (tr-class-attached
    (tr-class (tr-conceptview (tr-concept "agent") "buyer") "favorite"))
= ()
? (tr-class-members
    (tr-class (tr-conceptview (tr-concept "agent") "buyer") "favorite"))
= ()

Class field definition: data typing aspects/unary constraints

Type refinement

Advanced type refinement

• It does not appear in the specialisation graph of its viewpoint;
• No object is properly attached to a filter.

Enumeration

Exclusion

Unary constraints

Intervals

	[45 52]	=>	(tr-make-interval 45 t 52 t)
	[45 52[	=>	(tr-make-interval 45 t 52 ())
	]45 52]	=>	(tr-make-interval 45 () 52 t)
	]45 52[	=>	(tr-make-interval 45 () 52 ())
	]-[infinity] +[infinity][	=>	(tr-make-interval '-inf () '+inf ())

Cardinality

Interface

Screendump 18: Class field display.

Screendump 19: Class field edition.

Screendump 20: Class field typing modification.

Screendump 21: Class field domain modification.

Screendump 22: Class field except modification.

Screendump 23: Class field intervals modification.

Screendump 24: Class field cardinality modification.

Screendump 25: Class field creation.

API

(tr-classslot-p anything) predicate in [libtrp]

-> boolean, anything entity

Returns anything if the argument anything is a class field, () otherwise.

(tr-create-classslot class classslotname ) function in [libtrp]

-> classslot, class class _nac, classslotname string _{nas, niks, adcs}

Creates and returns a new class field of name classslotname in the class class. The corresponding concept field is then visible under the concept viewpoint of the class. It will therefore be known of the system until deletion or initialisation.

(tr-find-classslot class classslotname ) function in [libtrp]

->classslot, class class _nac, classslotname string _{nas, niks}

Retrieves and returns the class field of name classslotname in the class class. When no such class field is known, returns ().

(tr-classslot class classslotname ) macro in [libtrp]

-> classslot, class class _nac, classslotname string _{nas, niks}

Retrieves and returns the class field of name classslotname in the class class. When no such class field is known, creates and returns it.

(tr-delete-classslot classslot) function in [libtrp]

-> boolean, classslot classslot _{nacs, neo}

Deletes the class field classslot from the environment. If there is no class field corresponding to the same concept field as classslot in the viewpoint, then the concept field is not visible anymore under the concept viewpoint. Afterwards, the class field does not exist anymore in the environment.

(tr-erase-classslot classslot) function in [libtrp]

-> boolean, classslot classslot _{nacs, neo}

Deletes the class field classslot from the environment. Afterwards, the class field does not exist anymore in the environment.

(tr-classslot-name classslot) function in [libtrp]

-> string, classslot classslot _nacs

Returns the name of the class field classslot.

(tr-classslot-class classslot) function in [libtrp]

-> class, classslot classslot _nacs

Returns the class of the class field classslot.

(tr-classslot-conceptslot classslot) function in [libtrp]

-> conceptslot, classslot classslot _nacs

Returns the concept field corresponding to the class field classslot.

(tr-get-classslot-type classslot) function in [libtrp]

-> { class* }, classslot classslot _nacs

Returns the type of the class field classslot, () if it is not refined in the class field.

(tr-set-classslot-type classslot type ) function in [libtrp]

-> boolean, classslot classslot _nacs, type { class _ivt* } _{ivt, adf}

Refines the type of the class field classslot by setting it to the new type type.

(tr-get-classslot-domain classslot) function in [libtrp]

-> { entity* }, classslot classslot _nacs

Returns the domain of the class field classslot, () if it is not refined in the class field.

(tr-set-classslot-domain classslot domain) function in [libtrp]

-> boolean, classslot classslot _nacs, domain { entity* } _{ivd, adf}

Refines the domain of the class field classslot by restricting it to the new domain domain.

(tr-get-classslot-except classslot) function in [libtrp]

-> { entity* }, classslot classslot _nacs

Returns the exceptions of the class field classslot, () if they are not refined in the class field.

(tr-set-classslot-except classslot domain) function in [libtrp]

-> boolean, classslot classslot _nacs, domain { entity* } _{ive, adf}

Refines the exceptions of the class field classslot by retracting the new domain domain.

(tr-get-classslot-intervals classslot) function in [libtrp]

-> { interval* }, classslot classslot _nacs

Returns the intervals of the class field classslot, () if they are not refined in the class field.

(tr-set-classslot-intervals classslot intervals) function in [libtrp]

-> boolean, classslot classslot _nacs, intervals ( interval* ) _{ivi, adf}

Refines the intervals of the class field classslot by restricting them to the new intervals intervals.

(tr-get-classslot-card classslot) function in [libtrp]

-> interval, classslot classslot _nacs

Returns the cardinal of the class field classslot, () if it is not refined in the class field.

(tr-set-classslot-card classslot interval ) function in [libtrp]

-> boolean, classslot classslot _nacs,nct, interval interval_{ivcd, adf}

Refines the cardinal interval of the class field classslot by restricting it to the new interval interval.

Examples

? (tr-classslot-p
    (tr-create-classslot
      (tr-class (tr-conceptview (tr-concept "agent") "buyer") "agent") "comission"))
= (tr-classslot (tr-class (tr-conceptview (tr-concept "agent") "buyer") "agent") "comission")
? (tr-find-classslot
    (tr-class (tr-conceptview (tr-concept "agent") "buyer") "agent") "comission")
= (tr-classslot (tr-class (tr-conceptview (tr-concept "agent") "buyer") "agent") "comission")
? (tr-create-classslot
    (tr-class (tr-conceptview (tr-concept "agent") "buyer") "agent")
    "houses")
= (tr-classslot (tr-class (tr-conceptview (tr-concept "agent") "buyer") "agent") "houses")
? (tr-classslot-name
    (tr-classslot (tr-class (tr-conceptview (tr-concept "agent") "buyer") "agent")
                  "comission"))
= "comission"
? (tr-classslot-class
    (tr-classslot (tr-class (tr-conceptview (tr-concept "agent") "buyer") "agent")
                  "comission"))
= (tr-class (tr-conceptview (tr-concept "agent") "buyer") "agent")
? (tr-get-classslot-intervals
    (tr-classslot (tr-class (tr-conceptview (tr-concept "agent") "buyer") "agent")
                  "comission"))
= #s(<undef>)
? (tr-set-classslot-intervals
    (tr-classslot (tr-class (tr-conceptview (tr-concept "agent") "buyer") "agent")
                  "comission")
    (list (tr-make-interval 0. t 100. t)))
= ((tr-make-interval 0. t 100. t))
? (tr-get-classslot-intervals
    (tr-classslot (tr-class (tr-conceptview (tr-concept "agent") "buyer") "agent")
                  "comission"))
= ((tr-make-interval 0. t 100. t))
? (tr-set-classslot-intervals
    (tr-classslot (tr-class (tr-conceptview (tr-concept "agent") "buyer") "good")
                  "comission")
    (list (tr-make-interval 0. t 7. t)))
= ((tr-make-interval 0. t 7. t))
? (tr-set-classslot-intervals
    (tr-classslot (tr-class (tr-conceptview (tr-concept "agent") "buyer") "bad")
                  "comission")
    (list (tr-make-interval 7. () 100. t)))
= ((tr-make-interval 7. () 100. t))
? (tr-set-classslot-domain
    (tr-classslot (tr-class (tr-conceptview (tr-concept "agent") "buyer") "agent")
                  "area")
    (list "meylan" "grenoble" "echirolles" "crolles" "montbonnot"
	       "eybens" "saint-martin d'heres" "fontaine" "sassenage"
	       "sessinnet" "saint-egreve"))
= ("meylan" "grenoble" "echirolles" "crolles" "montbonnot" "eybens" 
"saint-martin d'heres" "fontaine" "sassenage" "sessinnet" "saint-egreve")
? (tr-set-classslot-except
    (tr-classslot (tr-class (tr-conceptview (tr-concept "agent") "buyer") "valuable")
                  "area")
    (list "meylan" "grenoble" "crolles" "montbonnot"
	       "saint-martin d'heres"))
= ("meylan" "grenoble" "crolles" "montbonnot" "saint-martin d'heres")
? (tr-get-classslot-except
    (tr-classslot (tr-class (tr-conceptview (tr-concept "agent") "buyer") "valuable")
                  "area"))
= ("meylan" "grenoble" "crolles" "montbonnot" "saint-martin d'heres")
? (tr-set-classslot-domain
    (tr-classslot (tr-class (tr-conceptview (tr-concept "agent") "buyer") "favorite")
                  "area")
    (list "meylan" "grenoble" "crolles" "montbonnot"
	       "saint-martin d'heres"))
= ("meylan" "grenoble" "crolles" "montbonnot" "saint-martin d'heres")
? (tr-get-classslot-domain
    (tr-classslot (tr-class (tr-conceptview (tr-concept "agent") "buyer") "favorite")
                  "area"))
= ("meylan" "grenoble" "crolles" "montbonnot" "saint-martin d'heres")
? (tr-set-classslot-type
    (tr-classslot (tr-class (tr-conceptview (tr-concept "agent") "buyer") "favorite")
                  "houses")
    (list
      (tr-find-class (tr-find-conceptview (tr-find-concept "house") "size") "palace")))
= ((tr-class (tr-conceptview (tr-concept "house") "size") "palace"))
? (tr-get-classslot-type
    (tr-classslot (tr-class (tr-conceptview (tr-concept "agent") "buyer") "favorite")
                  "houses"))
= ((tr-class (tr-conceptview (tr-concept "house") "size") "palace"))
? (tr-set-classslot-card
    (tr-classslot (tr-class (tr-conceptview (tr-concept "agent") "buyer") "favorite")
                  "houses")
    (tr-make-interval 30 t '+inf ()))
= (tr-make-interval 30 t '+inf ())
? (tr-get-classslot-card
    (tr-classslot (tr-class (tr-conceptview (tr-concept "agent") "buyer") "favorite")
                  "houses"))
= (tr-make-interval 30 t '+inf ())
? (tr-delete-classslot
    (tr-classslot (tr-class (tr-conceptview (tr-concept "agent") "buyer") "agent")
                  "houses"))
= t
? (tr-class-slots
    (tr-find-class (tr-find-conceptview (tr-find-concept "agent") "buyer") "agent"))
= ((tr-classslot (tr-class (tr-conceptview (tr-concept "agent") "buyer") "agent") "area")
   (tr-classslot (tr-class (tr-conceptview (tr-concept "agent") "buyer") "agent") "comission")
? (tr-class-sorted-slots
  (tr-find-class
      (tr-find-conceptview
        (tr-find-concept "agent")
	"buyer")
      "agent"))
= ((tr-classslot (tr-class (tr-conceptview (tr-concept "agent") "buyer") "agent") "area")
	(tr-classslot (tr-class (tr-conceptview (tr-concept "agent") "buyer") "agent") "comission")

Filters

Interface

Screendump 26: Filter creation, edition and execution.

Screendump 27: Filter result.

API

(tr-filter-p anything) function in [libtrp]

-> boolean, anything entity

Creates and returns a new filter from class class with no more constraint than the class class.

(tr-create-filter concept rest: classes) function in [libtrp]

-> filter, concept concept _nak, classes { class _nac* } _ivb

Creates and returns a new filter in concept concept from classes classes with no more constraint than those of the classes.

(tr-delete-filter filter) function in [libtrp]

-> boolean, filter filter_{naft, neo}

Deletes the filter filter. This inhibits it. This can only happen if the filter is as empty as at its creation: i.e. it has no classslots nor constraints. Afterwards, the filter does not exist anymore in the environment.

(tr-erase-filter filter) function in [libtrp]

-> boolean, filter filter_{naft, neo}

Deletes the filter filter and its classslots and constraints.

(tr-filtered-objects filter) function in [libtrp]

-> ( object* ), filter filter_naft

Returns the set of objects which satisfy the filter filter.

(tr-concept-proper-filters concept) function in [libtrp]

-> ( filter* ), concept concept_nak

Returns the set of filters of the concept concept which are not attached to any class.

(tr-class-proper-filters class) function in [libtrp]

-> ( filter* ), class class_nac

Returns the set of filters directly attached to the class class.

(tr-class-filters class) function in [libtrp]

-> ( filter* ), class class_nac

Returns the set of filters indirectly attached under the class class.

Examples

? (tr-class-proper-filters
    (tr-class (tr-conceptview (tr-concept "agent") "buyer") "good"))
= ()
? (setf my-filter
    (tr-create-filter
		(tr-concept "agent")
		(tr-class (tr-conceptview (tr-concept "agent") "buyer") "good")))
= (tr-filter (tr-concept "agent"))
? (tr-class-proper-filters
    (tr-class (tr-conceptview (tr-concept "agent") "buyer") "good"))
= ((tr-filter (tr-concept "agent")))
? (tr-class-proper-filters
    (tr-class (tr-conceptview (tr-concept "agent") "buyer") "agent"))
= ()
? (tr-class-filters
    (tr-class (tr-conceptview (tr-concept "agent") "buyer") "agent"))
= ((tr-filter (tr-concept "agent")))
? (tr-filter-p my-filter)
= (tr-filter (tr-concept "agent"))
? (tr-concept-proper-filter (tr-concept "agent"))
= ()
? (tr-class-filters
  	(tr-class (tr-conceptview (tr-concept "agent") "buyer") "agent"))
= ((tr-filter (tr-concept "agent")))
? (tr-filtered-objects my-filter)
= ()
? (setf my-other-filter (tr-create-filter (tr-concept "agent")))
= (tr-filter (tr-concept "agent"))
? (eq my-filter my-other-filter)
= ()
? (tr-concept-proper-filters (tr-concept "agent"))
= ((tr-filter (tr-concept "agent")))

Bridges

• The (combination of the) field restrictions of the sources classes can be inferred as having more (or the same) restrictions than the destination class. Installing bridges between classes does not lead to any consequence on the visibility of fields. However, it has consequences on how the field values (even hidden) are constrained. For instance, if any residential house must be high priced, this means that a particular house is not subject to be classified in the residential class when it is low priced, and this, even if the price field is not visible under the localisation viewpoint (see the "classification" section for more details about this).
• The source classes must all be from different viewpoints (otherwise, the bridge is either redundant or contradictory). The destination class must be from a different viewpoint than the viewpoints of source classes (otherwise this would result either in asserting that some classes are empty or some other -- related by specialisation -- are the same by definition).

• Each pair of bridges with the same source can only have, as destinations, classes related by specialisation.
• When considering a first viewpoint with a class A and two subclasses A' and A", a second viewpoint with a class B and two sub-classes B' and B" plus two one-way bridges from B' to A and from A' to B, it can be deduced that (1) A" and B" are empty (2) A, A', B, B'are the same class.
• Concerning circularity detection among bridges, the system detects and refuses only one kind of circular bridge sets: those which constrain any object triggering the bridge to migrate in a class non comparable with one of the sources of the bridge (see Figure 9 ).

Interface

Screendump 28: Bridge display.

Screendump 29: Bridge edition.

Screendump 30: Bridge creation and modification.

API

( tr-bridge-p anything) predicate in [libtrp]

-> boolean, anything entity

Returns anything if the argument anything is a bridge, () otherwise.

(tr-create-bridge concept name source destination ) function in [libtrp]

-> bridge, concept concept _nak, name string _nas,adb,, source { class _nac* } _ivbp , destination class _nac

Creates and returns a new bridge between the source classes source and the destination class destination. This bridge is automatically inserted in the list of bridges of the concept and the lists of bridges of the concerned classes. The consequences of the bridge establishment on the types of classes under the different viewpoints are computed and notified.

(tr-find-bridge concept bridgename ) function in [libtrp]

->bridge, concept concept _nak, bridgename string _nas

Retrieves and returns the bridge of name bridgename in the concept concept. When no such bridge is known, returns ().

(tr-bridge concept bridgename source destination ) function in [libtrp]

->bridge, concept concept _nak, bridgename string _nas, source { class _nac* } _ivbp , destination class _nac

Retrieves and returns the bridge of name bridgename in the concept concept. When no such bridge is known, creates and returns it.

(tr-delete-bridge bridge ) function in [libtrp]

-> boolean, bridge bridge _{nap, neo}

Deletes the bridge bridge from its concept. The bridge is automatically removed from the list of bridges of the concept and the list of bridges of source and destination classes.

(tr-erase-bridge bridge ) function in [libtrp]

-> boolean, bridge bridge _{nap, neo}

Deletes the bridge bridge from its concept. The bridge is automatically removed from the list of bridges of the concept and the lists of bridges of source and destination classes.

(tr-bridge-concept bridge ) function in [libtrp]

-> concept, bridge bridge _nap

Returns the concept of the bridge bridge.

(tr-bridge-name bridge ) function in [libtrp]

-> string, bridge bridge _nap

Returns the name of the bridge bridge.

(tr-bridge-rename bridge name ) function in [libtrp]

-> string, bridge bridge _nap, name string _{nas, adp}

Changes the name of the bridge bridge for the string name.

(tr-bridge-source bridge ) function in [libtrp]

-> { class* }, bridge bridge _nap

Returns the set of source classes of the bridge bridge.

(tr-bridge-destination bridge ) function in [libtrp]

-> class, bridge bridge _nap

Returns the destination class of the bridge bridge.

Examples

? (tr-bridge-p ())
= ()
? (tr-bridge-p
    (tr-create-bridge
      (tr-concept "agent") "bad-agents-are-preferable"
      (list (tr-class (tr-conceptview (tr-concept "agent") "buyer") "favorite"))
      (tr-class (tr-conceptview (tr-concept "agent") "seller") "bad")))
= (tr-bridge (tr-concept "agent") "bad-agents-are-preferable")
? (tr-class-bridges-in (tr-class (tr-conceptview (tr-concept "agent") "seller") "bad"))
= ((tr-bridge (tr-concept "agent") "bad-agents-are-preferable"))
? (tr-class-bridges-out
    (tr-class (tr-conceptview (tr-concept "agent") "buyer") "favorite"))
= ((tr-bridge (tr-concept "agent") "bad-agents-are-preferable"))
? (tr-concept-bridges (tr-concept "agent"))
= ((tr-bridge (tr-concept "agent") "bad-agents-are-preferable"))
? (tr-bridge-concept (tr-bridge (tr-concept "agent") "bad-agents-are-preferable"))
= (tr-concept "agent")
? (tr-bridge-name (tr-bridge (tr-concept "agent") "bad-agents-are-preferable"))
= "bad-agents-are-preferable"
? (tr-bridge-source (tr-bridge (tr-concept "agent") "bad-agents-are-preferable"))
= ((tr-class (tr-conceptview (tr-concept "agent") "buyer") "favorite"))
? (tr-bridge-destination (tr-bridge (tr-concept "agent") "bad-agents-are-preferable"))
= (tr-class (tr-conceptview (tr-concept "agent") "seller") "bad")

Objects

• a number of room under the size viewpoint;
• a rent-price under the price viewpoint (yeah, the extra charge is also unfilled);
• an area under the localisation viewpoint.

Class definition, attachment and values

Interface

Screendump 31: Object display.

Screendump 32: Object edition. The key field values are not editable.

Screendump 33: Object creation and modification.

Screendump 34: Field value modification.

Screendump 35: Object attachment.

API

(tr-object-p anything) predicate in [libtrp]

-> boolean, anything entity

Returns anything if the argument anything is an object, () otherwise.

(tr-create-object concept keyval ) function in [libtrp]

-> object, concept concept _nak, keyval ( entity* ) _{ivk, aeo}

Creates and returns a new instance of the concept concept with the key specified by the list of key field values keyval. It will therefore be known of the system until deletion or initialisation.

(tr-create-complete-object concept classlist slotvallist ) function in [libtrp]

-> object, concept concept _nak, classlist { class _nac* } _ivps, slotvallist { (string _nas,nsa . entity) _btv* } _{ivk, aeo}

Creates and returns a new instance of the concept concept with the list of field values given in slotvallist (which must at least contain the values for key slots). The created object is attached to the classes in classlist. It will be known of the system until deletion or initialisation.

(tr-find-object concept keyval ) function in [libtrp]

-> object, concept concept _nak, keyval ( entity* ) _ivk

Retrieves and returns the instance of concept concept with key keyval. When no such object is known, returns ().

(tr-object concept keyval ) macro in [libtrp]

-> object, concept concept _nak, keyval ( entity* ) _ivk

Retrieves and returns the instance of concept concept with key keyval. When no such object is known, creates and returns it.

(tr-delete-object object ) function in [libtrp]

-> boolean, object object _{nao, neo}

Deletes the object object from the environment. Afterwards, the object does not exist anymore in the environment.

(tr-erase-object object ) function in [libtrp]

-> boolean, object object _{nao, neo}

Deletes the object object from the environment. Afterwards, the object does not exist anymore in the environment.

(tr-object-key object ) function in [libtrp]

-> ( entity* ), object object _nao

Returns the list of key field values of the object object.

(tr-object-concept object ) function in [libtrp]
(tr-is-a object ) macro in [libtrp]

-> concept, object object _nao

Returns the concept of the object object.

(tr-is-in object rest: views ) function in [libtrp]

-> { class* }, object object _nao, views { conceptview _nakv* } _ivsp

Returns the set of classes to which the object object is attached. If the optional set of concept views views is provided, only the classes in the concerned views are returned.

(tr-is-in-under object conceptview ) function in [libtrp]

-> class, object object _nao, conceptview conceptview _nakv

Returns the class to which the object object is attached under the concept viewpoint conceptview.

(tr-attach object class ) function in [libtrp]

-> class, object object _nao, class class _{nac, nik}

Attaches the object object to the class class. The previous attachment class of the object under the same concept viewpoint is no longer valid. Note that the compliance of the object with the class definition is checked before attachment; in case of failure, nothing is changed.

(tr-set-value object slotname value rest: views ) function in [libtrp]

-> boolean, object object _nao, slotname string _{nas, ukks} ,value entity _{ivsv, cmk, kcv, ccv} ,
views { conceptview _nakv* } _ivsp

Sets the value of the field of name slotname of the object object to the value value. If the value in the field is any other value, an error is raised. The compliance of the new value value with the type of the classslot in each class to which the object is attached is checked. If it fails, nothing is changed and the error ivsv is raised. If the optional set of concept views views is provided, the action only happens if the field is visible under at least one of the views.

(tr-unset-value object slotname rest: views ) function in [libtrp]

-> boolean, object object _nao, slotname string _{nas, ukks} ,views { conceptview _nakv* } _ivsp

Resets the value of the field of name slotname of the object object. The old value of the field, if any, is discarded. If the optional set of concept views views is provided, the action only happens if the field is visible under at least one of the views.

( tr-get-value object slotname rest: views ) function in [libtrp]

-> value, object object _nao, slotname string _{nas, ukks} , views { conceptview _nakv* } _ivsp

Returns the value of the field of name slotname of the object object to the value value. If no value has been provided for the field, the (unbound-slot-value) value is returned. If the optional set of concept views views is provided, the action only happens if the field is visible under at least one of the views.

(tr-modify-value object slotname value rest: views ) function in [libtrp]

-> boolean, object object _nao, slotname string _{nas, ukks} ,value entity _{ivsv, cmk, kcv, ccv} ,
views { conceptview _nakv* } _ivsp

Sets the value of the field of name slotname of the object object to the value value. If the value in the field is any other value, no error is raised. The compliance of the new value value with the type of the classslot in each class to which the object is attached is checked. If it fails, nothing is changed and the error ivsv is raised. If the optional set of concept views views is provided, the action only happens if the field is visible under at least one of the views.

(tr-add-value object slotname value rest: views ) function in [libtrp]

-> boolean, object object _nao, slotname string _{nas, ukks,ncs} ,value entity _{ivsv, cmk, kcv, ccv} ,
views { conceptview _nakv* } _ivsp

Adds the value value to the value of the field of name slotname of the object object. The compliance of the value with the type of the field is checked. If it fails, nothing is changed. If the optional set of concept views views is provided, the action only happens if the field is visible under at least one of the views.

(tr-rem-value object slotname value rest: views ) function in [libtrp]

-> boolean, object object _nao, slotname string _{nsa, ukks,ncs} ,value entity _{ivsv, cmk, kcv, ccv} ,
views { conceptview _nakv* } _ivsp

Removes the value value from the field of name slotname of the object object. The compliance of the value with the type of the field is checked. If it fails, nothing is changed. If the optional set of concept views views is provided, the action only happens if the field is visible under at least one of the views.

(tr-mem-value object slotname value rest: views ) function in [libtrp]

-> boolean, object object _nao, slotname string _{nsa, ukks,ncs} ,value entity _ivsv, views { conceptview _nakv* } _ivsp

Returns the value value if it is a member of the value of the field of name slotname of the object object and () if it is not. If the optional set of concept views views is provided, the action only happens if the field is visible under at least one of the views.

Examples

? (tr-object-p ())
= ()
? (tr-object-p (tr-create-object (tr-concept "agent") '("immo38")))
= (tr-object (tr-concept "agent") '("immo38"))
? (tr-find-object (tr-concept "agent") '("immo38"))
= (tr-object (tr-concept "agent") '("immo38"))
? (tr-create-complete-object
    (tr-concept "agent")
    (list (tr-class (tr-conceptview (tr-concept "agent") "buyer") "favorite")
	       (tr-class (tr-conceptview (tr-concept "agent") "seller") "bad"))
   '(("name" . "first-immo")
     ("comission" . 6.5)
     ("area" . "grenoble")))
= (tr-object (tr-concept "agent") '("first-immo"))
? (tr-concept-instances (tr-concept "agent"))
= ((tr-object (tr-concept "agent") '("immo38"))
   (tr-object (tr-concept "agent") '("first-immo")))
? (tr-class-attached (tr-class (tr-conceptview (tr-concept "agent") "buyer") "agent"))
= ((tr-object (tr-concept "agent") '("immo38")))
? (tr-class-attached (tr-class (tr-conceptview (tr-concept "agent") "buyer") "bad"))
= ()
? (tr-class-members (tr-class (tr-conceptview (tr-concept "agent") "buyer") "agent"))
= ((tr-object (tr-concept "agent") '("immo38"))
   (tr-object (tr-concept "agent") '("first-immo")))
? (tr-create-object (tr-concept "agent") '("bond, my name is bond"))
= (tr-object (tr-concept "agent") '("bond, my name is bond"))
? (tr-delete-object (tr-object (tr-concept "agent") '("bond, my name is bond")))
= t
? (tr-object-key (tr-find-object (tr-concept "agent") '("immo38")))
= ("immo38")
? (tr-object-concept (tr-find-object (tr-concept "agent") '("immo38")))
= (tr-concept "agent")
? (tr-is-in (tr-find-object (tr-concept "agent") '("immo38")))
= ((tr-class (tr-conceptview (tr-concept "agent") "buyer") "agent")
   (tr-class (tr-conceptview (tr-concept "agent") "seller") "agent"))
? (tr-is-in (tr-find-object (tr-concept "agent") '("first-immo")))
= ((tr-class (tr-conceptview (tr-concept "agent") "buyer") "favorite")
   (tr-class (tr-conceptview (tr-concept "agent") "seller") "bad")
? (tr-is-in-under
    (tr-find-object (tr-concept "agent") '("first-immo"))
    (tr-conceptview (tr-concept "agent") "seller"))
= (tr-class (tr-conceptview (tr-concept "agent") "seller") "bad")
? (tr-attach
    (tr-find-object (tr-concept "agent") '("immo38"))
    (tr-class (tr-conceptview (tr-concept "agent") "buyer") "bad"))
= (tr-class (tr-conceptview (tr-concept "agent") "buyer") "bad")
? (tr-class-attached
    (tr-class (tr-find-conceptview (tr-concept "agent") "buyer") "bad"))
= ((tr-object (tr-concept "agent") '("immo38")))
? (tr-is-in-under
    (tr-find-object (tr-concept "agent") '("immo38"))
    (tr-conceptview (tr-concept "agent") "buyer"))
= (tr-class (tr-conceptview (tr-concept "agent") "buyer") "bad")
? (tr-filtered-objects my-filter)
= ((tr-object (tr-concept "agent") '("first-immo")))
? (tr-set-classslot-domain
    (tr-create-classslot my-filter "area")
    (list "meylan" "montbonnot"))
= ("meylan" "montbonnot")
? (tr-filtered-objects my-filter)
= ()
? (tr-get-value (tr-object (tr-concept "agent") '("immo38")) "area")
= #s(<undef>)
? (tr-set-value (tr-object (tr-concept "agent") '("immo38")) "area" "saint-egreve")
= (tr-object (tr-concept "agent") '("immo38"))
? (tr-get-value (tr-object (tr-concept "agent") '("immo38")) "area")
= "saint-egreve"
? (tr-modify-value (tr-object (tr-concept "agent") '("immo38")) "area" "grenoble")
= (tr-object (tr-concept "agent") '("immo38"))
? (tr-get-value (tr-object (tr-concept "agent") '("immo38")) "area")
= "grenoble"
? (tr-unset-value (tr-object (tr-concept "agent") '("immo38")) "area")
= (tr-object (tr-concept "agent") '("immo38"))
? (tr-get-value (tr-object (tr-concept "agent") '("immo38")) "houses")
= #s(<undef>)
? (tr-get-value (tr-object (tr-concept "agent") '("immo38")) "houses")
= #s(<undef>)
? (tr-set-value (tr-object (tr-concept "agent") '("immo38")) "houses"
    (list (tr-object (tr-concept "house") '("meylan" 176 3))))
= (tr-object (tr-concept "agent") '("immo38"))
? (tr-add-value (tr-object (tr-concept "agent") '("immo38")) "houses"
    (tr-object (tr-concept "house") '("rue Monge" 3 2)))
= (tr-object (tr-concept "agent") '("immo38"))
? (tr-mem-value
    (tr-object (tr-concept "agent") '("immo38"))
    "houses"
    (tr-object (tr-concept "house") '("rue Monge" 3 2)))
= ((tr-object (tr-concept "house") '("rue Monge" 3 2)))
? (tr-rem-value
    (tr-object (tr-concept "agent") '("immo38"))
    "houses"
    (tr-object (tr-concept "house") '("meylan" 176 3)))
= (tr-object (tr-concept "agent") '("immo38"))
? (tr-get-value
    (tr-object (tr-concept "agent") '("immo38"))
    "houses")
= ((tr-object (tr-concept "house") '("rue Monge" 3 2)))

Annotations

API

(tr-declare-annotation label comment optional: type const ) function in [libtrp]

-> label, label string _nas,ada, comment string _nas, type string|concept _ivt, const string _{nas, ivc}

Declares the label label for annotating objects, raise an error if the label is already declared. If no type and constructor is given the annotation will simply not be saved.

(tr-declared-annotation-p label) function in [libtrp]

-> string|(), label string _nas

Checks if the label label is declared for annotations. If so, returns its comment otherwise returns ().

(tr-set-slot-annotation object slotname label annotation ) function in [libtrp]

-> object, object object _nao, slotname string _nas,ukks, label string _nas,naa, annotation entity _{, bta}

Sets the annotation annotation under the label label for the field slotname of the object object. This primitive does not check whether there is already a value or not: it just replaces it.

(tr-get-slot-annotation object slotname label ) function in [libtrp]

-> object, object object _nao, slotname string _nas,ukks, label string _nas,_naa

Gets and returns the annotation under the label label for the field slotname of the object object. Returns () if no such annotation is defined.

(tr-rem-slot-annotation object slotname label ) function in [libtrp]

-> object, object object _nao, slotname string _nas,ukks, label string _nas,_naa

Erases the annotation under the label label for the field slotname of the object object.

(tr-set-annotation entity label annotation ) function in [libtrp]

-> entity, entity entity _nao, label string _nas,_naa, annotation entity _{, bta}

Sets the annotation annotation under the label label for the entity entity. This primitive does not check whether there is already a value or not: it just replaces it.

(tr-get-annotation entity label ) function in [libtrp]

-> entity, entity entity _nao, label string _nas,_naa

Gets and returns the annotation under the label label for the entity entity. Returns () if no such annotation is defined.

(tr-rem-annotation entity label ) function in [libtrp]

-> entity, entity entity _nao, label string _nas,_naa

Erases the annotation under the label label for the entity entity.

Examples

? (tr-declared-annotation-p "my-opinion")
= ()
? (tr-declare-annotation "my-opinion" "Here is my opinion on the considered item")
= "Here is my opinion on the considered item"
? (tr-declared-annotation-p "my-opinion")
= "Here is my opinion on the considered item"
? (tr-set-annotation
    (tr-class (tr-conceptview (tr-concept "agent") "buyer") "good")
    "my-opinion"
    "Here I put good agents as far as I can judge")
= "Here I put good agents as far as I can judge"
? (tr-set-annotation
    (tr-object (tr-concept "agent") '("first-immo"))
    "my-opinion"
    "Not really the first, but at least, not the last")
= "Not really the first, but at least, not the last"
? (tr-get-annotation
	(tr-object (tr-concept "agent") '("first-immo"))
  "my-opinion")
= "Not really the first, but at lest, not the last")
? (tr-rem-annotation
	(tr-object (tr-concept "agent") '("first-immo"))
	"my-opinion")
= ()
? (tr-get-annotation
	(tr-object (tr-concept "agent") '("first-immo"))
	"my-opinion")
= ()
? (tr-set-slot-annotation
    (tr-object (tr-concept "agent") '("first-immo"))
    "area"
    "my-opinion"
    '("the agent lives in area" "saint-egreve"))
= ("the agent lives in area" "saint-egreve")
? (tr-get-slot-annotation
    (tr-object (tr-concept "agent") '("first-immo"))
    "area"
    "my-opinion")
= ("the agent lives in area" "saint-egreve")
? (tr-rem-slot-annotation
    (tr-object (tr-concept "agent") '("first-immo"))
    "area"
    "my-opinion")
= ()
? (tr-get-slot-annotation
    (tr-object (tr-concept "agent") '("first-immo"))
    "area"
    "my-opinion")
= ()

Lexicon

Description of lexicon elements

• its name which corresponds to the term itself (e.g., house);
• its definition which is a string defining the term (e.g. a building in which people, usually one family, live in);
• its hyperonym which is a lexitem representing a term more general than the current one (e.g. building);
• its hyponyms which are lexitems representing terms more specific than the current one (e.g. semi-detached house, cottage);
• its synonyms which are other lexitem representing terms with the same meaning (e.g. apartment for flat);
• its antonyms which are other lexitem representing terms with opposite meanings (e.g. non furnished for furnished);
• its bibliography which is set of bibliographic references (unspecified) related to the term (e.g. the place where the definition has been found: "Cambridge international dictionary of English, Cambridge university press, Cambridge (UK), 1995");
• its related objects which are TROEPS entities implementing in one sense or another the term (e.g. the house concept and all the root classes of this concept).

Linking lexicon elements to TROEPS objects

Interface

Screendump 36: Lexicon home page.

Screendump 37: Lexitem display.

Screendump 38: Lexitem edition.

Screendump 39: Lexitem creation.

API

(tr-load-lexicon filename optional: print ) function in [libtrp]

-> boolean, filename filename _naf,fnf, print boolean

Loads the lexicon contained in file filename.

(tr-save-lexicon filename) function in [libtrp]

-> boolean, filename filename _naf

Saves all the lexitems contained in the environment in the file filename.

(tr-lexitem-p anything) function in [libtrp]

-> boolean, anything entity

Returns anything if the argument anything is a lexitem, () otherwise.

(tr-create-lexitem name hyperonym ) function in [libtrp]

-> lexitem, name string _nas, hyperonyms ()|lexitem _nali

Creates a lexitem corresponding to a term. It has name for name and hyperonym for hyperorym if there are specified.

(tr-find-lexitem name) function in [libtrp]

-> lexitem, name string _nas

Finds the lexitem corresponding to the term name.

(tr-delete-lexitem lexitem) function in [libtrp]

-> boolean, lexitem lexitem _nali

Deletes the lexitem lexitem.

(tr-lexitem-name lexitem) function in [libtrp]

-> string, lexitem lexitem _nali

Returns the name of the lexitem lexitem.

(tr-lexitem-rename lexitem name ) function in [libtrp]

-> string, lexitem lexitem _nali, name string _nas,adl

Returns the name of the lexitem lexitem.

(tr-lexitem-definition lexitem) function in [libtrp]

-> string, lexitem lexitem _nali

Returns the definition of the lexitem lexitem.

(tr-lexitem-hyperonym lexitem) function in [libtrp]

-> lexitem, lexitem lexitem _nali

Returns the hyperonym of the lexitem lexitem.

(tr-lexitem-hyponyms lexitem) function in [libtrp]

-> ( lexitem* ), lexitem lexitem _nali

Returns the hyponyms of the lexitem lexitem.

(tr-lexitem-synonyms lexitem) function in [libtrp]

-> ( lexitem* ), lexitem lexitem _nali

Returns the synonyms of the lexitem lexitem.

(tr-lexitem-antonyms lexitem) function in [libtrp]

-> ( lexitem* ), lexitem lexitem _nali

Returns the antonyms of the lexitem lexitem.

(tr-lexitem-bibliography lexitem) function in [libtrp]

-> ( string* ), lexitem lexitem _nali

Returns the bibliographic references of the lexitem lexitem.

(tr-lexitem-objects lexitem) function in [libtrp]

-> ( entity* ), lexitem lexitem _nali

Returns the TROEPS entities related to the lexitem lexitem.

(tr-lexitem-set-hyperonym lexitem hyperonym ) function in [libtrp]

-> lexitem, lexitem lexitem _nali, hyperlexitem_nali

Sets the hyperonym of the lexitem lexitem to be the lexitem hyperonym.

(tr-lexitem-set-definition lexitem definition ) function in [libtrp]

-> lexitem, lexitem lexitem _nali, definition string_nas

Sets the definition of the lexitem lexitem to be the string definition.

(tr-lexitem-add-hyponym lexitem hyponym ) function in [libtrp]

-> lexitem, lexitem lexitem _nali, hyponym lexitem_nali

Add the lexitem hyponym in the hyponyms of the lexitem lexitem.

(tr-lexitem-add-synonym lexitem synonym ) function in [libtrp]

-> lexitem, lexitem lexitem _nali, synonym lexitem_nali

Adds the lexitem synonym in the synonyms of the lexitem lexitem.

(tr-lexitem-add-antonym lexitem antonym ) function in [libtrp]

-> lexitem, lexitem lexitem _nali, antonym lexitem_nali

Adds the lexitem antonym in the antonyms of the lexitem lexitem.

(tr-lexitem-add-bibliography lexitem bibliography ) function in [libtrp]

-> lexitem, lexitem lexitem _nali, bibliography string

Adds the bibliographic reference bibliography in the bibliography of the lexitem lexitem.

(tr-lexitem-add-object lexitem object ) function in [libtrp]

-> lexitem, lexitem lexitem _nali, object entity_nao

Adds the entity object in the related objects of the lexitem lexitem.

(tr-lexitem-rem-hyponym lexitem hyponym ) function in [libtrp]

-> lexitem, lexitem lexitem _nali, hyponym lexitem_nali

Removes the lexitem hyponym from the hyponyms of the lexitem lexitem.

(tr-lexitem-rem-synonym lexitem synonym ) function in [libtrp]

-> lexitem, lexitem lexitem _nali, synonym lexitem_nali

Removes the lexitem synonym from the synonyms of the lexitem lexitem.

(tr-lexitem-rem-antonym lexitem antonym ) function in [libtrp]

-> lexitem, lexitem lexitem _nali, antonym lexitem_nali

Removes the lexitem antonym from the antonyms of the lexitem lexitem.

(tr-lexitem-rem-bibliography lexitem bibliography ) function in [libtrp]

-> lexitem, lexitem lexitem _nali, bibliography string

Removes the bibliographic reference bibliography from the bibliography of the lexitem lexitem.

(tr-lexitem-rem-object lexitem object ) function in [libtrp]

-> lexitem, lexitem lexitem _nali, object entity_nao

Removes the entity object from the related objects of the lexitem lexitem.

(tr-attach-lexicon base) function in [libtrp]

-> entity, base base _nab

Attaches to each entity contained in the base base the lexitem corresponding to it.

(tr-get-lexitem entity) function in [libtrp]

-> lexitem, entity entity _nao

Returns the lexitem attached to a particular TROEPS entity entity ( () if none is attached).

Example

? (tr-create-lexitem `house ())
= (tr-lexitem "house")
? (tr-lexitem-name (tr-find-lexitem "house"))
= "house"
? (tr-lexitem-set-definition (tr-find-lexitem "house")
		"a building in which people, usually one familly, live in")
= "a building in which people, usually one familly, live in"
? (tr-lexitem-definition (tr-find-lexitem "house"))
= "a building in which people, usually one familly, live in"
? (tr-lexitem-add-bibliography (tr-find-lexitem "house")
		"Cambridge international dictionary of English, Cambridge university press, Cambridge (UK), 1995"))
= ("Cambridge international dictionary of English, Cambridge university press, Cambridge (UK), 1995")
? (tr-lexitem-bibliography (tr-find-lexitem "house"))
= ("Cambridge international dictionary of English, Cambridge university press, Cambridge (UK), 1995")
? (tr-lexitem-set-hyperonym (tr-find-lexitem "house")
		(tr-create-lexitem `building ()))
= (tr-lexitem "house")
? (tr-lexitem-hyperonym (tr-find-lexitem "house"))
= (tr-lexitem "building")
? (tr-lexitem-hyponyms (tr-find-lexitem "building"))
= ((tr-lexitem "house"))
? (tr-lexitem-add-hyponym (tr-find-lexitem "building")
		(tr-create-lexitem `flat ()))
= ((tr-lexitem "flat")(tr-lexitem "house"))
? (tr-lexitem-hyperonyms (tr-find-lexitem "flat"))
= ()
? (tr-lexitem-hyponyms (tr-find-lexitem "building"))
= ((tr-lexitem "flat")(tr-lexitem "house"))
? (tr-lexitem-add-synonym (tr-find-lexitem "flat")
		(tr-create-lexitem `appartment ()))
= ((tr-lexitem "flat"))
? (tr-lexitem-synonyms (tr-find-lexitem "flat"))
= ((tr-lexitem "appartment"))
? (tr-lexitem-synonyms (tr-find-lexitem "appartment"))
= ((tr-lexitem "flat"))
? (tr-lexitem-add-antonym (tr-create-lexitem `furnished ()))
		(tr-create-lexitem `non furnished ()))
= ((tr-lexitem "furnished"))
? (tr-lexitem-antonyms (tr-find-lexitem "furnished"))
= ((tr-lexitem "non furnished"))
? (tr-lexitem-antonyms (tr-find-lexitem "non furnished"))
= ((tr-lexitem "furnished"))
? (tr-attach-lexicon (tr-base "real-estate"))
= t
? (tr-lexitem-objects (tr-find-lexitem "house"))
= ((tr-class (tr-conceptview (tr-concept "house") "price") "house")
	(tr-class (tr-conceptview (tr-concept "house") "test") "house")
	(tr-class (tr-conceptview (tr-concept "house") "size") "house")
	(tr-class (tr-conceptview (tr-concept "house") "localisation") "house")
	(tr-concept "house"))
? (tr-get-lexitem (tr-concept "house"))
= (tr-lexitem "house")
? (tr-lexitem-add-object (tr-find-lexitem "house")
		(tr-object (tr-concept "house") `("rue Monge" 2 3))))
= (tr-lexitem "house")
? (tr-lexitem-objects (tr-find-lexitem "house"))
= ((tr-object (tr-concept "house") `("rue Monge" 2 3))
	(tr-class (tr-conceptview (tr-concept "house") "price") "house")
	(tr-class (tr-conceptview (tr-concept "house") "test") "house")
	(tr-class (tr-conceptview (tr-concept "house") "size") "house")
	(tr-class (tr-conceptview (tr-concept "house") "localisation") "house")
	(tr-concept "house"))
? (tr-save-lexicon #f"real-estate.ldf")
= ()
? (tr-lexitem-rem-object (tr-find-lexitem "house") (tr-concept "house"))
= (tr-lexitem "house")
? (tr-lexitem-objects (tr-find-lexitem "house"))
= ((tr-object (tr-concept "house") `("rue Monge" 2 3))
	(tr-class (tr-conceptview (tr-concept "house") "price") "house")
	(tr-class (tr-conceptview (tr-concept "house") "test") "house")
	(tr-class (tr-conceptview (tr-concept "house") "size") "house")
	(tr-class (tr-conceptview (tr-concept "house") "localisation") "house"))
? (tr-lexitem-rem-synonym (tr-find-lexitem "flat") (tr-find-lexitem "appartment"))
= ()
? (tr-lexitem-synonyms (tr-find-lexitem "appartment"))
= ()
? (tr-lexitem-rem-antonym (tr-find-lexitem "furnished") (tr-find-lexitem "non furnished"))
= ()
? (tr-lexitem-antonyms (tr-find-lexitem "non furnished"))
= ()
? (tr-lexitem-rem-bibliography (tr-find-lexitem "house")
		"Cambridge international dictionary of English, Cambridge university press, Cambridge (UK), 1995")
= ()
? (tr-lexitem-bibliography (tr-find-lexitem "house"))
= ()
? (tr-lexitem-rem-hyponym (tr-find-lexitem "building") (tr-find-lexitem "flat"))
= ()
? (tr-lexitem-hyperonym (tr-find-lexitem "flat"))
= ()
? (tr-delete-lexitem "house")
= t
? (tr-find-lexitem "house")
= ()
? (tr-load-lexicon #f"real-estate.ldf")
= ()
? (tr-find-lexitem "house")
= (tr-lexicon "house")