Abstract: A method for maintaining modification management of a tailored document based on transcluded portions of one or more source documents, comprising determining modifications in each revision of each source document, storing said modifications, and notifying a user of the tailored document with respect to said determined modifications in each source document that are incorporated in the tailored document, wherein said modifications include any changes in the source documents between revisions of the source document.

Abstract: A system for storing and disseminating knowledge contained in documents includes a document annotator that creates a structured syntactic textual model of each of the documents, an ontology directed extractor that extracts properties from the textual models, a database for storing the textual models and the properties, and an interface permitting queries to the database. The document annotator includes a plurality of data transformers and a plurality of custom annotator tools. The ontology directed extractor includes an ontology based schema definition and a plurality of ontology based data transformers. The user interface includes the ability to view, search, navigate, create, and exchange documents. The creation feature includes a transclusion function.

Abstract: A user programmable deductive spreadsheet is implemented as an add-in to an existing mathematical spreadsheet program and allows the use of a logic programming language such as Prolog via a familiar spreadsheet interface. A syntax is provided whereby a set of multiple values can be stored in a cell and can be operated on recursively by an expression in another cell. Rows and columns can be given user defined names and cells can be referenced by row and column name. Cells can reference cells in other spreadsheets or can reference an entire spreadsheet in one cell. A cell expression can reference itself. Logical, arithmetic, and lifted operators are provided. Spreadsheets can be defined as a transformation of another spreadsheet. When no negative or aggregate operators are used in the cell expressions, the meaning of the spreadsheet is given in terms of least fixed points. Otherwise, the meaning is given in terms of perfect models.

Abstract: The invention includes methods and software tools for acquiring data from diverse sources, and structuring the data in a form that may be used to determine object equivalence. Practice of the invention includes one or more of the following tools: a data acquisition web agent creator, a web agent created by the web agent creator, an agent manager for deploying said web agent, and ontology-directed classifier, an ontology-directed extractor, and an ontology-directed matcher. The tools are example driven through a graphical user interface.