The patent badge is an abbreviated version of the USPTO patent document. The patent badge does contain a link to the full patent document.

The patent badge is an abbreviated version of the USPTO patent document. The patent badge covers the following: Patent number, Date patent was issued, Date patent was filed, Title of the patent, Applicant, Inventor, Assignee, Attorney firm, Primary examiner, Assistant examiner, CPCs, and Abstract. The patent badge does contain a link to the full patent document (in Adobe Acrobat format, aka pdf). To download or print any patent click here.

Date of Patent:
Sep. 16, 2008

Filed:

Apr. 25, 2005
Applicants:

Adrian S. Baras, Redmond, WA (US);

Michael Rys, Sammamish, WA (US);

Istvan Cseri, Redmond, WA (US);

Oliver N. Seeliger, Sammamish, WA (US);

Peter Kukol, Prescott, AZ (US);

Inventors:

Adrian S. Baras, Redmond, WA (US);

Michael Rys, Sammamish, WA (US);

Istvan Cseri, Redmond, WA (US);

Oliver N. Seeliger, Sammamish, WA (US);

Peter Kukol, Prescott, AZ (US);

Assignee:

Microsoft Corporation, Redmond, WA (US);

Attorney:
Primary Examiner:
Int. Cl.
CPC ...
G06N 5/00 (2006.01);
U.S. Cl.
CPC ...
Abstract

An improved type inference may be calculated for a path expression that may be classified into a series of input expressions followed by steps. For each such series, the inference may be calculated based on input including a type for the input expression, an axis for the step, and a node test for the step. The cardinality of the input expression type is preserved for the calculation of the step type. Also, a set of one or more matching node types may be identified within the type repository. These matching node types are node types within the axis of the step that match the node test of the step. These matching node types are identified without calculating the full content type implied by the axis. Avoiding the calculation of the full content type of the axis may reduce the processing time required to perform the inference.


Find Patent Forward Citations

Loading…