公开(公告)号：US20080065578A1

公开(公告)日：2008-03-13

申请号：US11931601

申请日：2007-10-31

申请人： Achille Fokoue-Nkoutche ,  Genady Grabarnik ,  Nagui Halim ,  Aaron Kershenbaum ,  Edith Schonberg ,  Larisa Shwartz ,  Kavitha Srinivas

发明人： Achille Fokoue-Nkoutche ,  Genady Grabarnik ,  Nagui Halim ,  Aaron Kershenbaum ,  Edith Schonberg ,  Larisa Shwartz ,  Kavitha Srinivas

IPC分类号： G06N5/02

CPC分类号： G06N5/04

摘要： The present invention is a method and apparatus for safe ontology reasoning. In one embodiment, a method for building safe sub-ontology that includes one or more elements of a given ontology includes designating at least one the elements as a sensitive element, where a sensitive element is an element not to be revealed. The method then designates a safe sub-ontology such that the safe sub-ontology does not include any elements that, alone or in combination, allow inference of a sensitive element, in accordance with one or more given inference rules. In another embodiment, a method for building a potential sub-ontology includes designating at least one of the elements as a sensitive element and including a maximal number of the elements in the potential sub-ontology, wherein the maximal number includes the greatest number of elements that can be revealed, cumulatively, without allowing inference of a sensitive element, in accordance with one or more given inference rules.

摘要翻译： 本发明是一种安全本体推理的方法和装置。 在一个实施例中，一种用于构建包括给定本体的一个或多个元素的安全子本体的方法包括将至少一个元素指定为敏感元件，其中敏感元件是不被揭示的元件。 该方法然后指定安全子本体，使得安全子本体不包括根据一个或多个给定推理规则单独或组合地允许敏感元素的推断的任何元素。 在另一实施例中，构建潜在子本体的方法包括将至少一个元素指定为敏感元件并且包括潜在子本体中的元素的最大数量，其中最大数量包括最大数量的元素 可以根据一个或多个给定的推论规则累积地揭示，而不允许推断敏感元件。

公开(公告)号：US07860816B2

公开(公告)日：2010-12-28

申请号：US11931601

申请日：2007-10-31

申请人： Achille Fokoue-Nkoutche ,  Genady Grabarnik ,  Nagui Halim ,  Aaron Kershenbaum ,  Edith Schonberg ,  Larisa Shwartz ,  Kavitha Srinivas

发明人： Achille Fokoue-Nkoutche ,  Genady Grabarnik ,  Nagui Halim ,  Aaron Kershenbaum ,  Edith Schonberg ,  Larisa Shwartz ,  Kavitha Srinivas

IPC分类号： G06N5/00

CPC分类号： G06N5/04

摘要： The present invention is a method and apparatus for safe ontology reasoning. In one embodiment, a method for building safe sub-ontology that includes one or more elements of a given ontology includes designating at least one the elements as a sensitive element, where a sensitive element is an element not to be revealed. The method then designates a safe sub-ontology such that the safe sub-ontology does not include any elements that, alone or in combination, allow inference of a sensitive element, in accordance with one or more given inference rules. In another embodiment, a method for building a potential sub-ontology includes designating at least one of the elements as a sensitive element and including a maximal number of the elements in the potential sub-ontology, wherein the maximal number includes the greatest number of elements that can be revealed, cumulatively, without allowing inference of a sensitive element, in accordance with one or more given inference rules.

摘要翻译： 本发明是一种安全本体推理的方法和装置。 在一个实施例中，一种用于构建包括给定本体的一个或多个元素的安全子本体的方法包括将至少一个元素指定为敏感元件，其中敏感元件是不被揭示的元件。 该方法然后指定安全子本体，使得安全子本体不包括根据一个或多个给定推理规则单独或组合地允许敏感元素的推断的任何元素。 在另一实施例中，构建潜在子本体的方法包括将至少一个元素指定为敏感元件并且包括潜在子本体中的元素的最大数量，其中最大数量包括最大数量的元素 可以根据一个或多个给定的推论规则累积地揭示，而不允许推断敏感元件。

公开(公告)号：US20070198449A1

公开(公告)日：2007-08-23

申请号：US11361293

申请日：2006-02-23

申请人： Achille Fokoue-Nkoutche ,  Genady Grabarnik ,  Nagui Halim ,  Aaron Kershenbaum ,  Edith Schonberg ,  Larisa Shwartz ,  Kavitha Srinivas

发明人： Achille Fokoue-Nkoutche ,  Genady Grabarnik ,  Nagui Halim ,  Aaron Kershenbaum ,  Edith Schonberg ,  Larisa Shwartz ,  Kavitha Srinivas

IPC分类号： G06N5/02

CPC分类号： G06N5/04

摘要： The present invention is a method and apparatus for safe ontology reasoning. In one embodiment, a method for building safe sub-ontology that includes one or more elements of a given ontology includes designating at least one the elements as a sensitive element, where a sensitive element is an element not to be revealed. The method then designates a safe sub-ontology such that the safe sub-ontology does not include any elements that, alone or in combination, allow inference of a sensitive element, in accordance with one or more given inference rules. In another embodiment, a method for building a potential sub-ontology includes designating at least one of the elements as a sensitive element and including a maximal number of the elements in the potential sub-ontology, wherein the maximal number includes the greatest number of elements that can be revealed, cumulatively, without allowing inference of a sensitive element, in accordance with one or more given inference rules.

摘要翻译： 本发明是一种安全本体推理的方法和装置。 在一个实施例中，一种用于构建包括给定本体的一个或多个元素的安全子本体的方法包括将至少一个元素指定为敏感元件，其中敏感元件是不被揭示的元件。 该方法然后指定安全子本体，使得安全子本体不包括根据一个或多个给定推理规则单独或组合地允许敏感元素的推断的任何元素。 在另一实施例中，构建潜在子本体的方法包括将至少一个元素指定为敏感元件并且包括潜在子本体中的元素的最大数量，其中最大数量包括最大数量的元素 可以根据一个或多个给定的推论规则累积地揭示，而不允许推断敏感元件。

公开(公告)号：US20070233627A1

公开(公告)日：2007-10-04

申请号：US11708949

申请日：2007-02-21

申请人： Julian Dolby ,  Aditya Kalyanpur ,  Aaron Jay Kershenbaum ,  Achille Fokoue-Nkoutche ,  Li Ma ,  Edith Schonberg ,  Kavitha Srinivas

发明人： Julian Dolby ,  Aditya Kalyanpur ,  Aaron Jay Kershenbaum ,  Achille Fokoue-Nkoutche ,  Li Ma ,  Edith Schonberg ,  Kavitha Srinivas

IPC分类号： G06N5/00

CPC分类号： G06N5/02 ,  G06N5/00

摘要： Methods and apparatus, including computer program products, for scalable ontology reasoning. A method of generating a summarized ontology includes loading an ontology from a store, eliminating relationships in the ontology, the eliminating relationships including an insertion of new relationships that simplify the ontology, eliminating individuals in the ontology, the eliminating individuals including insertion of new individuals to simplify the ontology, eliminating concepts in the ontology including insertion of new concepts to simplify the ontology, and generating the summarized ontology from the eliminating relationships, eliminating individuals and eliminating concepts.

摘要翻译： 方法和设备，包括计算机程序产品，用于可扩展本体推理。 生成总结本体的方法包括从商店加载本体，消除本体中的关系，消除关系，包括插入简化本体的新关系，消除本体中的个体，消除个体，包括插入新个体 简化本体，消除本体中的概念，包括插入新概念以简化本体，并从消除关系，消除个人和消除概念生成摘要本体。

公开(公告)号：US09069772B2

公开(公告)日：2015-06-30

申请号：US12885684

申请日：2010-09-20

申请人： Matthew J. Callery ,  Michael Desmond ,  Sophia Krasikov ,  Harold L. Ossher ,  Edith Schonberg ,  Ian D. Simmonds

发明人： Matthew J. Callery ,  Michael Desmond ,  Sophia Krasikov ,  Harold L. Ossher ,  Edith Schonberg ,  Ian D. Simmonds

IPC分类号： G06F3/00 ,  G06F17/30 ,  G06F17/21

CPC分类号： G06F17/30056 ,  G06F17/211

摘要： Disclosed is a computer-implemented method to create a presentation having at least one sheet, where each sheet contains one or more visual elements, as well as a system and computer program embodied on a computer-readable storage medium. The method includes, in response to input from a user, representing visual elements as depictions in a model, where each depiction depicts a single item in the model, where each item is a unit of information with a unique identifier, where each item can be depicted by at least one depiction and each depiction defines the visual representation of the item's information via the visual element. The method further includes, in response to a change to an item made by altering the visual element associated with the depiction of the item, automatically propagating the change to the item to all other depictions of the item across all sheets of the presentation. The method further includes updating the associated visual elements to reflect the change to the item.

摘要翻译： 公开了一种用于创建具有至少一个片材的呈现的计算机实现的方法，其中每个片材包含一个或多个可视元素，以及体现在计算机可读存储介质上的系统和计算机程序。 该方法包括响应于来自用户的输入，将视觉元素表示为模型中的描绘，其中每个描绘描绘模型中的单个项目，其中每个项目是具有唯一标识符的信息单元，其中每个项目可以是 由至少一个描述描绘，并且每个描绘通过视觉元素定义物品信息的视觉表示。 该方法还包括响应于通过改变与项目的描述相关联的视觉元素而做出的项目的改变，自动地将所述项目的改变传播到所有呈现的所有片段上的项目的所有其他描绘。 该方法还包括更新相关联的视觉元素以反映该项目的变化。

公开(公告)号：US09009193B2

公开(公告)日：2015-04-14

申请号：US13611114

申请日：2012-09-12

申请人： Matthew J. Callery ,  Michael Desmond ,  Sophia Krasikov ,  Harold L. Ossher ,  Edith Schonberg ,  Harini Srinivasan

发明人： Matthew J. Callery ,  Michael Desmond ,  Sophia Krasikov ,  Harold L. Ossher ,  Edith Schonberg ,  Harini Srinivasan

IPC分类号： G06F17/30 ,  G06F9/44 ,  G06Q10/06

CPC分类号： G06F8/36 ,  G06Q10/0631

摘要： Techniques are presented for providing a software fitting assessment. The techniques may be performed by methods, apparatus, and/or computer program products. The techniques include automatically matching on a computer system one or more specified requirements for a project with one or more software functions stored in a repository. The automatically matching includes mining the repository in order to match requirements. The repository includes software functions, requirements accumulated from previous projects, and results of stored matches between the software functions and the requirements accumulated from previous projects. The techniques include outputting by the computer system one or more results of the matching.

摘要翻译： 提供了提供软件配件评估的技术。 这些技术可以通过方法，装置和/或计算机程序产品来执行。 这些技术包括在计算机系统上自动匹配一个或多个具有存储在存储库中的一个或多个软件功能的项目的指定要求。 自动匹配包括挖掘存储库以匹配要求。 存储库包括软件功能，以前项目积累的要求以及软件功能之间存储的匹配结果以及以前项目累积的要求。 这些技术包括由计算机系统输出匹配的一个或多个结果。

公开(公告)号：US07962962B2

公开(公告)日：2011-06-14

申请号：US09884311

申请日：2001-06-19

申请人： Steven B. Adler ,  Endre Felix Bangerter ,  Kathryn Ann Bohrer ,  Nigel Howard Julian Brown ,  Jan Camenisch ,  Arthur M. Gilbert ,  Dogan Kesdogan ,  Matthew P. Leonard ,  Xuan Liu ,  Michael Robert McCullough ,  Adam Charles Nelson ,  Charles Campbell Palmer ,  Calvin Stacy Powers ,  Michael Schnyder ,  Edith Schonberg ,  Matthias Schunter ,  Elsie Van Herreweghen ,  Michael Waidner

发明人： Steven B. Adler ,  Endre Felix Bangerter ,  Kathryn Ann Bohrer ,  Nigel Howard Julian Brown ,  Jan Camenisch ,  Arthur M. Gilbert ,  Dogan Kesdogan ,  Matthew P. Leonard ,  Xuan Liu ,  Michael Robert McCullough ,  Adam Charles Nelson ,  Charles Campbell Palmer ,  Calvin Stacy Powers ,  Michael Schnyder ,  Edith Schonberg ,  Matthias Schunter ,  Elsie Van Herreweghen ,  Michael Waidner

IPC分类号： G06F21/00 ,  G06F7/04 ,  G06F17/30

CPC分类号： G06Q10/10

摘要： In a computer, a first set of object classes are provided representing active entities in an information-handling process and a second set of object classes are provided representing data and rules in the information-handling process. At least one object class has rules associated with data. The above-mentioned objects are used in constructing a model of an information-handling process, and to provide an output that identifies at least one way in which the information-handling process could be improved. One aspect is a method for handling personally identifiable information. Another aspect is a system for executing the method of the present invention. A third aspect is as a set of instructions on a computer-usable medium, or resident in a computer system, for executing the method of the present invention.

摘要翻译： 在计算机中，提供第一组对象类，表示信息处理过程中的活动实体，并且提供表示信息处理过程中的数据和规则的第二组对象类。 至少有一个对象类具有与数据相关联的规则。 上述目的用于构建信息处理过程的模型，并且提供一种识别可以改进信息处理过程的至少一种方式的输出。 一个方面是处理个人身份信息的方法。 另一方面是用于执行本发明的方法的系统。 第三方面是用于执行本发明的方法的计算机可用介质或驻留在计算机系统中的一组指令。

公开(公告)号：US20140052758A1

公开(公告)日：2014-02-20

申请号：US13611114

申请日：2012-09-12

申请人： Matthew J. Callery ,  Michael Desmond ,  Sophia Krasikov ,  Harold L. Ossher ,  Edith Schonberg ,  Harini Srinivasan

发明人： Matthew J. Callery ,  Michael Desmond ,  Sophia Krasikov ,  Harold L. Ossher ,  Edith Schonberg ,  Harini Srinivasan

IPC分类号： G06F17/30

CPC分类号： G06F8/36 ,  G06Q10/0631

摘要： Techniques are presented for providing a software fitting assessment. The techniques may be performed by methods, apparatus, and/or computer program products. The techniques include automatically matching on a computer system one or more specified requirements for a project with one or more software functions stored in a repository. The automatically matching includes mining the repository in order to match requirements. The repository includes software functions, requirements accumulated from previous projects, and results of stored matches between the software functions and the requirements accumulated from previous projects. The techniques include outputting by the computer system one or more results of the matching.

摘要翻译： 提供了提供软件配件评估的技术。 这些技术可以通过方法，装置和/或计算机程序产品来执行。 这些技术包括在计算机系统上自动匹配一个或多个具有存储在存储库中的一个或多个软件功能的项目的指定要求。 自动匹配包括挖掘存储库以匹配要求。 存储库包括软件功能，以前项目积累的要求以及软件功能之间存储的匹配结果以及以前项目累积的要求。 这些技术包括由计算机系统输出匹配的一个或多个结果。

公开(公告)号：US20140052757A1

公开(公告)日：2014-02-20

申请号：US13588631

申请日：2012-08-17

申请人： Matthew J. Callery ,  Michael Desmond ,  Sophia Krasikov ,  Harold L. Ossher ,  Edith Schonberg ,  Harini Srinivasan

发明人： Matthew J. Callery ,  Michael Desmond ,  Sophia Krasikov ,  Harold L. Ossher ,  Edith Schonberg ,  Harini Srinivasan

IPC分类号： G06F17/30

CPC分类号： G06F8/36 ,  G06Q10/0631

摘要： Techniques are presented for providing a software fitting assessment. The techniques may be performed by methods, apparatus, and/or computer program products. The techniques include automatically matching on a computer system one or more specified requirements for a project with one or more software functions stored in a repository. The automatically matching includes mining the repository in order to match requirements. The repository includes software functions, requirements accumulated from previous projects, and results of stored matches between the software functions and the requirements accumulated from previous projects. The techniques include outputting by the computer system one or more results of the matching.

摘要翻译： 提供了提供软件配件评估的技术。 这些技术可以通过方法，装置和/或计算机程序产品来执行。 这些技术包括在计算机系统上自动匹配一个或多个具有存储在存储库中的一个或多个软件功能的项目的指定要求。 自动匹配包括挖掘存储库以匹配要求。 存储库包括软件功能，以前项目积累的要求以及软件功能之间存储的匹配结果以及以前项目累积的要求。 这些技术包括由计算机系统输出匹配的一个或多个结果。

公开(公告)号：US20110302494A1

公开(公告)日：2011-12-08

申请号：US12885684

申请日：2010-09-20

申请人： Matthew J. Callery ,  Michael Desmond ,  Sophia Krasikov ,  Harold L. Ossher ,  Edith Schonberg ,  Ian D. Simmonds

发明人： Matthew J. Callery ,  Michael Desmond ,  Sophia Krasikov ,  Harold L. Ossher ,  Edith Schonberg ,  Ian D. Simmonds

IPC分类号： G06F3/048

CPC分类号： G06F17/30056 ,  G06F17/211

摘要： Disclosed is a computer-implemented method to create a presentation having at least one sheet, where each sheet contains one or more visual elements, as well as a system and computer program embodied on a computer-readable storage medium. The method includes, in response to input from a user, representing visual elements as depictions in a model, where each depiction depicts a single item in the model, where each item is a unit of information with a unique identifier, where each item can be depicted by at least one depiction and each depiction defines the visual representation of the item's information via the visual element. The method further includes, in response to a change to an item made by altering the visual element associated with the depiction of the item, automatically propagating the change to the item to all other depictions of the item across all sheets of the presentation. The method further includes updating the associated visual elements to reflect the change to the item.

摘要翻译： 公开了一种用于创建具有至少一个片材的呈现的计算机实现的方法，其中每个片材包含一个或多个可视元素，以及体现在计算机可读存储介质上的系统和计算机程序。 该方法包括响应于来自用户的输入，将视觉元素表示为模型中的描绘，其中每个描绘描绘模型中的单个项目，其中每个项目是具有唯一标识符的信息单元，其中每个项目可以是 由至少一个描述描绘，并且每个描绘通过视觉元素定义物品信息的视觉表示。 该方法还包括响应于通过改变与项目的描述相关联的视觉元素而做出的项目的改变，自动地将所述项目的改变传播到所有呈现的所有片段上的项目的所有其他描绘。 该方法还包括更新相关联的视觉元素以反映该项目的变化。