Data processing: artificial intelligence – Knowledge processing system – Knowledge representation and reasoning technique
Reexamination Certificate
2005-04-25
2008-09-16
Starks, Jr., Wilbert L (Department: 2129)
Data processing: artificial intelligence
Knowledge processing system
Knowledge representation and reasoning technique
C706S045000
Reexamination Certificate
active
07426503
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.
REFERENCES:
patent: 5692184 (1997-11-01), Ardoin et al.
patent: 5737591 (1998-04-01), Kaplan et al.
patent: 5867649 (1999-02-01), Larson
Draper, D., et al. (Eds.) “XQuery 1.0 and XPath 2.0 Formal Semantics,” http://www.w3.org/TR/xquery-semantics, downloaded from the internet on Apr. 20, 2006, pp. 1-266.
Baras Adrian S.
Cseri Istvan
Kukol Peter
Rys Michael
Seeliger Oliver N.
Microsoft Corporation
Starks, Jr. Wilbert L
Woodcock & Washburn LLP
LandOfFree
System and method for an improved type inference does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with System and method for an improved type inference, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and System and method for an improved type inference will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-3966955