DE68927086T2 - Datenvereinheitlichungssystem und -methode - Google Patents

Datenvereinheitlichungssystem und -methode

Info

Publication number: DE68927086T2
Authority: DE; Germany
Prior art keywords: unification system; data unification; data; unification
Prior art date: 1988-10-19
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.): Expired - Lifetime

Application number

DE68927086T

Other languages

English (en)

Other versions

DE68927086D1 (de

Inventor

Iii John T Maxwell

Ronald M Kaplan

Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)

Xerox Corp

Original Assignee

Xerox Corp

Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)

1988-10-19

Filing date

1989-10-18

Publication date

1997-02-20

1989-10-18 Application filed by Xerox Corp filed Critical Xerox Corp

1996-10-10 Publication of DE68927086D1 publication Critical patent/DE68927086D1/de

1997-02-20 Application granted granted Critical

1997-02-20 Publication of DE68927086T2 publication Critical patent/DE68927086T2/de

2009-10-19 Anticipated expiration legal-status Critical

Status Expired - Lifetime legal-status Critical Current

Links

Classifications

- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/30—Creation or generation of source code
- G06F8/31—Programming languages or programming paradigms
- G06F8/313—Logic programming, e.g. PROLOG programming language
- G06F8/3135—Unification or backtracking

DE68927086T 1988-10-19 1989-10-18 Datenvereinheitlichungssystem und -methode Expired - Lifetime DE68927086T2 (de)

Applications Claiming Priority (1)

Application Number	Priority Date	Filing Date	Title
US07/260,205 US5438511A (en)	1988-10-19	1988-10-19	Disjunctive unification

Publications (2)

Publication Number	Publication Date
DE68927086D1 DE68927086D1 (de)	1996-10-10
DE68927086T2 true DE68927086T2 (de)	1997-02-20

Family

ID=22988207

Family Applications (1)

Application Number	Title	Priority Date	Filing Date
DE68927086T Expired - Lifetime DE68927086T2 (de)	1988-10-19	1989-10-18	Datenvereinheitlichungssystem und -methode

Country Status (4)

Country	Link
US (1)	US5438511A (de)
EP (1)	EP0365309B1 (de)
JP (1)	JP3270459B2 (de)
DE (1)	DE68927086T2 (de)

Families Citing this family (27)

* Cited by examiner, † Cited by third party
Publication number	Priority date	Publication date	Assignee	Title
EP0655681B1 (de) *	1993-11-26	2000-03-15	Bull S.A.	Verfahren zur automatischen Beweisführung in einer unbeschränkten Logik ersten Grades
US5680518A (en) *	1994-08-26	1997-10-21	Hangartner; Ricky D.	Probabilistic computing methods and apparatus
US5819221A (en) *	1994-08-31	1998-10-06	Texas Instruments Incorporated	Speech recognition using clustered between word and/or phrase coarticulation
US5721939A (en) *	1995-08-03	1998-02-24	Xerox Corporation	Method and apparatus for tokenizing text
US5727222A (en) *	1995-12-14	1998-03-10	Xerox Corporation	Method of parsing unification based grammars using disjunctive lazy copy links
US5819210A (en) *	1996-06-21	1998-10-06	Xerox Corporation	Method of lazy contexted copying during unification
US5903860A (en) *	1996-06-21	1999-05-11	Xerox Corporation	Method of conjoining clauses during unification using opaque clauses
US5836771A (en) *	1996-12-02	1998-11-17	Ho; Chi Fai	Learning method and system based on questioning
US6498921B1 (en) *	1999-09-01	2002-12-24	Chi Fai Ho	Method and system to answer a natural-language question
US6502101B1 (en) *	2000-07-13	2002-12-31	Microsoft Corporation	Converting a hierarchical data structure into a flat data structure
US6829605B2 (en) *	2001-05-24	2004-12-07	Microsoft Corporation	Method and apparatus for deriving logical relations from linguistic relations with multiple relevance ranking strategies for information retrieval
US7010791B2 (en) *	2001-09-20	2006-03-07	Intel Corporation	Method for implementing multiple type hierarchies
US7165055B2 (en) *	2002-02-14	2007-01-16	Xerox Corporation	Systems and methods for solving nogood databases
CA2508791A1 (en) *	2002-12-06	2004-06-24	Attensity Corporation	Systems and methods for providing a mixed data integration service
US7203668B2 (en) *	2002-12-19	2007-04-10	Xerox Corporation	Systems and methods for efficient ambiguous meaning assembly
US7171403B2 (en)	2003-01-09	2007-01-30	Palo Alto Research Center Incorporated	Systems and methods for efficient conjunction of Boolean variables
US20040230415A1 (en) *	2003-05-12	2004-11-18	Stefan Riezler	Systems and methods for grammatical text condensation
US7657420B2 (en) *	2003-12-19	2010-02-02	Palo Alto Research Center Incorporated	Systems and methods for the generation of alternate phrases from packed meaning
US7801723B2 (en) *	2004-11-30	2010-09-21	Palo Alto Research Center Incorporated	Systems and methods for user-interest sensitive condensation
US7827029B2 (en) *	2004-11-30	2010-11-02	Palo Alto Research Center Incorporated	Systems and methods for user-interest sensitive note-taking
US7797725B2 (en) *	2004-12-02	2010-09-14	Palo Alto Research Center Incorporated	Systems and methods for protecting privacy
US7853445B2 (en) *	2004-12-10	2010-12-14	Deception Discovery Technologies LLC	Method and system for the automatic recognition of deceptive language
US7401077B2 (en) *	2004-12-21	2008-07-15	Palo Alto Research Center Incorporated	Systems and methods for using and constructing user-interest sensitive indicators of search results
US7313515B2 (en) *	2006-05-01	2007-12-25	Palo Alto Research Center Incorporated	Systems and methods for detecting entailment and contradiction
US8190546B2 (en) *	2009-05-15	2012-05-29	At&T Intellectual Property I, L.P.	Dependency between sources in truth discovery
US8290891B2 (en) *	2009-06-15	2012-10-16	Nokia Corporation	Method and apparatus of dynamic rules insertion by agents
US8510098B2 (en) *	2010-01-29	2013-08-13	Ipar, Llc	Systems and methods for word offensiveness processing using aggregated offensive word filters

Family Cites Families (8)

* Cited by examiner, † Cited by third party
Publication number	Priority date	Publication date	Assignee	Title
US5047918A (en) *	1985-12-31	1991-09-10	Tektronix, Inc.	File management system
US4868745A (en) *	1986-05-30	1989-09-19	Hewlett-Packard Company	Data processing system and method for the direct and indirect execution of uniformly structured object types
JPS6326726A (ja) *	1986-07-21	1988-02-04	Toshiba Corp	情報処理装置
US4918621A (en) *	1986-08-13	1990-04-17	Intellicorp, Inc.	Method for representing a directed acyclic graph of worlds using an assumption-based truth maintenance system
US5083268A (en) *	1986-10-15	1992-01-21	Texas Instruments Incorporated	System and method for parsing natural language by unifying lexical features of words
EP0270360A3 (de) *	1986-12-02	1990-09-19	Tektronix Inc.	Datenverwaltungssystem
US4912637A (en) *	1988-04-26	1990-03-27	Tandem Computers Incorporated	Version management tool
US5088048A (en) *	1988-06-10	1992-02-11	Xerox Corporation	Massively parallel propositional reasoning

1988
- 1988-10-19 US US07/260,205 patent/US5438511A/en not_active Expired - Lifetime
1989
- 1989-10-13 JP JP26793389A patent/JP3270459B2/ja not_active Expired - Lifetime
- 1989-10-18 DE DE68927086T patent/DE68927086T2/de not_active Expired - Lifetime
- 1989-10-18 EP EP89310723A patent/EP0365309B1/de not_active Expired - Lifetime

Also Published As

Publication number	Publication date
JP3270459B2 (ja)	2002-04-02
EP0365309A3 (en)	1990-11-14
EP0365309B1 (de)	1996-09-04
DE68927086D1 (de)	1996-10-10
EP0365309A2 (de)	1990-04-25
JPH02157968A (ja)	1990-06-18
US5438511A (en)	1995-08-01

Legal Events

Date	Code	Title	Description
1997-10-02	8364	No opposition during term of opposition

Publication	Publication Date	Title
DE68927086D1 (de)	1996-10-10	Datenvereinheitlichungssystem und -methode
DE68927138D1 (de)	1996-10-17	Handhabungssteuerungsverfahren und -system
DE69424610D1 (de)	2000-06-29	Datenverarbeitungs-anlage und -verfahren
KR890702131A (ko)	1989-12-22	면허 관리 방법 및 시스템
DE3689533D1 (de)	1994-02-24	Plasmaphoresesystem und verfahren.
DE69033434D1 (de)	2000-03-02	Datenverarbeitungssystem und Datenübertragungs- und -verarbeitungsverfahren
DE69324186D1 (de)	1999-05-06	Datenverwaltungsverfahren und -gerät
DE69229148T2 (de)	1999-12-09	Datenverarbeitungssystem und Verfahren
DE68928620T2 (de)	1998-07-16	Informationsverarbeitungssystem
DE3685634T2 (de)	1993-01-28	Verteiltes datenverarbeitungssystem und -verfahren.
DE69321763D1 (de)	1998-12-03	Datenverarbeitungsverfahren und -vorrichtung
DE69231053T2 (de)	2000-12-21	Datenverarbeitungssystem und -methode
DE3855739D1 (de)	1997-02-20	Nachrichtenübertragungssystem und -verfahren
DE69028498T2 (de)	1997-02-13	Datenübertragungssystem und -verfahren
DE69230901D1 (de)	2000-05-18	Graphisches Datenverarbeitungssystem und -verfahren
DE69127381D1 (de)	1997-10-02	Informationsverarbeitungssystem und Informationsverarbeitungsmethode
DE68926915T2 (de)	1997-01-30	Informationsverarbeitungsgerät und -methode
DE69131527D1 (de)	1999-09-23	Datenübertragungssystem und -Verfahren
DE68928214D1 (de)	1997-09-04	Dateneingabesystem
DK18390A (da)	1996-11-07	Navigationssystem og -fremgangsmåde
DE68929342D1 (de)	2001-12-13	Dateneingangssystem
DE3650411D1 (de)	1995-11-09	Datenverarbeitungssystem und Verfahren.
GB8915626D0 (en)	1989-08-23	Data management method and system
GB8929148D0 (en)	1990-02-28	Data input method and system
DE3650180T2 (de)	1995-08-03	Datenverteilungsvorrichtung und -Verfahren.