Semantic programming language and linguistic object model

CROSS-REFERENCE TO RELATED APPLICATION(S)

0001The present invention is a Continuation-in-Part of U.S. Patent Application Serial No. 10/830,988, filed April 23, 2004, entitled "SEMANTIC PROGRAMMING LANGUAGE."

BACKGROUND OF THE INVENTION

0002The present invention relates to a system and method for modeling the semantics of a natural language. More particularly, the present invention relates to a lexical semantic structure for modeling content of a natural language input.

0003A natural language is language as produced by people (as opposed to computer languages or other artificial languages), including all of the idioms, assumptions and implications of the utterance or text. In the context of natural language processing, a command and control system processes natural language utterances or texts and attempts to recognize and to interpret the utterance or text to derive a usable interpretation.

0004Conventionally, one technique for providing natural language command and control involves static recognition of pre-encoded commands. For example, commercially available voice-to-text programs allow the user to use simple commands to initiate pre-encoded operations, such <i>save</i> file. However, such programs typically cannot process such commands unless the exact command is used. In other words, store <i>file</i> may not be properly understood by an application coded to recognize the command <i>save file.</i>

0005Similarly, question/answer type applications typically include pre-encoded phrases or terms in order to facilitate search and retrieve-type functions. However, conventional implementations require the specific search term to be used in the utterance or text in order to succeed, and consequently cannot adequately account for the richness of human speech.

0006Programming natural language applications is extremely difficult. Typically, programmers know how to code in a computer language, but have little experience diagramming sentence structures and/or performing linguistic analysis. This deficiency makes programming for natural language applications difficult. Moreover, extending a natural language software application coded for the English language to work with other languages typically requires recoding, not only of the software application, but also of any associated linguistic analysis engines. This makes programming for natural language applications extremely difficult and potentially very expensive.

SUMMARY OF THE INVENTION

0007In one aspect, a software development tool for programming natural language software applications is provided. The software development tool includes a programming language and a compiler. The programming language has a set of programming constructs for facilitating natural language programming. The compiler is adapted to take a software program containing instances of the set of programming constructs and to generate a software application.

0008In an alternative aspect, a method for creating a natural language enabled software application is provided. A program is created from a set of programming constructs for facilitating natural language programming. The program describes features in the software application that rely on natural language input. The program is compiled into a software application.

0009In another aspect, a linguistic object model is adapted to model semantic elements of a natural language. The linguistic object model includes a set of types and classes of linguistic expressions that the types are designed to model. In one embodiment, each type in the set of types corresponds to semantically meaningful elements of an utterance.

0010In another aspect, a computer readable medium stores computer readable data structures utilized to model natural language. A set of types is adapted to represent classes as abstract objects. The classes represent categorized linguistic expressions, which may correspond to a semantically meaningful part of a natural language utterance.

0011In another aspect, a framework for generating a semantic interpretation of natural language input includes an interpreter and a set of types. The interpreter is adapted to mediate between a client application and one or more analysis engines to produce interpretations of the natural language input that are valid for the client application. The set of types is adapted to define interactions between the interpreter and the one or more analysis engines.

0012In another aspect, a framework for instantiating an interpretation of a natural language input to natural language features of a client application is provided. An interpreter is initialized with declarative schema associated with the client application. The interpreter is adapted to receive a natural language input and to communicate with one or more natural language analysis engines to produce interpretations of the natural language input. The interpreter is adapted to instantiate one or more of the interpretations in the client application.

0013In another aspect, a lexical semantic structure for modeling semantics of a natural language input on a computer is provided. A set of lexical semantic categories is selected to model content of a natural language input. A methodology associates content of the natural language input to one or more categories of the set of lexical semantic categories. In different embodiments, the lexical semantic structure normalizes the natural language input across languages, across linguistic categories, across applications, and across systems adapted to produce some type of syntactic category.

0014In another aspect, a method for creating a natural language enabled software application is provided. A program is created from a set of programming constructs for facilitating natural language programming. The program describes features in the software application that rely on natural language input. The program is compiled into a software application.

0015In another aspect, a system for developing natural language enabled software applications is provided. Resolvable types define abstract representations of linguistic elements and interrelationships between linguistic elements of a natural language input. Resolution semantics define procedural rules for resolving validity of instances of the resolvable types in a natural language enabled software application.

0016In another aspect, a method for determining validity of an instantiation of a resolvable type in a natural language enabled software program is provided. A proposed interpretation list proposed interpretations of a natural language input is assembled. Each proposed interpretation has one or more commands and optionally non-command elements mapped to resolvable types. Validity of an instantiation associated with each proposed interpretation is determined in the natural language enabled software application.

BRIEF DESCRIPTION OF THE DRAWINGS

0017<ul id="ul0001" list-style="none" compact="compact"><li>FIG. 1 is a diagrammatic view of the computing system environment on which an embodiment of the present invention may be implemented.</li><li>FIG. 2 is a simplified block diagram of a natural language system according to an embodiment of the present invention.</li><li>FIG. 3 is a simplified block diagram of the analysis engines of FIG. 2 with the Linguistic Object Model shown in phantom.</li><li>FIG. 4 is a simplified flow diagram of a process of executing a send mail command according to an embodiment of the present invention.</li><li>FIG. 5 is a simplified flow diagram of a type resolution according to an embodiment of the present invention.</li><li>FIG. 6 is a simplified flow diagram of a command resolution according to an embodiment of the present invention.</li><li>FIG. 7 is a simplified flow diagram of frame resolution according to an embodiment of the present invention.</li><li>FIG. 8 is a simplified flow diagram of restriction clause resolution according to an embodiment of the present invention.</li><li>FIG. 9 is a simplified flow diagram of an entity resolution process according to an embodiment of the present invention.</li><li>FIG. 10 is a simplified block diagram of an intelligent system according to an embodiment of the present invention.</li><li>FIG. 11 is a simplified, conceptual block diagram of a lexical semantic structure according to an embodiment of the present invention.</li></ul>

DETAILED DESCRIPTION OF ILLUSTRATIVE EMBODIMENTS

A. Overview

0018The present invention is a Linguistic Object Model (LOM), a semantic framework, and a semantic programming language (SPL) for producing natural language applications. The LOM models semantic utterances independent of the natural language used or the application domain involved. The semantic framework includes a runtime component (an Interpreter), which mediates between natural language analysis engine(s) and a client application, and a set of types, which define the nature of the interaction between all components of the system. The SPL provides a programming framework for interfacing with the LOM and with natural language analysis engines adapted to operate with the LOM. The SPL may also be used to interface with other linguistic object models.

0019The present invention includes the overall process and architecture in addition to a number of the subprocesses and data structures. In order to better understand the present invention, one exemplary environment, which can be used with the present invention, is introduced. However, it should be appreciated that the present invention can be used in a wide variety of other systems and environments as well.

B. Illustrative Operating Environment

0020FIG. 1 illustrates an example of a suitable computing system environment 100 on which the invention may be implemented. The computing system environment 100 is only one example of a suitable computing environment and is not intended to suggest any limitation as to the scope of use or functionality of the invention. Neither should the computing environment 100 be interpreted as having any dependency or requirement relating to any one or combination of components illustrated in the exemplary operating environment 100.

0021The invention is operational with numerous other general purpose or special purpose computing system environments or configurations. Examples of well-known computing systems, environments, and/or configurations that may be suitable for use with the invention include, but are not limited to, personal computers, server computers, hand-held or laptop devices, multiprocessor systems, microprocessor-based systems, set top boxes, programmable consumer electronics, network PCs, minicomputers, mainframe computers, telephony systems, distributed computing environments that include any of the above systems or devices, and the like.

0022The invention may be described in the general context of computer-executable instructions, such as program modules, being executed by a computer. Generally, program modules include routines, programs, objects, components, data structures, and the like. that perform particular tasks or implement particular abstract data types. The invention may also be practiced in distributed computing environments where tasks are performed by remote processing devices that are linked through a communications network. In a distributed computing environment, program modules may be located in both local and remote computer storage media including memory storage devices.

0023With reference to FIG. 1, an exemplary system for implementing the invention includes a general-purpose computing device in the form of a computer 110. Components of computer 110 may include, but are not limited to, a processing unit 120, a system memory 130, and a system bus 121 that couples various system components including the system memory to the processing unit 120. The system bus 121 may be any of several types of bus structures including a memory bus or memory controller, a peripheral bus, and a local bus using any of a variety of bus architectures. By way of example, and not limitation, such architectures include Industry Standard Architecture (ISA) bus, Micro Channel Architecture (MCA) bus, Enhanced ISA (EISA) bus, Video Electronics Standards Association (VESA) local bus, and Peripheral Component Interconnect (PCI) bus also known as Mezzanine bus.

0024Computer 110 typically includes a variety of computer readable media. Computer readable media can be any available media that can be accessed by computer 110 and includes both volatile and nonvolatile media, removable and non-removable media. By way of example, and not limitation, computer readable media may comprise computer storage media and communication media. The phrase "computer storage media" is intended to include both volatile and nonvolatile, removable and non-removable media implemented in any method or technology for storage of information such as computer readable instructions, data structures, program modules or other data. Computer storage media includes, but is not limited to, RAM, ROM, EEPROM, flash memory or other memory technology, CD-ROM, digital versatile disks (DVD) or other optical disk storage, magnetic cassettes, magnetic tape, magnetic disk storage or other magnetic storage devices, or any other medium which can be used to store the desired information and which can be accessed by computer 110. Communication media typically embodies computer readable instructions, data structures, program modules or other data in a modulated data signal such as a carrier wave or other transport mechanism and includes any information delivery media. The term "modulated data signal" means a signal that has one or more of its characteristics set or changed in such a manner as to encode information in the signal. By way of example, and not limitation, communication media includes wired media such as a wired network or direct-wired connection, and wireless media such as acoustic, RF, infrared and other wireless media. Combinations of any of the above should also be included within the scope of computer readable media.

0025The system memory 130 includes computer storage media in the form of volatile and/or nonvolatile memory such as read only memory (ROM) 131 and random access memory (RAM) 132. A basic input/output system 133 (BIOS), containing the basic routines that help to transfer information between elements within computer 110, such as during start-up, is typically stored in ROM 131. RAM 132 typically contains data and/or program modules that are immediately accessible to and/or presently being operated on by processing unit 120. By way of example, and not limitation, FIG. 1 illustrates operating system 134, application programs 135, other program modules 136, and program data 137.

0026The computer 110 may also include other removable/non-removable volatile/nonvolatile computer storage media. By way of example only, FIG. 1 illustrates a hard disk drive 141 that reads from or writes to non-removable, nonvolatile magnetic media, a magnetic disk drive 151 that reads from or writes to a removable, nonvolatile magnetic disk 152, and an optical disk drive 155 that reads from or writes to a removable, nonvolatile optical disk 156 such as a CD ROM or other optical media. Other removable/non-removable, volatile/nonvolatile computer storage media that can be used in the exemplary operating environment include, but are not limited to, magnetic tape cassettes, flash memory cards, digital versatile disks, digital video tape, solid state RAM, solid state ROM, and the like. The hard disk drive 141 is typically connected to the system bus 121 through a non-removable memory interface such as interface 140, and magnetic disk drive 151 and optical disk drive 155 are typically connected to the system bus 121 by a removable memory interface, such as interface 150.

0027The drives and their associated computer storage media discussed above and illustrated in FIG. 1, provide storage of computer readable instructions, data structures, program modules and other data for the computer 110. In FIG. 1, for example, hard disk drive 141 is illustrated as storing operating system 144, application programs 145, other program modules 146, and program data 147. Note that these components can either be the same as or different from operating system 134, application programs 135, other program modules 136, and program data 137. Operating system 144, application programs 145, other program modules 146, and program data 147 are given different numbers here to illustrate that, at a minimum, they are different copies.

0028A user may enter commands and information into the computer 110 through input devices such as a keyboard 162, a microphone 163, and a pointing device 161, such as a mouse, trackball or touch pad. Other input devices (not shown) may include a joystick, game pad, satellite dish, scanner, or the like. These and other input devices are often connected to the processing unit 120 through a user input interface 160 that is coupled to the system bus, but may be connected by other interface and bus structures, such as a parallel port, game port or a universal serial bus (USB). A monitor 191 or other type of display device is also connected to the system bus 121 via an interface, such as a video interface 190. In addition to the monitor, computers may also include other peripheral output devices such as speakers 197 and printer 196, which may be connected through an output peripheral interface 190.

0029The computer 110 may operate in a networked environment using logical connections to one or more remote computers, such as a remote computer 180. The remote computer 180 may be a personal computer, a hand-held device, a server, a router, a network PC, a peer device or other common network node, and typically includes many or all of the elements described above relative to the computer 110. The logical connections depicted in FIG. 1 include a local area network (LAN) 171 and a wide area network (WAN) 173, but may also include other networks. Such networking environments are commonplace in offices, enterprise-wide computer networks, intranets and the Internet.

0030When used in a LAN networking environment, the computer 110 is connected to the LAN 171 through a network interface or adapter 170. When used in a WAN networking environment, the computer 110 typically includes a modem 172 or other means for establishing communications over the WAN 173, such as the Internet. The modem 172, which may be internal or external, may be connected to the system bus 121 via the user input interface 160, or other appropriate mechanism. In a networked environment, program modules depicted relative to the computer 110, or portions thereof, may be stored in the remote memory storage device. By way of example, and not limitation, FIG. 1 illustrates remote application programs 185 as residing on remote computer 180. It will be appreciated that the network connections shown are exemplary and other means of establishing a communications link between the computers may be used.

C. Overview of SPL Framework

0031The SPL framework consists of a runtime component (an Interpreter) and a set of types. The runtime component mediates between a client application and one or more natural language analysis engines. The set of types defines the interaction between all elements in the system. In applications that utilize the SPL framework, an Interpreter instance is created at runtime and is initialized with a declarative schema that describes the semantic model of the features in the client application that rely on natural language inputs. This declarative schema is created by the developer along with the application code, and it describes the relationship among a number of semantic modeling types created by the developer and derived from types in the LOM. These semantic modeling types may contain procedural code that is not mentioned in the declarative schema and that, when instantiated by the Interpreter, places runtime-context-driven constraints on the instantiation of the types.

0032FIG. 2 is a block diagram of a semantic framework in accordance with one embodiment of the present invention. Semantic framework 200 includes an SPL client application 202, an SPL interpreter application 204, and a plurality of analysis engines 206. In general, the SPL client application 202 accepts text input, which may be input directly by a user (such as through a keyboard or other input device) or which may be received from a speech recognition system 208 or a text recognition system 210.

0033The speech recognition system 208 is a system that receives an audio input and produces a text output representative of the audio input. The text recognition system 210 is a system that receives a handwritten or scanned input and generates a text output representative of the handwritten or scanned input. In one embodiment, the speech recognition system 208 and the handwriting recognition system 210 are integrated with the client application 202.

0034In framework 200, a text input 212 string is input to SPL client application 202. Text input 212A refers to text output from the speech recognition system 208. Text input 212B refers to text output from handwriting recognition system 210. Text input 212C represents other text input, such as from a keyboard, from a memory buffer, or from any other input source. Hereinafter, reference numeral 212 is applied to the received text input, independent of source.

0035SPL client application 202 passes the text input 212 and application schema 214 of the SPL client application to SPL interpreter application 204. SPL interpreter application 204 passes text input 212 and application schema 214 to the plurality of natural language analysis engines 206 (shown as boxes Analysis Engine 1 through Analysis Engine N), each of which is designed to map the utterance to the Linguistic Object Model (LOM) 216. Any number of analysis engines 206 may be employed, and each engine 206 may use a unique analysis strategy for mapping the text input 212 to the LOM 216 and to the application schema 214.

0036In general, each analysis engine 206 applies its paradigm to the text input 212, and maps the text input 212 to the LOM 216 to produce a plurality of potential interpretations 218, which are returned to the SPL interpreter application 204. The SPL interpreter application 204 identifies one or more actual interpretations 220, and returns those actual interpretations 220 to the SPL client application 202, which can then act on the one or more actual interpretations 220.

0037In one embodiment, the analysis engines 206 derive only one possible interpretation 218; however, most semantic utterances allow for more than one possible interpretation, which may be resolved by the Interpreter 204 or the client application 202 with respect to the context of the utterance. In this case, the context is the domain of the SPL client application 202 and the objects it supports. The SPL interpreter 204, having received declarative schema 214 from the SPL client application 202, attempts to resolve the potential interpretations 218 against the declarative schema 214. The SPL interpreter application 204 can discard potential interpretations 218 that cannot be resolved against the declarative schema 214. The remaining interpretations (those that can be resolved against the declartive schema 214) are the actual interpretations 220. The SPL interpreter 204 attempts to instantiate each of the plurality of the actual interpretations 220 according to the declarative schema 214 of the SPL client application 202 by invoking the actual interpretation object 220 in the client application 202.

0038Depending on the implementation and configuration of the framework 200, controls 222 may be passed from the SPL client application 202 to the SPL interpreter application 204, instructing the SPL interpreter application 204 to perform further processing. Similarly, the interpreter application 204 may pass controls 224 to the analysis engines for further processing of the text input 212 relative to the LOM 216. Thus, the semantic framework 200 may process a text input iteratively to arrive at actual interpretations that corresponds to types defined within the domain of the SPL client application 202.

0039In general, the SPL client application 202, interpreter 204, and the analysis engines 206 may be located in a single computer. In an alternative embodiment, application 202, interpreter 204 and engines 206 may be located on different systems, such as on separate servers on a network.

0040The SPL interpreter 204 serves as an intermediary between the client application 202 and the analysis engines 206. The SPL programming language is intended to be intuitive to developers. In one embodiment, the language is built on top of C#, so the syntax will look familiar to developers. However, the SPL is adapted to express the LOM semantic structure and to perform linguistic analysis and can be implemented in C# directly or in any other object-based programming language.

0041As previously mentioned, the SPL framework includes a runtime component (the SPL interpreter 204), which mediates between natural language analysis engine(s) 206 and a set of types, which are created by the developer and derived from the types defined in the LOM. The set of types defines the nature of the interaction between all components of the framework.

0042The SPL Framework makes use of but does not include natural language analysis engines. It is designed to allow multiple analysis engines to be used simultaneously if desired. One might want to employ multiple analysis engines, for example, because some engines may be better at particular kinds of natural language input than others. Combining the outputs of the multiple engines may result in better overall performance and behavior.

0043For any given natural language input 212, the analysis engines 206 are expected to provide the interpreter 204 with linguistically possible interpretations 218 expressed in the system of types described in the declarative schema 214. The analysis engines 206 generally have access to the description of the semantic types in the declarative schema 214, but not to the actual types. Rather than producing actual objects, they produce potential interpretations (218), which are sets of instructions for building actual interpretations 220. The potential interpretations 218 produced by the analysis engines 206 become actual interpretations 220 only if the interpreter 204 succeeds in creating instantiations of the interpretations, where this includes running the procedural code of the types involved. The interpreter 204 attempts to resolve the possible interpretations 218 against the declarative schema 214, and, depending on the specific implementation, instantiates successfully-resolved interpretations in the client application 202 for further processing.

0044The back-and-forth between the client application 202, the interpreter 204 and the analysis engines 206 (including text input 212, declarative schema 214, potential interpretations 218, actual interpretations 220, and control flow 222 and 224) isolates conflicts and/or ambiguities. The framework and the LOM cooperate to free the programmer to concern him or herself with the application domain, rather than the linguistic analysis.

0045In general, the declarative schema may be XML code, Microsoft .NET attributes, or Microsoft .NET attributes and the resolvable types themselves. Alternatively, the resolvable types may be coded so that the schema information can be inferred from the types using "reflection". Reflection is the ability to determine what methods, fields, constructors, and so on, are defined for a class or an object. Reflection makes it possible to create dynamic programs.

0046Now that the framework has been introduced, it is important to understand the underlying linguistic object model from which the developer may derive his or her application specific set of types. The linguistic object model, in addition to being useful for natural language application development purposes, may be used to interact directly with a natural language semantic analysis system for arbitrary purposes.

D. Linguistic Object Model (LOM)

D1. OVERVIEW

0047The Linguistic Object Model (LOM) of the present invention is made up of a set of types, which are independent of the application domain or even the language. The present invention includes the set of types and the classes of linguistic expressions that the types are designed to model. The types are the declarative elements of the LOM.

0048It should be understood that applications of the present invention may be implemented in any number of ways, and that specific implementation details may vary from examples provided herein. However, the examples provided below are intended for illustrative purposes, and are by no means to be interpreted as limiting. Where appropriate, alternative methods or framework variances may be called out to further illustrate the versatility and robustness of the present invention.

0049In general, the LOM models the semantics of an utterance (what is said or written) in a domain independent way. The term "domain" as used herein refers to the SPL client application originating the natural language processing request. As used herein, the term "semantics" refers to the meaning or signification of spoken or written words. The term "utterance" refers to any finite sound or series of sounds and/or any written word or phrase detected by a software engine that the language engine attempts to analyze semantically. The term "syntax", as used herein, refers to the grammatical or structural rules that define how symbols in a language are to be combined to form words, phrases, expressions, and other cognizable constructs.

0050LOM types can be accessed by a software application to map elements of an utterance to classes of linguistic expressions. For the purpose of clarity, the following discussion takes as primary the mapping from LOM types to classes of linguistic expressions. However, it should be understood that the mapping is a full-duplex (two-way) mapping from LOM types to classes of linguistic expressions and back. Both directions of this mapping are important for different tasks. Moreover, it should be understood that the LOM itself is language independent, such that no code changes are required to the LOM in order to model different languages. Such language-specific code changes are made, instead, in the analysis engines, not in the client application.

0051In general, the LOM specifies language abstractly, as a set of building blocks. The SPL application utilizes the building block framework to access the lexical semantic structure and the analysis engines in domain dependent way. Finally, it should be understood that the LOM does not require application schema to operate. The LOM can be utilized to model an utterance, and an analysis engine can provide a LOM mapping independent of the application schema. Thus, the LOM can be considered to be inside the analysis engines, and the LOM is a way to express natural language semantically. The analysis engines make decisions as to what the correct LOM expression is for a given utterance, effectively mapping the utterance to the LOM.

0052FIG. 3 shows a simplified block diagram of an analysis component 300 of the system of FIG. 2 according to an embodiment of the present invention. An analysis engine 302 receives flow controls 304, application schema 306 and text input 308. Using the LOM 310, the analysis engine 302 maps the text input 308 to the application schema 308 in order to produce one or more potential interpretations 312, which can be resolved by an SPL interpreter or by the client application from which the application schema 306 was received.

0053In general, the possible interpretations 312 are simply objects of particular types, represented as LOM objects. The analysis engines 302 may additionally map the LOM objects to the corresponding objects of the application schema before returning the possible interpretations to the interpreter or the client application, depending on the implementation.

0054Prior to discussing the structure of the LOM in detail, it is useful to develop at least a cursory understanding of the base types utilized by the semantic programming language. In general, the semantic programming language can operate over any number of different semantic object models, but is specifically optimized to operate with the structure of the LOM. At this time, the LOM is the particular semantic object model that offers the best compromise between programming intelligibility (from an application developer's perspective) and linguistic coverage (namely model elements required for application scenarios such as command-and-control, question-answering, and the like).

D2. SEMANTIC PROGRAMMING LANGUAGE TYPES

0055The semantic programming language (hereinafter referred to as "SPL") is intended to assist software application developers to implement natural language programs. Since most developers are not experts in semantic analysis or linguistics, the SPL provides a framework and a programming language for non-linguist developers to deal with natural language semantics in largely intuitive ways.

0056The SPL and an accompanying compiler facilitate programming of natural language client applications to the LOM. The SPL is designed to hide many of the underlying details of the linguistic framework in order to make it easier for developers to write code that interacts properly with the Framework.

0057Although the SPL can be the standard front-end for developers making use of the Framework, the SPL is not required. A developer can target the Framework directly, by creating types that implement the various Framework interfaces, by inheriting from types that implement the various Framework interfaces, and by providing application schema to the Interpreter. Alternatively, this may be done indirectly, such as by other means of authoring Framework-compatible code, as through, for example, a visual forms-based design tool.

0058In general, the LOM is implemented as a class library of the SPL. This is similar to the way that the C Runtime Library and the Standard Template Library (STL) form the standard library of, for example, Microsoft® Visual C++®, which is an application designed to facilitate software development and which was created by Microsoft Corporation of Redmond, Washington. The terms Microsoft® and Visual C++® are trademarks owned by Microsoft Corporation of Redmond, Washington.

0059The semantically meaningful types in SPL are those types that participate in the modeling of the semantics of incoming utterances and in modeling the application commands to which those incoming utterances correspond. Semantically meaningful types are the types that SPL authors can derive from and specialize to their application domains. The semantically meaningful types in SPL are Entities, Frames, Restrictions, Commands, and Denoter Objects. Functional types in SPL are Phrases and Slots. Each of these types is discussed separately below.

0060In general, the SPL framework types define all aspects of the interactions between the client application, an SPL interpreter, and one or more natural language analysis engines. The phrase "all aspects of the interactions" refers to the interfaces that the various components must implement, the base classes from which the various components inherit, and the types of data passed between components of the system. In one embodiment, the framework types are implemented as types in the .NET Framework, which is a framework that was created by Microsoft® Corporation of Redmond, Washington. The SPL types can be arranged into several namespaces. In one embodiment, the SPL types are arranged into several namespaces, which are all subnamespaces of, for example, System.NaturalLanguageServices or System.NaturalLanguage namespace. As used herein, "namespace" refers to a context in which names (identifiers) are defined. Within a given namespace, all names must be unique.

0061For the sake of clarity, the discussion below introduces the SPL types, introduces the LOM in detail, and then returns to detail the SPL. Throughout the text, examples are used, where appropriate, to illustrate the invention. For the most part, examples tend to derive from a simple natural language utterance, <i>Send mail</i> to <i>Bob.</i> Given this utterance, an application written according to the LOM and using the SPL can generate interpretations based on the text input. The generated interpretations can then be resolved against the natural language application to identify and execute actual interpretations of the instruction.

0062An Entity is an object of type Entity, meaning an entity can include data members, properties and methods. SPL Entities are objects whose type derives from class Entity and is used mainly to model the semantics of noun phrases and adjective phrases. SPL Entities may host frames or restrictions (both described below) via the "with" syntax. Additionally, SPL Entities may include an optional "Denoted By" clause, which introduces a privileged data member of type "Denoter" (described below). The privileged data member, introduced by the "Denoted By" clause, can be used by an SPL interpreter to map entities to actual natural-language words.

0063A Frame is a class, which models the semantics of semantic events, where the semantic event can be expressed either as verbs or nouns. SPL frames are classes that derive from Frame. In general, Frames can apply to Entities, so a Frame can have a "Denoted By" clause, as well as lists of "slots" (described below) containing frame arguments. Additionally, Frames may host restrictions via the "with" syntax. In one embodiment, head words for a Frame may be defined by a developer to create new Frame types. In an alternative embodiment, developers inherit from existing frames, and derive the desired headwords from inheritance. In another embodiment, developers can specify headwords in a manner similar to how denoters are specified.

0064Restrictions generally model oblique arguments, modifiers, and other semantic elements. SPL restrictions are classes that derive from class Restriction. Restrictions, like frames, have lists of slots containing arguments. Additionally, SPL Restrictions may host other Restrictions via the "with" syntax.

0065SPL commands are classes that derive from class Command. Commands are purely domain dependent, meaning that they depend on the specific natural language application to which they are associated. In general, domain dependent commands have no role in modeling the semantics of the input, and thus commands play no role in the LOM. Instead, commands model actions in the application.

0066Additionally, commands have an optional "uses" clause, which introduces a privileged data member of type Frame. The "uses" clause is the crucial link between the domain-independent input and the desired domain-dependent action.

0067Denoter objects are structs of type Denoter. In practice, a lexicon is created that maps from each word used as a denoter in a SPL program to a corresponding list of Denoters, so the Denoter object does not need to store a string list. There is one Denoter Object per natural language (an ENGLISH field, a JAPANESE field, and the like.). Denoter objects act as localization tables for entities. Like commands, denoter objects are purely domain dependent. However, Entity does have a field of type Denoter, which exists only so that the application can examine the Denoter object to determine why the Entity was suggested by an analysis engine.

0068The functional types in SPL are types that serve some modeling purpose, but that cannot be specialized. Additionally, other classes and types cannot be derived from the functional types.

0069The functional type "Phrase" encapsulates information about a portion of a text string input underlying some semantic object. Type Phrase allows software developers to perform ad hoc manipulation and examination of the original input string from inside structured representations of the semantics of that input string.

0070In one embodiment, the functional types "Slots" are objects of type Slot that hold entities, frames, restrictions or denoter objects, possibly along with some auxiliary information. For instance, slots corresponding to gaps in relative clauses contain entities marked as "backreferences". In an alternative embodiment, the Entity, Frame, or other reference is placed where a slot is expected. In another alternative embodiment, the Slot object is omitted along with its auxiliary information, and the Entity, Frame or other reference is used directly.

D3. LOM TYPES

0071Having reviewed the types that define the SPL semantic model structure, it is possible to discuss the LOM in detail. In general, the LOM types and the classes of linguistic expressions modeled by the types include Entities, Frames and Restrictions.

a. LOM ENTITIES

0072While a large part, perhaps the majority, of an SPL programmer's job revolves around designing an array of domain entity types and gathering the correct localization information for each of those types, from the LOM's perspective, entities are straightforward. In many cases, the "head word" of the phrase is the head word of the entity. The head word normally corresponds to the lemma of the syntactic head of the phrase the entity models. The lemma denotes a canonical representation for different forms of a word. For example, the terms <i>walks, walked,</i> and <i>walking</i> share the lemma <i>walk.</i>

0073Regardless of the spoken language used, the general rule for all languages is that NPs become LOM entities. The head word of the entity is the lemma of the NP's head noun.

0074In general, coordination of entities is expressed in the LOM via the type "CoordinatedEntity". A code snippet of illustrating an instantiation of type CoordinatedEntity is shown in Table 1. <tables id="tabl0001" num="0001"><img file="EP1589440A2_D0001.tif" /></tables><tables id="tabl0002" num="0002"><img file="EP1589440A2_D0002.tif" /></tables> The goal of the LOM with respect to coordination is to minimize semantically-irrelevant bracketing ambiguities. Thus, for instance, a text input of X <i>and Y and Z</i> is represented as the flat list <i>X AND Y AND Z</i> and is not ambiguous between the right-associative <i>X AND [Y AND Z]</i> and the left-associative <i>[X AND Y] AND Z.</i> When there is true bracketing ambiguity, however, the LOM preserves the ambiguity. For example, for the phrase <i>show cars with 4WD and ABS</i> or <i>AWD,</i> both <i>4WD AND [ABS OR AWD]</i> and <i>[4WD AND ABS] OR AWD</i> are possibilities. Of course, in this particular case, only the second representation is likely to make sense, but that is for the application to decide, rather than the LOM.

0075Pronouns are modeled in the LOM as objects of type "PronounEntity". An illustration of an instantiation of a pronoun entity according to an embodiment of the present invention is shown in Table 2. <tables id="tabl0003" num="0003"><img file="EP1589440A2_D0003.tif" /></tables> The LOM provides an interface for anaphora resolution through the "potentialAntecedents" field within PronounEntity. The term "anaphora" refers to the relation between multiple words or phrases referring to the same Entity. The potentialAntecedents field can be optionally filled in with a list of previously-resolved Entity objects that are linguistically possible antecedents. The list is ranked in decreasing order of likelihood. The linguistic agreement information, which is the most important factor in anaphora resolution, can be accessed by the application developer through the object of type "AgreementInfo" that is attached to every Entity. An example of a struct AgreementInfo is provided in Table 3. <tables id="tabl0004" num="0004"><img file="EP1589440A2_D0004.tif" /></tables> Only AgreementInfo fields that are unambiguously true with respect to a given entity are associated with that entity's AgreementInfo object. In other words, the LOM makes no attempt to represent disjunctive agreement features. For example, the term <i>cat</i> would have "thirdPerson" and "singular" associated with its AgreementInfo object. The phrase <i>she</i> is is associated with "thirdPerson", "singular", and "feminine" in its AgreementInfo object. In French, the term "vous" is associated with "secondPerson". In Spanish, the term <i>perro</i> is "thirdperson", "singular", and "masculine", each of which are unambiguously true with respect to the given entity perro, and therefore are associated with that entity's agreement object.

0076Demonstratives such as "this" and "that", which can be used as independent NPs, become objects of type DemonstrativeEntity. An illustration of an entity DemonstrativeEntity is provided below in Table 4. <tables id="tabl0005" num="0005"><img file="EP1589440A2_D0005.tif" /></tables> Since objects of type DemonstrativeEntity are derived from Entity, they inherit the AgreementInfo objects, allowing words like this and <i>that</i> to be distinguished. In general, this inheritance allows the system to have the capability of distinguishing correctly between such elements in English, French, German, Japanese, Spanish, and numerous other languages.

0077Another related type is the NamedEntity type. The syntax for a NamedEntity is as follows.    namedentity OlapNamedEntity uses ExcelAddin.FuzzyOlapCubeRecognizer; In general, NamedEntity types are based on a separately defined class that inherits from a NamedEntityRecognizer class. The NamedEntityRecognizer types are passed along with the schema, and an analysis engine can use them to call back into the client code to dynamically identify application object references in the utterance.

b. LOM FRAMES

0078In one implementation, for all languages, clauses become LOM Frames; however, this is not necessarily true for all implementations. Conceptually, a Frame comes from a clause, but there need not actually be a clause present in the input. The head word of the frame is the lemma of the verb heading the clause. For example, analyzing the phrase "Send mail to Bob" would result in "send mail" being associated with an LOM Frame, where "Send" is the lemma of the verb heading the clause and is therefore the head word of the frame.

0079It should be understood that the Restrictions can be conceptualized as providing for a default behavior. However, such behavior is not necessarily enforced. The functionality is implementation specific.

0080Slots can be filled by entities or frames, so default slots can be either noun phrases or clauses. In addition, NPs may be headed by an empty pronoun (PRO). If PRO points to referents in another clause, the head of that clause will be interpreted as the head of the NP entity. If PRO has no referents, it will be interpreted as some entity, (such as someone or something).

0081In one embodiment, assuming there is a subject contained in the clause, the subject of the clause fills the "Doer" restriction. If there is no subject, there is no "Doer" restriction. "Doer" represents a first participant in an event, with semantics loosely described as doer, agent, actor, instigator or cause of the event or state named by the verb. Examples of verb clauses where a portion of the clause maps to the "doer" restriction of the frame appear below in Table 5. <tables id="tabl0006" num="0006"><img file="EP1589440A2_D0006.tif" /></tables> The underlined words or phrases are those that are mapped to the Doer slot. This is true in both transitive and intransitive frames, corresponding to transitive and intransitive verbs.

0082If there is an object in the clause, the object is mapped to a second slot of the frame called the "DoneTo" restriction representing the second syntactic participant in the event. The semantics may be loosely understood to refer to the object that is affected by the event or state named by the verb. The underlined phrases of Table 6 map to the "DoneTo" restriction. <tables id="tabl0007" num="0007"><img file="EP1589440A2_D0007.tif" /></tables>

0083In one implementation, indirect objects can be understood to be the beneficiaries of the action. In one embodiment, indirect objects may be mapped to a Beneficiary restriction. The Beneficiary restriction generally models verbal arguments that express the person on whose behalf or in whose place an event was performed. The beneficiary slot is illustrated briefly by the underlined pronouns contained in Table 7. <tables id="tabl0008" num="0008"><img file="EP1589440A2_D0008.tif" /></tables>

0084A Beneficiary restriction (or in an alternative embodiment, a "slot") may be set to the entity modeling a noun phrase that is interpreted as a beneficiary. Table 8 illustrates a code block of the beneficiary restriction. <tables id="tabl0009" num="0009"><img file="EP1589440A2_D0009.tif" /></tables><tables id="tabl0010" num="0010"><img file="EP1589440A2_D0010.tif" /></tables>

0085The beneficiary restriction, sometimes referred to as "benefactive", overlaps with allocation in English, especially on singular objects of "for" prepositional phrases. Some overlap may also occur in other languages. When applied to frames, the beneficiary restriction is apparent from the following sentence.    I baked a cake for my mother.       PP[<i>for</i>]

0086In general, the beneficiary restriction models verbal arguments in most languages. Table 9 illustrates the beneficiary restriction in a few sample languages. <tables id="tabl0011" num="0011"><img file="EP1589440A2_D0011.tif" /></tables><tables id="tabl0012" num="0012"><img file="EP1589440A2_D0012.tif" /></tables>

0087Generally, restrictions may be subjects, direct objects, indirect objects, oblique arguments, modifiers, and the like. In SPL, a frame can take any restriction (with exceptions noted below). However, the LOM uses the grammar to prefer restrictions in two ways. First, an oblique argument may be a restriction type associated with a Lexical Semantic Structure class of which the verb is a member (this is discussed in greater detail below). Second, an oblique argument may be idiosyncratically associated with an individual verb; that is, the argument does not bear any of the restriction relations to its clausal head. The arguments are assigned to the Default restriction (discussed below) and are identified by their lexical head.

0088Coordination of frames is done in two different ways, depending on the context. "Top-level" coordinated frames (i.e., those that come from matrix verbs) are represented as objects of type CoordinatedFrame, parallel to CoordinatedEntity (described above). An illustrative example is shown in Table 10 below. <tables id="tabl0013" num="0013"><img file="EP1589440A2_D0013.tif" /></tables><tables id="tabl0014" num="0014"><img file="EP1589440A2_D0014.tif" /></tables> Generally, frames that appear on entities (via the "with" syntax) behave as restrictions. As described below, that means that conjunctions are expressed by triggering multiple restrictions, while disjunctions are expressed by multiplying out the host entity into a CoordinatedEntity.

0089As previously discussed, in one embodiment, Frames may serve as restrictions on entities to model natural language relative clauses. When frames are attached to entities via the "with" keyword, the frame imposes a restriction on the entity, which is referred to as a "frame-based restriction". In a vast majority of cases, one slot in a frame corresponds to a natural language gap bound by the head noun. In the LOM, this translates into the frame-based restriction receiving a reference to its host entity in one of its slots. Inclusion of a reference to the host entity in a slot of the frame-based restriction can be referred to as a "backreference". Since such "backreferences" permit reentrance into the otherwise tree-like LOM representations, slots that correspond to gaps have their isBackreference flag set to true. (This flag is simply a convenience for processes that walk over LOM representations.) For example, in Table 11 below, a frame-based restriction is resolved against the phrase "files that Billy opened yesterday". <tables id="tabl0015" num="0015"><img file="EP1589440A2_D0015.tif" /></tables> In table 12, a frame-based restriction is resolved against the phrase "people who work at Company". <tables id="tabl0016" num="0016"><img file="EP1589440A2_D0016.tif" /></tables> In table 13, a frame-based restriction is resolved against the phrase "people I have sent mail to". <tables id="tabl0017" num="0017"><img file="EP1589440A2_D0017.tif" /></tables> It is important to note that the reentrances introduced by frame-based restrictions cause difficulties for the resolution process of SPL. Specifically, an entity is not fully resolved (and thus in SPL does not technically "exist") until all of its restrictions have been fully processed. However, one of an entity's restrictions can be a frame that takes the entity itself in one of its slots. A situation thus arises where the entity object needs to be examined by the code that defines the frame, yet the entity remains in an undefined state until some point after the resolution of the frame finishes. This issue is discussed in greater detail below in Section E.4.

0090In an alternative embodiment, Frames do not have slots, but instead use "Doer" and "DoneTo" restrictions as described above. In such an instance, a new restriction may be defined based on the frame, and restriction clauses for "Doer" and "DoneTo" can be applied to that new restriction. Thus, restrictions present an alternative way of handling frame arguments. In the following discussion, for the sake of brevity, reference may be made to only one such implementation, but either implementation may apply.

c. LOM RESTRICTIONS

0091Unlike entities and frames, coordination of restrictions is not represented through the use of "compound" types such as CoordinatedEntity and CoordinatedFrame. Instead, the semantics of SPL are exploited to represent restriction conjunctions, while restriction disjunctions are reduced to entity or frame disjunctions.

0092SPL assigns a conjunction or intersection semantics to two restriction clauses successfully triggering sequentially on the same host; therefore, linguistic conjunction of material that is modeled with restrictions is handled by simply triggering two or more restrictions in sequence. Linguistic disjunction of material modeled with restrictions, on the other hand, has no convenient counterpart in SPL semantics. Such disjunctions, then, "bubble up" to the next entity or frame above the restriction (usually the host), giving rise to CoordinatedEntity or CoordinatedFrame objects at that level.

0093For instance, for the phrase "mail from Kim or to Robin", there is an entity host, "Entity(mail)", and two restrictions, "Source(Entity(Kim))" and "Goal(Entity(Robin))". Since the two restrictions are coordinated with the disjunction "or", the disjunction should bubble up to the host, "Entity(mail)", resulting in the mapping illustrated in Table 14. <tables id="tabl0018" num="0018"><img file="EP1589440A2_D0018.tif" /></tables> This code produces two copies of Entity(mail).

0094An Accompaniment restriction models an additional member or members in some group. Often, accompaniment can be paraphrased by a conjunction. For example, the phrase <i>customers along with their birthdates</i> can be paraphrased as <i>customers and</i> their <i>birthdates.</i> For reciprocal-event-denoting entities, the accompaniment restriction models an additional participant in the event. Often, such nominals have corresponding frames (e.g. <i>correspond, meet, chat,</i> and so on). The accompaniment restriction also models prepositional phrases in noun phrases such as <i>correspondence</i><u><i>with my manager,</i></u><i>an appointment</i><u><i>with Kim,</i></u><i>meeting</i><u><i>with Tim</i></u> (emphasis added), <i>a chat</i><u><i>with Sue,</i></u> and so on. An example of the syntax of an Accompaniment restriction according to an embodiment of the present invention is illustrated in Table 15. <tables id="tabl0019" num="0019"><img file="EP1589440A2_D0019.tif" /></tables>

0095The Accompaniment restriction can also model additional who or what participants in the context of a Frame. For example, the phrase "chat with Robin" invokes the "Chat" frame with the phrase "with Robin" as an accompaniment restriction.

0096The accompaniment restriction may also be assigned to a slot within the entity modeling the noun phrase that is interpreted as accompanying the host. Alternatively, the accompaniment restriction can be set to the "who" or the "what" slot.

0097In some instances, it may be desirable to compile a list of cases of "with" as entity lists, which are semantically equivalent to conjunctions. To the extent that equivalent accompaniment expressions exist in other languages as well, it may be useful to compile entity lists for those expressions as needed.

0098With respect to possessives that can be modeled as accompaniment, it may be desirable include them in entity lists as well. For example, "email with attachments" is an accompaniment-style possession, as opposed to "email's attachments" which is a possessor-style possession. In some instances, these may be treated as linguistically complementary. Additionally, phrases such as "an email that has attachments" can also be modeled as accompaniment restrictions.

0099Subject reciprocals can also be folded into accompaniment restrictions. An example of a subject reciprocal is "John chatted with Mary" as compared with "John and Mary chatted". Lexically, these two expressions are easily identified. Similarly, object reciprocals, such as "Merge File A and File B" as compared with "Merge File A with File B", are readily identifiable. It may be desirable to incorporate such subject and object reciprocals into accompaniment normalization in the LOM.

0100The accompaniment restriction extends to many languages, particularly with respect to prepositional phrases such as "along with" or "together with". In French, German, Japanese, Spanish, and other languages, a similar accompaniment restriction can be employed. Table 16 illustrates such accompaniments. <tables id="tabl0020" num="0020"><img file="EP1589440A2_D0020.tif" /></tables><tables id="tabl0021" num="0021"><img file="EP1589440A2_D0021.tif" /></tables>

0101An allocation restriction, such as that illustrated in Table 17, generally models an entity to which the host entity is distributed or models an entity that exists or was created on the host entity's behalf. <tables id="tabl0022" num="0022"><img file="EP1589440A2_D0022.tif" /></tables> When the allocation restriction models an entity to which the host entity is distributed, an example of such a restriction might be "online profile <u>for each fund",</u> "schools <u>for linguistics",</u> or "application <u>for a job".</u> The underlined portion illustrates the allocation restriction. When the allocation restriction models an entity that exists or was created on behalf of the host entity, the semantic utterance might be "a cake <u>for my mother"</u> or "party <u>for my manager."</u> In both instances, the allocation restriction adds specificity to the entity. Table 16 illustrates code for an embodiment of an allocation restriction. An allocation restriction can be set to the entity modeling the noun phrase that is interpreted as allocated to the host using the slots.

0102In general, the allocation restriction may apply to allocation to singular as well as plural entities. The allocation restriction is in complementary distribution with the Beneficiary in English. Only an entity hosts an allocation. Only frames host a beneficiary, especially on singular objects of for prepositional phrases. In English, this preposition may be used in a number of ways. For example, in <i>packets</i><u><i>for</i> a specific <i>destination</i></u> it indicates a purpose, whereas in <i>application</i><u><i>for which you are enabling authorization checking</i></u> it is a type of allocation. Similarly, <i>tabs</i><u><i>for taskpad views,</i></u><i>checkbox</i><u><i>for the type of service</i></u><i>,</i> and <i>area code</i><u><i>for Madison, WI</i></u> all represent allocation restrictions. In German, <i>für</i> expresses allocation, <i>inter alia.</i> In Spanish, the corresponding preposition is para:the phrase "una escoba <u>para la cocina"</u> illustrates an allocation restriction.

0103An "AsBeing" restriction on a Frame models a property or capacity assigned to the object slot of the frame. Only modifier restrictions modeling an adjective phrase map into the restriction version. Table 18 provides two code samples of the AsBeing restriction. <tables id="tabl0023" num="0023"><img file="EP1589440A2_D0023.tif" /></tables> In general, the LOM models the semantic relationship between lemmas of an utterance. The "AsBeing" restriction attempts to model the prepositional phrase "as". For example, the phrase "Save the file as a text file" is similar to "Save the file to a text file". "Set my status as busy" is similar to "Set my status to busy." The AsBeing restriction models a property or capacity assigned to the object slot of the frame. Here, the AsBeing restriction models the restriction "as" to "text file", which is the property assigned to the object slot of the frame. Alternatively, it may be possible to apply this functionality to a Denoter, rather than to an Entity. Table 19 illustrates an example of the AsBeing object in English, German, Japanese, and Spanish. <tables id="tabl0024" num="0024"><img file="EP1589440A2_D0024.tif" /></tables>

0104A cardinal restriction is one that models cardinality as expressed by numeric quantifiers. Slots and fields may be set to the floating point value of the numeric quantifier. Indefinite articles such as "an" and "a" may be modeled as "one" in some cases. Table 20 illustrates a cardinal restriction. <tables id="tabl0025" num="0025"><img file="EP1589440A2_D0025.tif" /></tables> Additionally, it may be desirable in certain instances to block cardinal on units of time (such as "in 3 hours", and so on). With respect to time units in particular, blocking the cardinal restriction should not conflict with Time-type objects (at least in English) because the introduction of a time quantity typically requires a prepositional phrase, such as "in 3 hours" or "for 3 minutes", and so on. Table 21 illustrates some exemplary expressions that can be mapped to cardinal restrictions. <tables id="tabl0026" num="0026"><img file="EP1589440A2_D0026.tif" /></tables><tables id="tabl0027" num="0027"><img file="EP1589440A2_D0027.tif" /></tables>

0105Another type of restriction, "Comparison", models comparisons of an entity with another explicitly identified entity. The syntax for a Comparison restriction is illustrated in Table 23.. <tables id="tabl0028" num="0028"><img file="EP1589440A2_D0028.tif" /></tables> The comparison restriction is not used for implicit comparisons, such as where one of the entities to compare is not explicitly referenced. For example, "a bigger file" suggests an implicit comparison, which does not invoke the comparison restriction.

0106The comparison restriction may be applied to a dimension slot, where the dimension is set to a modifier restriction modeling an adjective phrase. This modifier restriction will typically have a "degree" restriction with its degree field set to "more", "less" or "same", for example. A "refpoint" field is set to the entity to be compared with the host entity.

0107Depending on the specific implementation, superlatives that explicitly name a comparison class may require special attention. For example, the phrase the <i>tallest girl in the class</i> may result in the <i>class</i> being called out as a refpoint for comparison, or alternatively the <i>class</i> may be called out as a location on <i>girl.</i> Various other superlative expressions may also require special attention. For example, the phrase <i>my daughter is tall for her age</i> and the Spanish equivalent <i>mi hija</i> es alta <i>para su</i> edad present a similar problem from the perspective of the LOM.

0108Table 24 provides some exemplary expressions that can be modeled by the comparison restriction. <tables id="tabl0029" num="0029"><img file="EP1589440A2_D0029.tif" /></tables>

0109A conditional restriction models a condition expressed within an utterance. Table 25 illustrates a conditional restriction syntax. <tables id="tabl0030" num="0030"><img file="EP1589440A2_D0030.tif" /></tables><tables id="tabl0031" num="0031"><img file="EP1589440A2_D0031.tif" /></tables> Like previous examples, the conditional restriction can be modeled in most languages, including English, French, German, Japanese and Spanish (among others).

0110A default restrictiondoes not model any particular class of constructions, but simply provides an interface to portions of the underlying linguistic analysis that have not yet been claimed by other LOM objects. Table 26 provides an example of the default restriction syntax for one possible implementation of the present invention. <tables id="tabl0032" num="0032"><img file="EP1589440A2_D0032.tif" /></tables>

0111Another possible variant of the Default restriction takes a single Entity as its slot. This variant of the Default restriction makes it possible for any relationship between this single Entity and the object hosting the restriction.

0112It is important to note that in general a restriction can have patterns associated with it. Such pattern associations can enable the LOM consumer to communicate with an LOM producer (analysis engine) regarding which linguistic constructs to identify. A simple example would be string-based patterns. For example, a Source restriction usage could have a pattern of ["due to" + X] to ensure that an analysis engine (LOM producer) maps that pattern to a Source restriction. By applying pattern associations to the linguistic analysis, the programmer (author) can choose to do lower-level reasoning over the user input. Unlike other LOM types, there is no cross-linguistic normalization implied with the Default restrictions.

0113Depending on the implementation, it may be necessary to define a single interface (for example, "ILinguisticAnalysis") that can expose anything from full parsing results to simple strings. In general, patterns may correspond to different ways that parts of an utterance might be exposed through an ILinguisticAnalysis. In a preferred embodiment, there is a range of default restrictions, one for each kind of analysis engine.

0114A Degree restriction attaches only to modifier restrictions that model adjective phrases. Table 27 illustrates the syntax for the degree restriction and the DegreeType enumeration. <tables id="tabl0033" num="0033"><img file="EP1589440A2_D0033.tif" /></tables><tables id="tabl0034" num="0034"><img file="EP1589440A2_D0034.tif" /></tables> The values of the DegreeType enumeration then represent various possible qualifications to the meaning of the adjective phrase. The degree field is set to the appropriate value.

0115In some instances, it may be desirable to recognize the low value of DegreeType by retrieving both a clausal negation and a high-type adverb at the same time. For example, the expression "not very big" refers to a low value of DegreeType expressed through a negation (not) and adverb (very). Ignoring the negation would lead to an incorrect interpretation of the utterance. Table 28 illustrates some exemplary phrases that can be modeled using the degree restriction. <tables id="tabl0035" num="0035"><img file="EP1589440A2_D0035.tif" /></tables><tables id="tabl0036" num="0036"><img file="EP1589440A2_D0036.tif" /></tables> It will be understood by a worker skilled in the art that other Degree restriction types exist in English and German, and that such restriction types also exist in most languages. The Degree restriction can be accessed using almost any language.

0116A Direction restriction models a direction of motion or an orientation of spatial position. Table 29 provides an example of the Direction restriction and its associated enumerations. <tables id="tabl0037" num="0037"><img file="EP1589440A2_D0037.tif" /></tables>

0117The Direction type ("DirType") field of the slot can be set to the appropriate enumeration value. In some instances, other enumerated values may be desirable. For example, the command "turn" has an unspecified direction; however, "turn" appears to expect a direction as an argument. Thus, it may be desirable to provide an enumerated value for "Unspecified" so as to distinguish such an expression from other, depending on the implementation. Values that are conflated in verbs may be stored as new object representations on the lexical entry. It is also important to understand that the Direction restriction includes objects of direction (prepositional phrases) and directional adverbs, independent of the attachment site. Table 30 provides some examples of phrases that can be modeled by Direction restrictions. <tables id="tabl0038" num="0038"><img file="EP1589440A2_D0038.tif" /></tables> It will be understood by a worker skilled in the art that other Direction restriction types exist in English and German, and that such restriction types also exist in most languages.

0118An Example restriction models exemplars of an entity type, a frame or a restriction. Table 31 illustrates the syntax for each such Example restriction type. <tables id="tabl0039" num="0039"><img file="EP1589440A2_D0039.tif" /></tables> In some implementations, it may be desirable to have a SimilarTo restriction for attaching structures such as the following: <ul id="ul0002" list-style="none" compact="compact"><li>I <i>want</i> to <i>find vendors,</i><u><i>for example</i> Volt.</u></li><li><i>I want</i> to <i>find vendors,</i><u>Volt, for <i>example.</i></u></li></ul> In another embodiment, it may be desirable to provide an additional slot for the object (the what) for which the exemplar is an example. For example, the phrase <u>This <i>program</i></u><i>exemplifies</i><u>solid <i>coding techniques</i></u> may require an extra slot for modeling the phrase "solid coding techniques". In general, the Example restriction can be understood to model similes. Table 32 provides some phrases that can be modeled by the Example restriction. <tables id="tabl0040" num="0040"><img file="EP1589440A2_D0040.tif" /></tables> It will be understood by a worker skilled in the art that other Example restriction types exist in English, German and Spanish, and that such restriction types also exist in most other languages. The Example restriction can be accessed using almost any language.

0119An Extent restriction models an entity with respect to which some notion of extent in space is measured. Table 33 illustrates the syntax of the Extent restriction. <tables id="tabl0041" num="0041"><img file="EP1589440A2_D0041.tif" /></tables> In general, the extent field of the slot is set to the Entity that models the measure of the extent. In one embodiment, the object of the extent prepositional phrase is independent of the attachment site within the utterance. Table 34 provides an example of an English and a Spanish term that can be modeled by the Extent restriction. <tables id="tabl0042" num="0042"><img file="EP1589440A2_D0042.tif" /></tables>

0120A Goal restriction models a goal of motion (metaphorical or physical) or an end state of a change of state with respect to an Entity or a Frame. Table 35 illustrates the syntax of the Goal restriction according to an embodiment of the present invention. <tables id="tabl0043" num="0043"><img file="EP1589440A2_D0043.tif" /></tables> The Goal restriction can be associated with one or more enumeration values. The field "DirType" (defined in Table 29 above), for example, can be the enumeration values of the Goal restriction, which can be set to the appropriate enumeration value Table 36 provides some phrases that can be modeled by the Goal restriction. <tables id="tabl0044" num="0044"><img file="EP1589440A2_D0044.tif" /></tables><tables id="tabl0045" num="0045"><img file="EP1589440A2_D0045.tif" /></tables>

0121Hay vuelos para La Paz todas las semanas.

0122It will be understood by a worker skilled in the art that other Goal restriction types exist in most languages. The Goal restriction can be accessed using most languages.

0123An Iteration restriction models repetition of an action. Table 37 illustrates the syntax of the Iteration restriction. <tables id="tabl0046" num="0046"><img file="EP1589440A2_D0046.tif" /></tables>

0124In one embodiment, the Iteration restriction may be incorporated into a Recurrence field of the time restriction. In general, the field of type Count signifies that the action is repeated a certain number of times (e.g. do [something] <u>5 times).</u> When the type has this value, field "times" holds the number of iterations. If the type has other values, the type models modifiers that do not express a specific number of iterations. Thus, when type is set to count, it holds the number of iterations, and otherwise, type is ignored. Table 38 provides some terms and phrases that can be modeled by the Iteration restriction. <tables id="tabl0047" num="0047"><img file="EP1589440A2_D0047.tif" /></tables>

0125It will be understood by a worker skilled in the art that other Iteration restriction types exist in most languages. The Iteration restriction can be accessed using most languages.

0126A Location restriction models a physical or metaphorical location. Table 39 illustrates the syntax of the Location restriction. <tables id="tabl0048" num="0048"><img file="EP1589440A2_D0048.tif" /></tables> Table 40 illustrates terms and/or phrases that can be modeled by the Location restriction. <tables id="tabl0049" num="0049"><img file="EP1589440A2_D0049.tif" /></tables>

0127It will be understood by a worker skilled in the art that other Location restriction types exist in most languages. The Location restriction can be accessed using most languages.

0128A Means restriction models a means or device for accomplishing something for an Entity or a Frame. The syntax of the Means restriction is illustrated in Table 41. <tables id="tabl0050" num="0050"><img file="EP1589440A2_D0050.tif" /></tables><tables id="tabl0051" num="0051"><img file="EP1589440A2_D0051.tif" /></tables>

0129It will be understood by a worker skilled in the art that other Means restriction types exist in most languages. The Means restriction can be accessed using most languages. Example terms/phrases that can be modeled using the Means restriction are shown in Table 42. <tables id="tabl0052" num="0052"><img file="EP1589440A2_D0052.tif" /></tables>

0130A Measure restriction models a weight or measure of an object for a Frame or Entity. Table 43 illustrates the syntax of the Measure restriction according to an embodiment of the present invention. <tables id="tabl0053" num="0053"><img file="EP1589440A2_D0053.tif" /></tables><tables id="tabl0054" num="0054"><img file="EP1589440A2_D0054.tif" /></tables>

0131It will be understood by a worker skilled in the art that other Measure restriction types exist in various languages. The Measure restriction can be accessed using most languages. Table 44 illustrates exemplary terms/phrases that can be modeled by the Measure restriction. <tables id="tabl0055" num="0055"><img file="EP1589440A2_D0055.tif" /></tables>

0132A Modifier restriction may be considered a "catchall" (a "garbage dump") restriction in that it does not model a semantically coherent class of linguistic expressions. It instead captures the syntactical notion of "adjuncthood". In general, the Modifier restriction may model an adjective phrase, a noun phrase, or an adverbial phrase with respect to an Entity, a Frame, or a Restriction. In one implementation, a modifier slot is simply set to a denoter object constructed from the head word of the syntactic phrase being modeled. However, this implementation is not necessarily required in order to utilize the LOM. Table 45 illustrates a syntax of the Modifier restriction according to an embodiment of the present invention. <tables id="tabl0056" num="0056"><img file="EP1589440A2_D0056.tif" /></tables>

0133In general, Modifier restrictions model certain classes of linguistic modifiers in any context. While any linguistic modifier can become a modifier, Modifier restriction is intended as the primary LOM representation of only a subset of linguistic modifiers. That subset includes most or all adjective phrases, most or all noun phrase modifiers and some adverbial phrases. Many adverbial phrases, time expressions being one major example, find their primary LOM expression in other, more specific restrictions.

0134The Modifier restriction is unusual in that its slot contains a denoter object, rather than an Entity, Frame or Restriction. The Denoter object string is the head word of the modifier. The reason for this arrangement is that, while linguistic modifiers are semantically one-place functors over their hosts (the constituents that they modify) and are therefore similar to frames, in practice they are almost exclusively used as restrictions. Additionally, linguistic modifiers are almost never in other contexts where frames might appear. Rather than require cumbersome frame-based restriction syntax (something along the lines of with MyLargeFrame<this>) and the definition of a frame type for each desired modifier class, it is sufficient to specify only the Denoter object for a modifier class and take as the semantic argument the implicit restriction argument (such as the host object the restriction attaches to).

0135Predicative adjectives in relative clauses are represented the same way as the corresponding attributive use of that same adjective. So, "a <u>large</u> file" and "a file <u>that is large"</u> both become Modifier<<i>large</i>>.

0136This treatment of adjectives may not be appropriate for some languages, such as for JAPANESE, which has adjectives that behave syntactically indistinguishably from verbs. While nouns are very similar cross-linguistically, nouns are mapped to SPL entities. While verbs are also similar cross-linguistically, verbs are mapped to SPL frames. Adjectives, then, are somewhere in between nouns and verbs, and adjectives are not similar cross-linguistically.

0137Languages can be considered to exist on a continuum. On one end of the continuum, adjectives are not really a separate lexical category from verbs, such as in the Korean language. In this instance, adjectives are just stative, intransitive verbs. The Japanese language is similar to Korean in this regard, with adjectives behaving syntactically like verbs (although they are different morphologically). The English language and those languages that derive from Latin roots (such as the Euro languages) treat adjectives as a different category from verbs. On the other end of the spectrum, languages, such as Arabic, treat adjectives as nouns of a certain class. Rather than a word for "red", Arabic uses a noun meaning something like "a red one", such that the phrase "the book is red" becomes "the book is a-red-one."

0138In some embodiments, there may be a representation for predicative adjectives in matrix clauses. For example, the phrase "this file is personal" could be handled differently from "this file is text".

0139Additionally, it will be understood by a worker skilled in the art that other Modifier restriction types exist in various languages. The Modifier restriction can be accessed using most languages.

0140A Named restriction provides access to the denoter object of the host entity. This allows (for example, MyAlias and DL_MyAlias to be normalized to a single DLEntity without requiring the author to code for two different restrictions. Table 46 illustrates the syntax of a Named restriction according to an embodiment of the present invention. <tables id="tabl0057" num="0057"><img file="EP1589440A2_D0057.tif" /></tables><tables id="tabl0058" num="0058"><img file="EP1589440A2_D0058.tif" /></tables> In general, the Named restriction is set to the denoter object of the noun phrase name or the host entity. In some embodiments, the Named restriction may be used to provide some access to named entity attributes. In another embodiment, the Named restriction is merged into the Modifier restriction. In general, the Named restriction can present an already-present piece of information (such as the host entity's denoter object) as needed.

0141It will be understood by a worker skilled in the art that other named restriction types exist in various languages. The Named restriction can be accessed using most languages.

0142A Negation restriction models a semantic negation or logical NOT. Table 47 illustrates an example of syntax for the Negation restriction according to an embodiment of the present invention. <tables id="tabl0059" num="0059"><img file="EP1589440A2_D0059.tif" /></tables> In some embodiments, the Negation restriction may be presented as a separate restriction. In an alternative embodiment, the Negation restriction may be consumed either by a "with Negation" clause or by "!" (Not operator).

0143An Ordinal restriction models ordinal numeral and other modifiers (such as "previous") that express some notion of position in a sequence. Table 48 illustrates a syntax for the Ordinal restriction and its enumeration according to an embodiment of the present invention. <tables id="tabl0060" num="0060"><img file="EP1589440A2_D0060.tif" /></tables> In general, a distance field may be set to the signed integer distance from the reference point. Alternatively, a reference point field (refPoint) called first must indicate a non-negative distance. A distance value of zero (0) models first, a value of one (1) models second, and so on. A reference point field of last must have a non-positive distance. A distance value of zero (0) models last, a value of minus one (-1) models next-to-last, and so on. A current reference point distance may hold any integer value. A distance value of zero (0) models "current" status, a value of one (1) models "next", a value of minus one (-1) models "previous", and so on.

0144Table 49 provides phrases that can be modeled by the Ordinal restriction. <tables id="tabl0061" num="0061"><img file="EP1589440A2_D0061.tif" /></tables>

0145It will be understood by a worker skilled in the art that other Ordinal restriction types exist in various languages. The Ordinal restriction can be accessed using most languages.

0146APossessed restriction models a property, attribute or possession, and serves as a complement to the Possessor restriction (described below). Table 50 illustrates the syntax associated with the Possessed restriction according to an embodiment of the present invention. <tables id="tabl0062" num="0062"><img file="EP1589440A2_D0062.tif" /></tables>

0147In general, the Possessed restriction models a property, attribute or possession. For example, the phrases <i>email</i><u><i>with headers</i></u><i>, schools</i><u><i>with linguistics programs</i></u> and the like can be modeled by the Possessed restriction. In some instances, the Possessed restriction may be referred to as "having" an attribute, property, or possession. Table 51 provides some exemplary terms and phrases that can be modeled using the Possessed restriction. <tables id="tabl0063" num="0063"><img file="EP1589440A2_D0063.tif" /></tables>

0148It will be understood by a worker skilled in the art that other Possessed restriction types exist in various languages. The Possessed restriction can be accessed using most languages.

0149A Possessor restriction complements the Possessed restriction. In general, the Possessor restriction models an entity's possessor, whether expressed by a full noun phrase or by a possessive pronoun. Table 52 illustrates the syntax of a Possessor restriction according to an embodiment of the present invention. <tables id="tabl0064" num="0064"><img file="EP1589440A2_D0064.tif" /></tables> Table 53 provides exemplary terms/phrases that can be modeled by the Possessor restriction. <tables id="tabl0065" num="0065"><img file="EP1589440A2_D0065.tif" /></tables> It will be understood by a worker skilled in the art that other Possessor restriction types exist in various languages. The Possessor restriction can be accessed using most languages.

0150Another restriction that is modeled in the LOM is the Purpose restriction. The Purpose restriction models an anticipated outcome that is associated to a Frame. Table 54 illustrates some exemplary phrases/terms that can be modeled by the Purpose restriction. <tables id="tabl0066" num="0066"><img file="EP1589440A2_D0066.tif" /></tables>

0151A Reason restriction models a rational motive for a belief or action that is associated with a frame or an entity. In one embodiment, the Reason and the purpose restrictions may overlap in scope. Table 55 illustrates exemplary terms/phrases that may be modeled by the Reason restriction. <tables id="tabl0067" num="0067"><img file="EP1589440A2_D0067.tif" /></tables> Both the Reason restriction and the Purpose restriction may be modeled in any number of languages. The exemplary terms/phrases listed above are not entended to serve as an exhaustive list, but rather to illustrate terms that might be modeled by the restrictions.

0152A SortOrder restriction models modifiers that describe the styles and/or methods of data ordering. Table 56 illustrates a syntax for the SortOrder restriction and its associated enumeration OrderType. <tables id="tabl0068" num="0068"><img file="EP1589440A2_D0068.tif" /></tables> In general, the field type may be default, reverse, alphabetic, numeric , increasing, decreasing, and so on. A default type models in default order, in any order, and so on. Reverse type models in reverse order (backwards) . Alphabetic type models alphabetically (in alphabetical order). Numeric type models numerically (in numeric order). Increasing type models in increasing order. Decreasing type models in decreasing order.

0153Depending on the implementation, the SortOrder restriction may be put on entities for things like "alphabetical list". Additionally, verbs such as "alphabetize", "categorize", "group", "classify" and "index" may be modeled by the SortOrder restriction. In certain instances, it may be desirable to include two fields for modeling phrases like "reverse alphabetical order", "decreasing alphabetical order", and the like. Moreover, there may be different sort orders common to two different languages. While the enumerations listed in Table 56 are common to the English language, Japanese may have additional sort ordering that is common to the language. Table 57 illustrates exemplary phrases/terms that can be modeled by the SortOrder restriction. <tables id="tabl0069" num="0069"><img file="EP1589440A2_D0069.tif" /></tables><tables id="tabl0070" num="0070"><img file="EP1589440A2_D0070.tif" /></tables>

0154A Source restriction models a source or origin of an object. The syntax for the Source restriction is shown in Table 58. <tables id="tabl0071" num="0071"><img file="EP1589440A2_D0071.tif" /></tables> In general, it will be understood by a worker skilled in the art that various Source restriction types may exist for multiple languages.

0155A StructureCriteria restriction models a notion, with respect to Frames, of operating over a set of objects in a structured manner. The StructureCriteria restriction models the criterion or criteria by which that operation proceeds. The syntax for the StructureCriteria restriction is shown in Table 59. <tables id="tabl0072" num="0072"><img file="EP1589440A2_D0072.tif" /></tables> In some implementations of the LOM, it may be desirable to include a restriction called "increment" for modeling phrases such as "in pairs", "5 at a time" and so on. These kinds of phrases contain nicely-normalizable numeric criteria that, depending on the implementation, may be important enough to include some specialized way of modeling them. Table 60 illustrates some terms and phrases that may be modeled by the StructureCriteria restriction. <tables id="tabl0073" num="0073"><img file="EP1589440A2_D0073.tif" /></tables><tables id="tabl0074" num="0074"><img file="EP1589440A2_D0074.tif" /></tables>

0156The "Substitution" restriction models a participant in a semantic event where one term substitutes for another. One possible example, in French, is where a substitutes for <i>pour</i> as an adjunctive. An adjunctive is a type of adverbial indicating the circumstances of the action. Similarly, in Spanish, <i>por</i> is used as an adjunct, and <i>para</i> may be used with selected verbs.

0157Time may be treated as a restriction. In general, the Time restriction models time modifiers involving references to specific units of time or points in time that can be expressed as entities. For example, "after July 23^rd" and "after Thanksgiving" can be modeled by Time restrictions. However, in some embodiments, phrases such as "after my computer boots up" are not modeled by the Time restriction. Similarly, ranges of time, such as "from 3:00 to 6:00" and "between morning and evening" can be modeled by the Time restriction. However, "while the defrag utility is running" may not be modeled by the Time restriction. Time expressions involving embedded clausal content are handled in the Conditional restriction. TABLE 61 illustrates a syntax and implementation of time as a restriction within the LOM. <tables id="tabl0075" num="0075"><img file="EP1589440A2_D0075.tif" /></tables><tables id="tabl0076" num="0076"><img file="EP1589440A2_D0076.tif" /></tables><tables id="tabl0077" num="0077"><img file="EP1589440A2_D0077.tif" /></tables><tables id="tabl0078" num="0078"><img file="EP1589440A2_D0078.tif" /></tables><tables id="tabl0079" num="0079"><img file="EP1589440A2_D0079.tif" /></tables>

0158The Time restriction makes use of one or more fields and a large number of auxiliary data types as needed. Fields may include start time, end time, "point or span", duration, and recurrence. The start time field is set to a base time derived object expressing the starting point of a time span, such as "from 5:00" or "after tomorrow". If the start time field is null, then the time modifier modeled contains no overt expression of a starting point.

0159An end time field is set to a base time derived object expressing the ending point of a time span, such as "to 6:00" or "until Friday". If the end time field is null, then the time modifier modeled contains no overt expression of an ending point.

0160A point or span field is set to a base time derived object expressing a solitary time point or span expressed in a single phrase, as opposed to time spans expressed by overtly naming starting and ending points. For example, with respect to "tomorrow", the idea is that whether "tomorrow" is a single point on a time line or a 24-hour span of time depends on the context and the viewer's point of view. The LOM makes no attempt to disambiguate the term. If the point or span field is null, then the time modifier modeled contains no overt expression of a solitary time point or span.

0161A duration field may be set to a duration object expressing a length of a span of time without expressing the particular starting and ending points. For example, the phrase "for two hours" can be modeled by the duration field. If null, then the time modifier modeled contains no overt expression of duration. The duration inherent in a time span such as "from 4 pm to 6 pm" is not expressed as a duration object. In this case, there would be non-null values for start time and end time, but duration would be null.

0162A recurrence field is set to a time length object expressing the interval between occurrences of a recurring event. For example, phrases, such as "daily", "weekly", "monthly", "the first Monday of every month" and so on, can be expressed as a time length object. If null, then the time modifier modeled is not interpreted as recurring.

0163In general, the Time restriction makes use of a large number of auxiliary data types. For example, BaseTime chains are objects derived from BaseTime, consisting of zero or more objects derived from RelativeTime and exactly one "root" object derived from AbsoluteTime. They are referred to as "chains" because each RelativeTime-derived object holds a reference to the next object in the chain, while the root AbsoluteTime-derived object holds no such reference.

0164AbsoluteTime derived types, such as NowAbsoluteTime, do not hold the reference to other objects in the chain. The NowAbsoluteTime derived type, for example represents the unanalyzable "now" of an utterance's speech time. The LOM does not attempt to resolve "now" into, for instance, 3:42:27 pm on October 24, 2002.

0165AnalyzedAbsoluteTime is an AbsoluteTime derived-type that represents time point or spans that can be analyzed in terms of seconds, hours, days, years, and so on. For example, AnalyzedAbsoluteTime can be used to represent the time point "now" as 3:45, 10 May 2003, Wednesday at 9:30 am.

0166UnanalyzedAbsoluteTime is an AbsoluteTime derived-type that represents expressions that known to be time points, but which cannot be analyzed in terms of atomic time units. For example, holidays, seasons of the year, and abstract temporal concepts tend to fall into this category. For example, "Thanksgiving", "Election Day", "my birthday", "summer", and "this evening" are all phrases that are modeled as UnanalyzedAbsoluteTime.

0167There exist two RelativeTime-derived types: OffsetRelativeTime and SubsetRelativeTime. OffsetRelativeTime represents a positive or negative offset of a particular length of time from the referenced BaseTime-derived object. For example, the phrase "two days ago" is modeled as "[2 days back] OFFSET FROM [now]".

0168SubsetRelativeTime is a RelativeTime-derived type that represents a time point or span interpreted as being a subset of the enclosing time span expressed by the reference BaseTime-derived object. For example, expressions of time dimensions such as "at 5:00 on my birthday" can be modeled as equivalent to "[hour:5 min:0] SUBSET OF ["my birthday"]". It is important to note that a time reference such as "5:00 on Wednesday" can be captured by a single AnalyzedAbsoluteTime object, because the phrase can be decomposed into time units.

0169In some embodiments, it may be desirable to have more than one pair of StartTime and EndTime fields. For example, in order to capture expressions such as "from Monday to Friday from 4:00 to 5:00", two pairs of start and end time fields may be desirable in order to capture both ranges. In fact, for the above-expression, it may be desirable to have Time entities. Additionally, the parallels between the following expressions suggest that Time entities might be desirable.

0170Move the meeting [from 4:00 to 5:00].

0171Move the file [from Folder1] _Source [to Folder2] _Goal. Additionally, EndTime should be distinguished from ordinary Goals, since not all structures that take Sources and Goals permit StartTime and EndTime to function as such. For example, a structure adapted to model the expression "Run a meeting [from 4:00 to 5:00]" may not permit StartTime and EndTime to function properly.

0172Another restriction is the Topic Restriction. With respect to Entity objects, the Topic restriction models arguments or modifiers that express what an entity is about or what it concerns or pertains to. A Topic restriction associated with a Frame models verbal arguments that express the subject or topic of the event. In general, the Topic restriction has a Slot set to the Entity or Frame that models the topic or subject. Alternatively, the Slot can take a string. Table 62 illustrates the syntax of a Topic restriction according to an embodiment of the present invention. <tables id="tabl0080" num="0080"><img file="EP1589440A2_D0080.tif" /></tables>

0173In some instances, it may be desirable to label the Topic restriction with a different name. Specifically, given the severe overloading (at least within the field of Linguistics) of the term "topic", it may be desirable to use other labels for this restriction. Some alternative labels might include, for example, "Concerning", "Regarding", "About", "Subject", "Theme", and so on. Table 63 provides some exemplary Terms/Phrases that can be modeled by the Topic restriction according to an embodiment of the present invention. <tables id="tabl0081" num="0081"><img file="EP1589440A2_D0081.tif" /></tables>

0174A Quantifier restriction models noun phrase quantifiers and partitive expressions such as <i>two-thirds</i> of. In general, the Quantifier restriction may include type or percentage fields. The type field may be a percentage, which is stored as a floating-point number, typically (but not necessarily) between zero and one. For example, the percentage type models <i>one half of, 75% of, 200% increase,</i> and the like. The type field may also model quantifiers that do not correspond to exact percentages. The terms "all" and "none" are enumerated as different "privileged" values that do not fall into this "other" type. The percentage field holds the percentage corresponding to the meaning of the quantifier if the type has a value of Percentage. Otherwise, the percentage field is ignored. Table 64 illustrates the syntax for the Quantifier restriction and its associated enumerations. <tables id="tabl0082" num="0082"><img file="EP1589440A2_D0082.tif" /></tables> In some implementations, it may be desirable to treat negations differently. Rather than enumerate terms such as "none", it may be desirable to handle negations as noun phrases. Table 65 illustrates some exemplary terms/phrases that can be modeled by the Quantifier restriction. <tables id="tabl0083" num="0083"><img file="EP1589440A2_D0083.tif" /></tables><tables id="tabl0084" num="0084"><img file="EP1589440A2_D0084.tif" /></tables> It will be understood by workers skilled in the art that the above-discussions with respect to exemplary terms and phrases is intended to illustrate domain and language independence, rather than to illustrate any particular limitation with respect to linguistic modeling. In general, the LOM can model any number of languages.

D4. Classes of Frames: Lexical Semantic Structure

0175The following discussion relates to one aspect of a possible implementation of an LOM object producer (analysis engine), which is referred to as a Lexical Semantic Structure (LSS). This particular aspect was developed in conjunction with the LOM, but numerous other implementations may be utilized to produce LOM objects. The LSS was also used in the design process for the types of the LOM.

0176The Lexical Semantic Structure (LSS) is based on generalizations about cross-linguistic behavior and child-language acquisition for normalization of natural language input across languages and across linguistic categories. The LSS provides a methodology for mapping elements of a natural language into lexical semantic classes. One such use might include mapping lexical semantic structure representative of the natural language input (linguistic utterance) into the linguistic object model (LOM).

0177The LSS includes a set of lexical semantic categories and a methodology for assigning natural language input to one or more of the set of lexical semantic categories. Each category of the set of lexical semantic categories implies a mapping of elements of a natural language input to an inventory of syntactic categories and of semantic roles. More specifically, each category implies a mapping of one or more syntactic categories to one or more semantic roles. As used herein, the term "syntactic categories" refer to structural elements of a sentence (for example, subjects, objects, prepositional phrases, clausal complements, modifiers, and the like). The phrase "semantic roles" refers to an identification of a function of a particular syntactic category within a particular utterance -- for example, subjects are generally assigned the role "who" (agent, actor, doer, or cause of the action, and the like), direct objects are "what" (patient, affected, done-to, or effect of the action, and the like), and modifiers can have a variety of roles (source, goal, time, and the like). It should be understood that the examples provided above are provided for illustrative purposes, and are not intended to be exhaustive. Finally, as used herein, the term "normalize" or "normalization" refers to a process of abstracting a semantic role away from a particular syntactic representation.

0178The inventory and semantics derive from cross-linguistic behavior and child-language acquisition, and are based on the generalization that lexical semantic features of natural languages share certain properties. In terms of linguistic anchoring and semantic detail, the LSS is situated between artificial intelligence systems that move from language to semantic inference based on world knowledge, and more fine-grained lexical analyses frameworks that model distinctions between apparent synonyms. In other words, all languages have linguistic structures that can be mapped as in the default. Additionally, each natural language has numerous non-default mappings of syntactic categories to semantic roles. These non-default classes with more causally distant semantic roles than subject and object are rarer.

0179The default lexical semantic structure models a transitive sentence, such as <i>John</i> broke the <i>glass,</i> as above: by categorizing the subject of the sentence as "Who" and the object as "What". Modifiers are identified in an order (or morphological case marking) representative of the temporal unfolding of the causal chain. In other words, modifiers are derived from semantic roles played by additional case marking (indirect object) and adverbial modifiers such as prepositional phrases. In the phrase John <i>broke</i> the <i>glass for me, John</i> is the subject; the <i>glass</i> is the object; and the phrase "for me" is marked as an indirect object nearer to the object of the sentence.

0180The default intransitive sentence usually include an agent or "Who". For example, the phase <i>John ran</i> includes an agent "John". Less commonly, the single argument is a Patient. For example, in the phase <i>The glass broke,</i> the phrase "the glass" is affected, and the sentence can be modeled in the same manner as if the original sentence were <i>[Something]</i> broke <i>the glass.</i>

0181For a semantic role to be included in the LSS inventory, it must appear as a syntactic category in some language, and apply as an argument or modifier across a range of noun and verb classes. The roles therefore have both linguistic anchoring and semantic generality. For example, the phrase "the office" is a Source in each of the following examples: <ul id="ul0003" list-style="none" compact="compact"><li>1. John left <u>the office.</u></li><li>2. <u>The office</u> emitted smoke.</li><li>3. John went <u>out of the office.</u></li><li>4. The man <u>from</u> t<u>he office</u> called.</li></ul> In each instance, the source is identified based on the verb class and its behavior on semantic/syntactic tests. Referring to example 1, the source is the object of the verbs in this class. The verb "left" and the transitive "to leave" (and "to exit", <i>inter</i> alia) cannot take additional sources. For example, <i>John left</i> the <i>house out of the yard</i> does not mean "John went out of the house and out of the yard". In example 2, "the office" is the subject of the sentence based on the behavior of the verb class illustrated by "emit" on similar of semantic/syntactic tests. In examples 3 and 4 above, the semantics of prepositions "out of" and "from" generally assign the source role to their objects.

0182The LSS is a set of lexical semantic categories and a methodology for associating natural language input to one or more categories of the set of lexical semantic categories. The methodology includes a collection of procedures for associating content of the natural language to the set of lexical semantic categories and rules for applying the collection of procedures to the natural language input. As used herein, the term "methodology" refers to a collection of procedures for associating content of the natural language input to the set of lexical semantic categories. Each lexical semantic category includes one or more syntactic categories, one or more roles, and a mapping between the one or more syntactic categories and the associated one or more roles those arguments play within the utterance. Additionally, "methodology" refers to rules for applying the collection of procedures to the natural language input. In some instances, "methodology" may include heuristics for determining when different stages of mapping of the content of natural language input are complete. The term "methodology" includes a collection of techniques, rules, and procedures adopted for associating and/or normalizing content of a natural language input to one or more linguistic categories of the set of linguistic categories.

0183As a normalization structure, the LSS assists in identifying semantic roles across syntactic categories (subject/object of verb, object of prepositional phrases modifying verb, and so on). Moreover, the LSS makes it possible to associate syntactic categories with semantic roles across languages. This normalization is achieved by identifying arguments of classes of syntactic categories, as well as their semantics, and by associating the identified arguments to the appropriate lexical semantic category. The lexical semantic structure can then be abstracted from a particular syntactic representation.

0184In combination with the Linguistic Object Model and the Semantic Programming Language (and associated user schema), the semantic ambiguity in many linguistic categories is reduced. For example, the preposition "for" identifies Beneficiaries of an action <i>(I bought a dress for my daughter),</i> Purposes <i>(I go to California for the beaches</i>), Time Extents <i>(I went to school for 20 years),</i> Goals (<i>present for my daughter),</i> and so on. However, within a given application, only a limited set of possibilities is relevant to the context. Consequently, much of the semantic ambiguity is eliminated by context.

0185FIG. 11 is a simplified, conceptual block diagram illustrative of a Lexical Semantic Structure (LSS) 1100 according to an embodiment of the present invention. The LSS 1100 includes a set of lexical semantic categories 1102 and a methodology (procedures and rules) 1104 for mapping elements of natural language input 1106 into the lexical semantic categories 1102. In the embodiment shown, the mapped elements representative of the natural language input 1106 can then be provided to an analysis engine 1108 for mapping to the linguistic object model (LOM) 1110 to produce an LOM object 1112 representative of the natural language input 1106. It should be understood by workers skilled in the art that the methodology applies both to the runtime as well as to the approach of how the LSS classes were developed at design-time. More specifically, though the LSS is applicable to natural language processing at runtime for mapping a natural language input across languages, across linguistic categories, across analysis engines, and so on, the lexical semantic structure also informs the program code of the LSS classes at design-time.

0186Generally, the LSS identifies groups of frames and entities that share syntactic and semantic frames, which differ from the default patterns in one of the supported languages. In general, Lexical Semantics is a subfield of linguistics that deals mainly with word meaning. Lexical semantic structure (LSS) theory relates to the relationship of word meaning to sentence meaning and syntax. Additionally, LSS theory addresses the differences and similarities in lexical semantic structure between different languages.

0187In general, Frames have two default patterns: a transitive default pattern and an intransitive default pattern. The transitive default pattern links the Who slot to the subject position and the What slot to object position. By contrast, the intransitive default pattern lacks the What slot and object position. Both are illustrated in the following examples headed by a verb type.    [User] _Who types [email address] _What.    [User] _Who types. Frames can vary from the default in both linking (how the slots of the frame are populated by the grammar) and argument structure (number of slots). For example, in one non-default linking type, the Unaccusative, classes of verbs have different linking patterns for the intransitive pattern, as seen in the frames below, headed by the verb <i>increase.</i>    [Users] _Who generally increase [the font size]_What. of headers.    [The font size] _What generally increases in headers. In this case, the subject of the intransitive is the same as the object of the transitive, and is linked to the What slot. In Linguistics, these Unaccusative non-default linking types are sometimes referred to as "ergative" verbs, after their case-marking patterns in some languages. Such verbs generate an additional non-default linking pattern in the intransitive, in addition to the default linking pattern.

0188In another non-default linking type, ObliqueAsDefault, classes of verbs express a Who or What argument as an oblique argument. For example, reciprocals in ENGLISH express an additional Who or What participant as the object of an Accompaniment restriction.    Additional Who: I chatted <u>with John</u> ~ John and I chatted.    Additional What: I merged file A <u>with File B</u> ~ I merged File A and B. Other languages express reciprocals as an additional pronominal argument, meaning an argument that relates to a pronoun or that identifies or specifies an object without describing the object. These are also treated under the Accompaniment restriction.

0189Many verbs have syntactically oblique arguments (marked by idiosyncratic prepositions) that seem to associate semantically with the What slot. That is, if the verb is intransitive, and the prepositional phrase does not fall semantically into one of the restriction categories, and the phrase can be paraphrased (or translated into another language) as a direct object, it may be treated as linking to the What slot. Several examples are provided to illustrate phrases that trigger the Oblique as default slot in Table 66. <tables id="tabl0085" num="0085"><img file="EP1589440A2_D0085.tif" /></tables> These may be associated with semantically coherent classes <i>(hope for, watch for, wait for),</i> or they may be individually marked on a set of verbs that take a certain preposition in this way, as a case-marker of sorts (e.g. <i>find and look</i><u><i>for).</i></u>

0190Classes of verbs can vary from the default by having slots in addition to (or instead of) Who and What in the frame. Moreover, some classes of verbs link syntactic subjects or objects to restrictions in the LOM rather than to the Who or What slots. In other words, either or both the default slots may be replaced by a restriction.

0191SubjectAsRestriction patterns link subjects to a restriction rather than to the What slot. The verb "receive", for example, takes a Goal as subject.

0192[The website]_Goal received the data.

0193[The garden] swarmed with bees.~ Bees swarmed in the garden.

0194Similarly, the ObjectAsRestriction pattern projects frame in which the syntactic object is a Goal rather than a What. For example, the verb "enter" maps t a frame in which the syntactic object is a Goal or location, rather than a what.    Enter [the chat room] _Goal (cf. Enter in (to) the chat room, Go in the chat room)

0195Frames can also vary from the default in semantically entailing one or more additional restrictions as obliques. AdditionalRestriction patterns link additional restrictions as oblique arguments or clausal complements, in addition to the default slots. For example, change of state verbs can take an additional Goal (as with the verb "reset"), or can take both a Source and a Goal (such as with the verb "change"), as shown below.    Reset [the default font] _What [to Times New Roman] _Goal.    Change [the font] _What [from Arial]_Source [to Times New Roman] _Goal.

0196Additionally, Frames can vary from the default in various ways, such as by combining one or more of the above non-default linking types (Unaccusative, SlotAsRestriction [subject or object], and AdditionalRestriction). Moreover, verbs can project multiple frames, which can be construed as taking different senses. The default frame holds for one sense of "enter", and SlotAsRestriction for another. The verb "enter" may be context sensitive.    Enter [the data] _What (into the form).    Enter [the chat room] _Goal The keyword "Keep" takes the default and three non-default frames, having different senses. For example,    <u>Befault:</u> Keep [the file] _What    <u>AdditionalRestriction</u> (Location): Keep [the file]_What [on the desktop]_Location.    <u>AdditionalRestriction</u> (Goal): Keep [Bill Gates] _What [from emailing me]_Source    <u>Unaccusative:</u><i>The data won't keep.</i> In general, it is desirable to have Lexical Semantic Structure frames across all supported languages, for verbs that differ from the default in at least one language. For the purpose of this disclosure, it is assumed that this is true for both transitive and intransitive verbs.

0197For some verbs (such as "expand", "increase", and so on), only the unaccusative pattern may be valid for the intransitive. For other verbs, unaccusative pattern linking is an additional option.

0198Table 67 illustrates some exemplary phrases/terms that can be modeled by LSS Frames with additional restrictions. In each example, the restriction replaces a default argument, or adds an argument to a frame. In principle, each restriction could appear in the subject position, in the object position, or as an additional oblique argument. A few restrictions add a participant to Who and What slots, as noted below. Related Noun Phrase (NP) frames are also given. <tables id="tabl0086" num="0086"><img file="EP1589440A2_D0086.tif" /></tables><tables id="tabl0087" num="0087"><img file="EP1589440A2_D0087.tif" /></tables>

0199In English, the additional restriction is typically headed by the pronoun "with" or perhaps "against". A variety of verb subclasses select this pronoun or pronoun phrase on the relevant meaning. A sample is given below in Table 68. <tables id="tabl0088" num="0088"><img file="EP1589440A2_D0088.tif" /></tables>

0200In English, the Accompaniment restrictions can also add participants to the Who and What slots. Although this is true for frames in which this restriction is a modifier, it is especially common with "reciprocal" verbs. Table 69 provides some examples of Oblique as a default slot. <tables id="tabl0089" num="0089"><img file="EP1589440A2_D0089.tif" /></tables><tables id="tabl0090" num="0090"><img file="EP1589440A2_D0090.tif" /></tables>

0201In English, the additional restriction is headed by the PP "for" with respect to Allocation. A variety of verb subclasses take this PP on the relevant meaning. A sample is given below.    Adapt: Adapt the movie for the stage.    Allocate: Allocate funds for linguistics;    allocate, appropriate,    Appropriate: Appropriate funds for increased wages    Assign: Assign a day for the performance    Nominate: Nominate candidates for congress    Transcribe: Transcribe the music for trumpet    Train: Train for a marathon

0202A secondary predicate with respect to the AsBeing restriction can be utilized as an additional restriction. Some exemplary phrases are provided in Table 70 below. <tables id="tabl0091" num="0091"><img file="EP1589440A2_D0091.tif" /></tables><tables id="tabl0092" num="0092"><img file="EP1589440A2_D0092.tif" /></tables>

0203Additional restrictions with respect to the Beneficiary restriction are shown in Table 71 below. <tables id="tabl0093" num="0093"><img file="EP1589440A2_D0093.tif" /></tables>

0204Some of the restriction types may be non-applicable for verb frames. However, the additional restrictions may still be invoked, such as where a prepositional phrases introduces a comparison set.

0205Direction restrictions may require additional restrictions such as with the phrase "move the cursor <u>up</u> (the page)". Additionally, where the directional element is conflated in the verb itself (such as "the stocks rose/fell/advanced/retreated" or "<u>rotate</u> the picture"), additional restrictions may be required.

0206An LSS with an additional restriction can be understood from the following phrases, with the example restriction contained in the subject position.    <u><i>This document</i></u><i>exemplifies</i> table <i>construction</i>    <u><i>Sample code</i></u><i>illustrates possible applications.</i>

0207The extent restriction typically falls within the object position or the additional restriction position. It is possible that all manner of motion type verbs may take an Extent object (e.g. "walk the mall", "crawl the web", "run the marathon" and so on). Example phrases that can be modeled by the Extent restriction are shown in Table 72. <tables id="tabl0094" num="0094"><img file="EP1589440A2_D0094.tif" /></tables>

0208A Goal restriction may require additional restrictions, particularly with respect to changing between classes or states. The scope of prepositional phrases that behave as Goals idiosyncratically with some verbs may vary according to implementation. Examples of a prepositional phrase that behave idiosyncratically as a Goal are "save as file.txt" ("save to file.txt") and "reschedule for 5:00" ("reschedule to 5:00").

0209Some verbs may need to take idiosyncratic goals, either in Bitrecs (if the Goal behavior is due to a single verb) or in LSS classes (if a class of items takes goals idiosyncratically). An additional goal may simply be added, and patterns can be pulled out from the lexicon into classes to address them as they are discovered.

0210The additional restrictions associated with location can be modeled as illustrated in Table 73 below. <tables id="tabl0095" num="0095"><img file="EP1589440A2_D0095.tif" /></tables> The Means restriction may also be modeled with additional restrictions as shown in Table 74. <tables id="tabl0096" num="0096"><img file="EP1589440A2_D0096.tif" /></tables><tables id="tabl0097" num="0097"><img file="EP1589440A2_D0097.tif" /></tables>

0211The SortOrder restriction may be modeled by additional restrictions as shown in Table 75. <tables id="tabl0098" num="0098"><img file="EP1589440A2_D0098.tif" /></tables>

0212Similarly, the structure criteria restriction may be modeled by additional restrictions as shown in Table 76. <tables id="tabl0099" num="0099"><img file="EP1589440A2_D0099.tif" /></tables><tables id="tabl0100" num="0100"><img file="EP1589440A2_D0100.tif" /></tables>

0213In general, classes that take a Time argument could be treated as classes that take a Measure restriction of type Time, although they can have the full time expression realized. For example, the following phrase can be modeled as a class that takes a time argument or a measure restriction of type Time: "I spent at least an hour from 9 to 5 every day for weeks looking for a piano."

0214Table 77 illustrates some exemplary Topic phrases that may be modeled with additional restrictions. <tables id="tabl0101" num="0101"><img file="EP1589440A2_D0101.tif" /></tables>

D5. Classes of Entities

0215This section provides a place to collect data on the types of entities supported as SPL libraries, such as Person Entities, Place Entities, and LSS Entities. Additionally, the SPL libraries may include classes of noun phrases (LSS entities) corresponding to each LSS frame class, particularly those that take additional restrictions.

0216The SPL libraries may also include Restriction classes. For each restriction, there is a (small) set of noun phrases that could be used to name the restriction. In SPL, these can be identified in a small set of structures as signaling the presence of the restriction slot filler. For example, when topic is the subject or object or the copula, the Topic restriction slot filler (in bold) is in the complementary position.    Find discussions where the <b>economy</b> is the topic.    Find discussions where the topic is the <b>economy.</b> Similarly, when topic fills the AsBeing slot, the entity to which it attaches fills the Topic slot.    Find discussions that have the <b>economy</b> as a topic. These structures should be normalized along with those identified as Topic restrictions.    Find discussions about/on/concerning/regarding <i>the <b>economy.</b></i> Synonyms like theme, <i>matter, subject, issue, focus,</i> and area could also be a TopicEntity. Moreover, developers can add to the entity class topic words that are more specific to their scenario, such as "subject in an email application."

E. Semantic Programming Language (SPL)

E1. Architecture.

0217SPL is a specialized programming language and with an accompanying runtime platform that allows application developers to build rich, natural language (NL) enabled, command and control (C&amp;C) functionality for their application. (See Appendix I for a discussion on command and control scenarios that SPL can enable and the kind of commands that can be enabled, for example, for Outlook.)

0218SPL is an authoring solution to facilitate the derivation of meaning from utterances and to facilitate action based on that meaning. SPL is designed to scale to complex utterances without the developer having to bear the burden of that scalability. It is SPL's goal to facilitate authorship for both speech and text input without adding a lot of extra burden on the developer. Specifically, it is desirable to provide a NL authoring tool that allows developers with little or no knowledge of linguistic/semantic analysis to develop NL applications. In general, the SPL is designed to minimize differences between authoring for speech input and authoring for text input. However, due to speech recognition problems, some differences will likely have to be surfaced to the developer.

0219While the NL application can be written to interface with the analysis engines according to the LOM without the SPL, such programming is difficult, requires greater knowledge of linguistics by the developer, and more housekeeping with respect to lexical structures. In the end, the SPL facilitates development by abstracting specific elements so the developer can focus on the application's functionality, rather than the analysis component.

0220This is the whole point behind specialized programming languages, which free the developer from having to do the housekeeping and plumbing so he/she can concentrate on the task at hand (in this case, that's NL enabling applications). SPL allows the developer to express the fundamentals of the programming space in a natural and intuitive way.

0221In general, the semantics of natural language are complex and inherently ambiguous. Humans employ a great deal of world knowledge and context to understand and disambiguate meaning. In fact, humans do this understanding and disambiguation so naturally that we are often not consciously aware of the process.

0222For an application to be able to act on the meaning of an utterance, it not only has to decide what the semantics of an utterance mean to the application, but it must also have the authority to disambiguate meaning according to its own knowledge and context. Therefore, SPL provides the developer with the ability to reason about the application domain and to have that reasoning affect the semantic analysis in a deep and meaningful way. This deep integration with application-specific reasoning is intrinsically built into the SPL.

0223At a high level, in one embodiment, SPL's approach is to have the developer author against only the semantics of an utterance, not the syntax. Back door ways to access the syntax may be provided in some implementations. This is achieved through the LOM (discussed above in Section D). Briefly, the LOM models the semantics of an utterance (what is said) in a domain independent way. In many ways, the SPL programming model embodies this semantic model.

0224Through the resolution of an utterance against a SPL program, SPL builds the strongly typed, domain-dependent model of what is said that is bound to entities in the application. It is also worthy to note that, because the semantics are separated from the syntax, multilingual support is much easier to achieve.

0225SPL consists of two main pieces. The first is a language that is strongly-typed, procedural, event-driven, and object-oriented. In one embodiment, the SPL is based on C# (an object-oriented and type-safe programming language for building enterprise-scale applications) very familiar to mainstream developers today. In an alternative embodiment, the SPL is written entirely in C# through the use of attributes. In designing SPL, it was important that SPL not be a new approach to programming. Developers' existing knowledge and experience are leveraged, not invalidated. The second piece is a runtime that builds the domain-dependent model of what was said, in accordance with SPL's language semantics.

0226SPL enables developers to bind semantic meaning of an utterance with an existing application interface or object model, without impacting the existing application. While SPL does allow developers to write code that reasons about domain knowledge in place, the developer is also free to write that code in any programming language, including any Microsoft® .NET® programming language since SPL compiles to the .Net Common Language Runtime.

0227SPL's basic constructs are entities (nouns), frames (verbs), restrictions (relationships between entities), commands (application task entry points), NamedEntities and Denoters. These are the main first-class types of SPL. The language is command-centric by design, since it is designed for Natural Language-enabling Command and Control (C&amp;C) functionality in applications.

0228Before discussing the SPL framework in detail, a simple SPL example is detailed in order to provide a mental picture for understanding the rest of the disclosure in context. Table 78 illustrates the SPL code that handles the "send email to Bob" command scenario. This command scenario will be revisited multiple times through the remainder of the disclosure.

0229Starting at the highest level with the 'command', it should be understood that the SPL code is written to the LOM model previously introduced (see Section D). Commands are authored against frames. Frames are objects that usually represent verbs. Basic frames, those that represent one verb, are supplied by the analysis system. A developer may also define his or her own verb frames, a feature discussed in greater detail in a section detailing Frames. <tables id="tabl0102" num="0102"><img file="EP1589440A2_D0102.tif" /></tables><tables id="tabl0103" num="0103"><img file="EP1589440A2_D0103.tif" /></tables>

0230The SendMailCommand defines an application task entry point that uses the MySendFrame where the object being sent (the 'DoneTo.what' slot) is a MailEntity. The command encapsulates the task, allows the developer to perform specific initialization and cleanup, and provides the platform with an entry point into the application.

0231Table 79 illustrates the SPL code for MySendFrame. <tables id="tabl0104" num="0104"><img file="EP1589440A2_D0104.tif" /></tables><tables id="tabl0105" num="0105"><img file="EP1589440A2_D0105.tif" /></tables> The MySendFrame code block defines an application specific frame, MySend, that inherits from the domain independent basic "send" frame (provided by the platform) and subtypes the 'DoneTo.what' to a MailEntity. The 'DoneTo.what' is the object being sent.

0232The semantics of sending 'to <i>Bob'</i> are captured by the Goal restriction (provided by the platform, e.g. the SPL based on the LOM), which is linked to 'send' via the 'with restriction' clause. In addition to this linking, the entity that is being sent "to Bob" is also grounded to a RecipientEntity.

0233As previously discussed, Restrictions are typed semantic relationships, usually between entities. The SPL platform provides a predefined base-set of relationships. Developers can subtype the base-set of restrictions to create their own relationships. Some examples of predefined restrictions are Location ("mail <u><i>in Inbox</i></u><i>"),</i> Time ("delete <u><i>after</i> 3 <i>days</i></u><i>"),</i> Possessor (<i>"</i><u><i>Bob's</i></u> book") and Topic ("mail <u><i>about cats</i></u><i>").</i>

0234One important thing about restrictions is that the variations in syntax are normalized by the semantic platform. For example, Topic can be expressed in multiple ways semantically: "mail about cats", "mail with cats as the subject", "mail regarding cats", "mail with subject cats", and the like. Different languages express the semantics of Topic differently. These variations are normalized by the semantic platform so that developers just have to program against the Topic restriction, rather than against each possible semantic variation.

0235Table 80 illustrates the syntax of MailEntity according to an embodiment of the present invention. <tables id="tabl0106" num="0106"><img file="EP1589440A2_D0106.tif" /></tables><tables id="tabl0107" num="0107"><img file="EP1589440A2_D0107.tif" /></tables> In this example, MailEntity is defined and is denoted by a list of words. The words that denote are usually defined separately, typically in their own file (such as a localization file).

0236Like frames, entities can also have restrictions applied to them. Table 81 illustrates the syntax of an entity with restrictions. <tables id="tabl0108" num="0108"><img file="EP1589440A2_D0108.tif" /></tables> From a developer's perspective, this syntax declares that mail items can have the property (restriction) of being in a MailFolder. From an entity-relationship perspective, the MailEntity and MailFolder are related via the Location relationship. At runtime, an instance of MailEntity with the Location restriction represents the set of mail items that are restricted to being in a particular MailFolder.

0237For the utterance "send mail to Bob" or "send Bob mail", the SPL runtime platform resolves against the SendMailCommand command. FIG. 4 illustrates a flow diagram tracing resolution through a SendMailCommand code according to one embodiment of the present invention. It should be understood by a worker skilled in the art that resolution of a command will vary according to the implementation. For example, referring to Table 78, each of the Begin, Success, and Failure clauses are optional. The OnResolve clause may contain any one of the clauses, any combination of the clauses, or none of the clauses, depending on the specific implementation.

0238For the purpose of the flow diagram in FIG. 4, it should be understood that the analysis engine has already mapped the utterance to types defined in the declarative schema and derived from the LOM. Denoter objects, for example, have already been considered by the analysis engines. Additionally, it is assumed that the code contains a Begin clause, a Success clause and a Failure clause for each element. It is also important to note that some details are omitted from the flow diagram, in part, because such details are implementation specific and would unnecessarily complicate the discussion.

0239Referring now to FIG. 4, upon receiving an utterance, the begin resolution clause of SendMailCommand is invoked (block 400). If begin resolution clause does not succeed, a different command may be invoked or (optionally) the Interpreter may simply fail resolution, depending on the specific implementation and depending on other commands that may be available in the application (block 402).

0240If the begin resolution clause of the SendMail Command is invoked successfully, the SPL Interpreter invokes the begin resolution clause for a MySend Frame that the SendMail Command uses (block 404). If the begin resolution clause for the MySend Frame fails, the SendMail Command failure clause is invoked (block 406), and the SPL interpreter can optionally invoke a different command or fail resolution (block 402).

0241If the begin resolution clause for the MySend Frame succeeds, the MailEntity Begin Resolution clause is invoked (block 408). If the invocation of the begin resolution clause for the MailEntity fails, then what happens next is largely implementation specific. As shown, depending on the specific implementation, failure of the MailEntity begin resolution clause may imply general failure (option 1), may be ignored (option 2), or may result in other operations to disambiguate the utterance (block 410). These "other operations" may include attempting to use a different restriction clause for the part of the input that is being resolved. The restriction clause can even be for a different restriction entirely, due to ambiguities.

0242If failure is understood to imply general failure (option 1), then the SPL interpreter optionally invokes a different command or fails resolution (block 402). If failure is ignored (option 2), then the SPL interpreter may simply invoke the success clause of the MySend frame (block 420), invoke the success clause of the SendMail Command (block 422), and add the SendMail Command Object to the "actual interpretation" list (block 424). If other operations are required by the developer code, then the SPL interpreter may perform further processing, including communications with the natural language analysis engines and/or call backs to the client application to attempt to disambiguate the utterance.

0243If the invocation of the begin resolution clause of the MailEntity succeeds, the MailEntity success clause is invoked (block 412). Next, the Restriction begin resolution clause is invoked (block 414). If the Restriction begin resolution clause fails, then the flow proceeds to block 410 (described above). If the begin resolution clause of the Restriction succeeds, the Restriction success clause is invoked (block 416). The Restriction clause is then invoked on the MySend Frame with the MailEntity slot (block 418). If this invocation fails, once again the flow proceeds to block 410 (described above). If the invocation succeeds, the success clause of MySend Frame is invoked (block 420), the success clause of the SendMail Command is invoked (block 422), and a SendMail Command object is added to the "actual interpretation" list (block 424).

0244It should be understood that the code blocks lead to virtually infinite permutations, depending on the application and on the developer. In one embodiment, a default for any failed resolution may be to invoke the failure clause and stop execution. In another embodiment, the developer may wish to instantiation partial objects so that the application can utilize the domain context to resolve ambiguities and to perform partial execution of the utterance. Numerous possibilities can be imagined wherein in each clause, the developer is free to write code to perform application specific functions.

0245In a preferred embodiment, RecipientEntity could be authored with a Named restriction clause taking a RecipientName as a slot. RecipientName would be a NamedEntity defined such that instances of recipient names would have been located in the entire user input before semantic processing was performed. This enables a robust recognition of RecipientEntity instances.

0246Assuming that "Bob" is a valid RecipientEntity, as previously mentioned, RecipientEntity is defined somewhere within the program. In this instance, the "with restriction" is within the MySendFrame used by the SendMailCommand. The code inside the <i>"with restriction"</i> clause is invoked. The code inside of the "with restriction" provides some flexibility to the developer to reject this restriction. If the clause succeeds, then the restriction is accepted. Otherwise alternative "with restriction" clauses may be invoked in succession until one of them succeeds, and if none of them do then the restriction is ignored. In an alternative embodiment, if a resolution clause fails, a fail resolution is invoked. Finally, the success clauses of MySendFrame and SendMailCommand are invoked, in that order (blocks 420 and 422).

0247In general, it will be understood by a worker skilled in the art that restrictions and other objects within the LOM and implemented by the SPL can be configured to invoke any number of functions or processes, either on success or failure. The flow diagram is a simple illustration to show how an exemplary flow might proceed. However, numerous other variations are anticipated and are as numerous as the potential client application to which the present invention may be applied.

0248During this resolution process, a connected graph is produced. Each entity is a node of the connected graph, and the relationships between the entities are defined by the LOM and validated against the application domain. It will be understood by a worker skilled in the art that the nodes and relationships are strongly typed. The connected graph represents what was said in the language of the domain.

0249It is important to note that the existence of the SPL objects (commands, entities, frames, and restrictions) is determined by authored code in conjunction with the semantic analysis. In general, resolving against a frame, entity, command, or restriction, involves determining the existence/validity of these objects with respect to the application domain. The objects do not really exist (are not valid) until their constraints are satisfied. An analogy of this can be drawn with C# object construction. In C#, objects can have constructors for which developers can write code to throw an exception. The exception prevents the object's existence if some constraint is not met.

0250The "system" invokes these constructors when it attempts to create the object. Thus, the authored code in the constructor can determine the class's existence. Conceptually, SPL resolution of its core types takes this concept a step further, formalizes it, makes it richer, and makes it a native part of the system. The constraints that must be satisfied are a combination of domain authored knowledge and semantic analysis of the utterance.

D3. Inheritance.

0251Concept encapsulation and compositionality are achieved through traditional object-oriented techniques (such as object reuse, inheritance, polymorphism, and the like). For example, to model "send mail to Bob" and "send instant message to Bob", we can declare MySendFrame to take a super type of MailEntity and InstantMessage. Table 82 illustrates the MySendFrame according to an embodiment of the present invention. <tables id="tabl0109" num="0109"><img file="EP1589440A2_D0109.tif" /></tables><tables id="tabl0110" num="0110"><img file="EP1589440A2_D0110.tif" /></tables> It is then possible to define separate commands for "send mail" and "send instant message" as follows.    <b>command</b> SendIMCommand <b>uses</b> MySend<DoneTo.what := InstantMessage>;    <b>command</b> SendMailCommand <b>uses</b> MySend<DoneTo.what := MailEntity>; The concept of "sending item to Recipient" is encapsulated by MySendFrame and can be reused by SendIMCommand and SendMailCommand. It is also possible to reuse MySendFrame compositionally. An example of this is provided in Table 83. <tables id="tabl0111" num="0111"><img file="EP1589440A2_D0111.tif" /></tables><tables id="tabl0112" num="0112"><img file="EP1589440A2_D0112.tif" /></tables> In a broad sense, the above discussion captures the semantics of "mail sent to Bob."

0252In general, SPL provides the ability for developers to reason about the application domain and to have that reasoning affect the analysis in a deep and meaningful way. SPL allows this reasoning to be done declaratively and procedurally. Referring again to the MailEntity syntax, the syntax establishes declarative constraints that say MailEntity is an entity that is denoted by a list of words specified in MailWords, and it can be restricted to being in a MailFolder location. Table 84 illustrates the MailEntity. <tables id="tabl0113" num="0113"><img file="EP1589440A2_D0113.tif" /></tables> Utterances such as "mail in Foo", "mail located in folder Foo", and the like succeed against MailEntity since the Named restriction clause on MailFolder accepts all strings.

0253In some instances, it may be desirable to write code to determine if "Foo" is really a currently valid folder in the current user's mailbox. The only way to do this is to write procedural code to check the validity of "Foo" at runtime. Table 85 illustrates the syntax for a MailFolder entity that checks the validity of a Folder name at runtime. <tables id="tabl0114" num="0114"><img file="EP1589440A2_D0114.tif" /></tables> If "Foo" is not a currently valid folder, then resolution of MailFolder fails. Depending on the specific implementation details, failure may imply a general failure. Alternatively, failure of a restriction may lead to the restriction being ignored. In one embodiment, if the MailFolder resolution fails, then MailEntity also fails and so on up the resolution chain (e.g. implying general failure). In a preferred embodiment, if the resolution of MailFolder fails, then the MailFolder restriction is simply ignored. It will be understood by a worker skilled in the art that this is a simplified example. Much more complicated validity checks may be used, depending on the implementation.

0254Another way to achieve this effect would be to create a NamedEntity type FolderName, and use that as the slot of the Named restriction.

0255A nice side effect of invoking the clauses (begin, success, failure, and <i>with restriction)</i> is that the developer can write code to bind the semantic objects to application objects. For example, in the Named restriction clause, the developer can write code to get a reference to a folder application object if the name is valid. Table 86 illustrates the syntax for such a reference. <tables id="tabl0115" num="0115"><img file="EP1589440A2_D0115.tif" /></tables><tables id="tabl0116" num="0116"><img file="EP1589440A2_D0116.tif" /></tables> This syntax effectively binds an application specific object, MAPIFolder, to the semantic object, MailFolder.

0256In general, developers can easily write code to reason about their application context and state at key points in the analysis. This reasoning can affect the end resolution analysis. For example, to determine if "Bob" is a valid recipient or not, the developer can write code that goes to a database of current users of the system. If not, the developer could write code to handle the failure. For example, the developer can display a pop-up window or dialog for user clarification, generate restatement, and the like, right at the point of failure. By providing immediate feedback to the user at the point of failure, the system fosters the appearance of a smart, well-developed application.

0257Alternatively, the developer can write code at the top level SendMailCommand to prevent resolution against the command if the application is not in an appropriate state. This deep integration between semantic analysis and reasoning about domain knowledge is very important to understanding and disambiguating natural language.

0258By allowing developers to write code in clauses to reject resolutions, SPL enables the developer to make early rejections of incorrect analyses. In general, the author can assert a lot of control over the interpretations that succeed and those that fail. In some instances, it may be desirable for the author to reject some interpretations at early stages of the process. In general, the earlier the author can disambiguate (remove ambiguities), the easier it is for the application to manage ambiguity. Less ambiguity means fewer interpretations. Any application authored for natural language must have some mechanism for managing multiple interpretations. The author either writes code to evaluate the sanity of interpretations as the interpreter is deciding, or writes code that occurs after semantic analysis is done to disambiguate and pick among the set of interpretations (post processing). It is not hard to see that the former would be easier to manage and code for.

0259Additionally, it is believed that the earlier interpretations can be rejected, the faster and more accurately the best interpretation can be found.

0260In some instances, authors may wish to reject interpretations later in the process. Rejecting interpretations earlier quite often involves making call backs into the client application to examine state and/or context and to reason about the applicatian's object model. If the call backs need to go over a network, then making frequent call backs can cause the system to operate slowly. For example, transmission delays could render the system unusable. SPL allows the author to have complete control over when and what call backs to make. Thus, the developer can decide for himself (herself) what the right balance of call backs and post-analysis disambiguation logic is, depending on the nature of the client application.

0261Alternatively, in some implementations, the developer may want to reason about the entire resolution before deciding whether to reject resolutions or not. There could be cases where the pieces in isolation cannot determine success or failure and global reasoning over the resolved tree is required.

0262SPL lets the developer choose how to balance early versus late rejection depending on their needs and the needs of the client application.

0263As previously discussed, the resolution of the frames, restrictions, and entities by the SPL runtime is essentially building a domain dependent model of an utterance. This statement warrants elaboration.

0264In natural language, a syntactic construct can be used to express a multitude of meanings. As a very simple example, consider the preposition "on" followed by a noun. For example, consider the phrase "on Foo". The phrase "on Foo" can refer to a Location (as in "book on table") or it might mean Topic (as in "book on Seattle"). To determine which phrase is correct, the phrase must be disambiguated. This disambiguation can only be done by the application. For example, Table 87 illustrates the syntax for enabling Amazon.com. <tables id="tabl0117" num="0117"><img file="EP1589440A2_D0117.tif" /></tables> When resolving "book on Foo", the semantic analysis would not produce the Location object since BookEntity only understands Topic. The resolved model of what was said will not contain Location. This "directing" is even more evident in the modeling of coordination (and/or), negation, and clauses.

0265For coordination, the SPL code defines how entities and their modifiers are distributed over conjunction and disjunction. For the utterance, "find mail and notes created yesterday", the possible modeling choices include: <ul id="ul0004" list-style="none" compact="compact"><li>1. Find (mail created yesterday) and (notes created yesterday).</li><li>2. Find (mail) and (notes created yesterday).</li><li>3. Find (mail created yesterday) and find (notes created yesterday).</li><li>4. Find (mail) and find (notes created yesterday).</li></ul> How "created yesterday" and "find" are distributed with its entities, "mail" and "notes", is determined by the authored code. The possible readings are even greater for utterances containing both conjunction and disjunction. It is not necessary for the author to understand all possibilities. Authors just think in terms of the semantics of their application. For example, as a SPL author, it is possible to code the FindMailCommand such that my FindMailCommand only understands entities of type MailEntity and my FindNotesCommand only understands entities of type NotesEntity. Furthermore, MailEntity does not have the notion of creation time (this is just for illustration purposes), but NotesEntity does. Therefore, for the above utterance, "find mail and notes created yesterday", the semantic analysis will only produce reading 4 from the above list.

0266For negation, the authored code determines how negation scope ambiguity is modeled. For example, take the utterance, "Don't allow mail from Joe". The phrase can be interpreted as follows: <ul id="ul0005" list-style="none" compact="compact"><li>1. Don't allow mail from Joe (block it instead): negation scoped "allow";</li><li>2. Don't allow mail from Joe (but allow messages from him): negation scoped over "mail"; or</li><li>3. Don't allow mail from Joe (but allow mail from someone else): negation scoped over "Joe".</li></ul> The authored SPL program determines how the negation is scoped and modeled. The semantic analysis engines provide all the possible readings.

0267For clauses, the authored code determines whether the clause is modeled as a frame-based restriction (restrictions that are headed by verbs) or as one of the predefined restrictions. For example, "book that discusses Foo", the clause, "that discusses Foo", can be modeled as a Topic restriction or it can be modeled as a frame-based restriction on "book" . Table 88 provides an example of the syntax for the BookEntity. <tables id="tabl0118" num="0118"><img file="EP1589440A2_D0118.tif" /></tables>

0268In general, from the perspective of the SPL, the role of the SPL program is to define a natural language semantic model of the application's domain. The role of the semantic analysis is to map utterances to that SPL Program-defined model in accordance to the analysis engines' understanding of linguistics.

0269From platform's point of view, the role of the semantic platform is to define a highly abstract, domain-independent object model of what is said. From this perspective, the role of the SPL code is to pick from the possibilities the platform provides.

0270In general, the resolution of a SPL program can be understood as building the domain-dependent semantic model of what is said. In the process of building this domain-dependent model, domain-independent objects become strongly typed and can be anchored (mapped) to the application's objects.

E2. Type System

0271In general, the core SPL types are commands, frames, entities, and restrictions. These are called resolvable types because they require resolution semantics to determine their existence.<img file="EP1589440A2_D0119.tif" /> Everything within the "on resolve" clause has to do with resolution semantics. The begin, success, and fail clauses are all optional. There can be at most one of each clause in the "on resolve".

0272The begin clause is invoked at the beginning of resolution of the resolvable type. By default, the clause returns 'true' . The developer can return 'false' which signals to the SPL interpreter to stop resolution against this type. This means the resolution fails, and the fail clause is invoked. The begin clause is a convenient place for the developer to do initialization and to check whether the application is in an appropriate context/state to process the type.

0273The success clause is invoked when resolution against the type succeeds. This is where the developer can write code to cleanup resources or to package up the resolution result. The developer can still reject the resolution by returning false.

0274The fail clause is invoked when resolution fails to succeed. Like the begin and success clauses, the fail clause can return 'false' which will effectively make the failed resolution of the type succeed.

0275In one embodiment, all resolvable types, except for the command, can have any number of restriction clauses. This is discussed in more detail with respect to Slots and "with restriction/Frame clauses". In an alternative embodiment, all resolvable types, including the command type, can have any number of restriction clauses. Each of the resolvable types (Commands, Frames, Entities, and Restrictions are discussed in detail below.

0276Commands are Natural Language (NL) enabled tasks supported by the client application. During development of the client application, authors create commands to describe the actions they want to handle. Commands provide the semantic analysis with task entry points into the application. SPL resolution begins at the command and recurses down the tree. Commands are invoked in response to user commands. This is analogous to the way Windows events such as mouse click are invoked in response to a user clicking a mouse. Table 89 shows the syntax of the command declaration according to an embodiment of the present invention. <tables id="tabl0119" num="0119"><img file="EP1589440A2_D0120.tif" /></tables> For example, <b>"Command</b> SendMailCommand <b>uses</b> MySendFrame" defines a SendMailCommand object that uses the MySendFrame object. Commands essentially wrap frame objects. Only one frame object can be specified in a command.

0277The begin clause in a command is a useful place to check whether the application is in an appropriate context and/or state to process the command. This allows for very early rejection of a command based on application knowledge.

0278In the success clause, the developer can directly execute the command or package up whatever data is needed to execute the command. This packaged data can be in the form of a URL, an XML description of the task, a delegate to the function that can execute the command, and the like. The author can still do additional reasoning in the success clause and reject the interpretation by returning a value of "false". This is useful because it permits the author to reason globally about the whole utterance. In other words, the author can look at the completely resolved semantic tree to see if the resolution as a whole is coherent. The pieces may be coherent independently or in a limited context, but they may not make sense together.

0279An "Unknown" command handles utterances that do not map to an authored command. In one embodiment, SPL enforces the existence of this command.

0280Frames generally refer to verbs. There are two types of Frames: basic frames and composite frames. A basic frame refers to one verb. For example, the frame <b>find</b> refers to the verb "find". A composite frame is a grouping of multiple verbs, which generally have the same meaning. The composite frame and its multiple verbs can be thought of as a synonym lists. In general, the semantic platform provides a predefined set of basic frames, one for every verb. For consistency, the convention is the names of the basic frames are lower-case, and they have the same name as their corresponding lexical word. By contrast, a name of a composite frame begins with a capital letter. The semantic platform provides a set of composite frames that are common. For example, the platform can provide a <b>Search</b> composite frame that groups together "find", "search", "look" and "rummage".

0281Table 90 illustrates the syntax for defining a basic frame. <tables id="tabl0120" num="0120"><img file="EP1589440A2_D0121.tif" /></tables><tables id="tabl0121" num="0121"><img file="EP1589440A2_D0122.tif" /></tables> For example, the syntax for the find frame is shown in Table 91. <tables id="tabl0122" num="0122"><img file="EP1589440A2_D0123.tif" /></tables> This syntax defines a basic frame, <b>find,</b> that is denoted by the lexical word, "find", and that behaves in the DefaultVerbClass. The term "find" is referred to as a denoter that denotes the frame, <b>find.</b> The semantic platform defines a set of verb class behaviors that covers all verbs. A large majority of verbs have behaviors that are part of the DefaultVerbClass.

0282The lexical words do not have to appear inline. In fact, in order to support multiple languages, it is recommended that the words do not appear inline. They should be defined in their own object. Table 92 illustrates the syntax for a defined denoter object. <tables id="tabl0123" num="0123"><img file="EP1589440A2_D0124.tif" /></tables> By listing the denoter terms separately in this manner, rather than inline with the frame definition, the language dependent elements are separated nicely from the language independent ones.

0283All basic frames that are provided by the semantic platform are defined in SPL code in this manner. Developers can also define their own verbs this way. For example, in one embodiment a developer can define a fop base class as follows:    <b>frame</b> fop <b>denoted by</b> "fop" behaves as DefaultVerbClass; Alternatively, in a preferred embodiment, a developer can define a fop base class as follows:    <b>frame</b> fop <b>denoted by</b> "fop; It is believed that a very large majority (around 95%) of the verbs will have their linguistic realizations as the lexical words themselves. In most cases, there will be a fairly direct translation to the other languages. For verbs that do not behave in this manner across languages, a mechanism is provided in the denoter class to specify linguistic realization of those verbs.

0284As mentioned above, composite frames are groupings of verbs. They are essentially synonym lists. In creating composite frames, only the denoters of the frames used in the groupings are "inherited" by the composite frame.

0285SPL provides developers with the ability to create their own groupings from basic and composite frames. An example is provided in Table 94 <tables id="tabl0124" num="0124"><img file="EP1589440A2_D0125.tif" /></tables><tables id="tabl0125" num="0125"><img file="EP1589440A2_D0126.tif" /></tables> Essentially, this declaration establishes a logical union of all the denoters of the frames specified in the <b>groups</b> clause, removes duplicates, and then removes the denoters of the frames specified in the <b>except</b> clause. The <b>except</b> clause is optional. For example, Table 95 illustrates a composite frame containing an <b>except</b> clause in the definition. <tables id="tabl0126" num="0126"><img file="EP1589440A2_D0127.tif" /></tables> This defines a MySearchFrame that groups together the denoters of <b>Search</b> and <b>fop</b> except for the denoters of <b>find</b> frame.

0286Derived frames can also be created that inherit from other frames, either basic frames or composite frames. Table 96 illustrates the syntax for a Derived frame. <tables id="tabl0127" num="0127"><img file="EP1589440A2_D0128.tif" /></tables> The subject of Inheritance is discussed in greater detail in Section E3 below.

0287Entities are the objects that can be referred to, either by name or by a description, in the application. Entities can be concrete things, like file items and email items, but they can also represent abstract concepts, such as color, texture and so on. Entities are usually denoted by lexical words. Table 97 shows the syntax for declaring an Entity. <tables id="tabl0128" num="0128"><img file="EP1589440A2_D0129.tif" /></tables> Like frames, it is recommended that the denoters are not specified inline in order to support multiple languages. Table 98 provides an example of such denoters. <tables id="tabl0129" num="0129"><img file="EP1589440A2_D0130.tif" /></tables> The <b>denoted by</b> clause allows authors to specify a list of natural language words that denote the entity. The <b>denoted by</b> clause is the means by which the developer grounds entities to lexical words. Entities do not need to be denoted by a word or a group of words. Entities can be described by their restrictions. The developer does not need to specify the various forms of a word (such as "file" and "files"), because the forms are taken care of by the semantic platform. Additionally, the denoters do not need to be specified in the utterance in order for the entity to succeed. However, if a denoter is contained in the utterance, the denoter must match one of the denoters in the entity's list.

0288In some embodiments, it may be desirable that the denoter is optional at the declaration. Additionally, it may be desirable, in some implementations, to add obligatory denoters (words that must be contained in the utterance for the entity to succeed). The presence of an "obligatory" denoter can be enforced through code contained in the <b>success</b> clause. Table 99 shows an example of an obligatory denoter enforced through the success clause. <tables id="tabl0130" num="0130"><img file="EP1589440A2_D0131.tif" /></tables>

0289In general, restrictions are typed semantic relationships. The platform provides a predefined base set of relationships. One of the most important things about restrictions is the normalization of variations in syntax, both within a language and across languages. Restrictions are semantic, not syntactic. Thus, the restrictions allow the developer to code against semantics of the language, not the syntax. Restrictions greatly ease the authoring burden and make enabling for other language possible.

0290Some restrictions come with system-defined slots that have specific meanings. The discussion of the LOM in section D above provided code samples and some discussion of slots. Some common restrictions are listed below in Table 100. <tables id="tabl0131" num="0131"><table frame="all"><title>TABLE 100:</title><tgroup cols="2" colsep="1" rowsep="0"><colspec colnum="1" colname="col1" colwidth="78.75mm" /><colspec colnum="2" colname="col2" colwidth="78.75mm" /><thead valign="top"><row rowsep="1"><entry namest="col1" nameend="col2" align="left">List of Common Restrictions.</entry></row><row rowsep="1"><entry namest="col1" nameend="col1" align="left">Restriction Syntax</entry><entry namest="col2" nameend="col2" align="left">Application</entry></row></thead><tbody valign="top"><row><entry namest="col1" nameend="col1" align="left">Doer<who := Entity></entry><entry namest="col2" nameend="col2" align="left">Applies to frames. It represents the entity doing the action. Examples: "Bob opened the file", "the file was opened <i>by Bob".</i></entry></row><row><entry namest="col1" nameend="col1" align="left">DoneTo<what:= Entity></entry><entry namest="col2" nameend="col2" align="left">Applies to frames. It represents the entity that the action is being done to. Examples: "open the <i>file", "the</i> file was opened".</entry></row><row><entry namest="col1" nameend="col1" align="left">Location<loc:=Entity></entry><entry namest="col2" nameend="col2" align="left">Models the semantics of being located somewhere. Examples: "mail in <i>Inbox",</i> "file <i>located on the desktop".</i></entry></row><row rowsep="1"><entry namest="col1" nameend="col1" align="left">Time</entry><entry namest="col2" nameend="col2" align="left">Models actual time expressions, i.e. expression that can be converted into a point and/or span in time. Examples: "delete</entry></row><row><entry namest="col1" nameend="col1" /><entry namest="col2" nameend="col2" align="left"><i>after</i> 3 <i>days",</i> "mail <i>from yesterday",</i> "schedule for <i>tomorrow from 1 -</i> 3 <i>pm".</i></entry></row><row><entry namest="col1" nameend="col1" align="left">Topic<topic :=</entry><entry namest="col2" nameend="col2" align="left">Models subject matter.</entry></row><row><entry namest="col1" nameend="col1" align="left">Entity>, Topic<topic := string></entry><entry namest="col2" nameend="col2" align="left">Examples: "book <i>about dogs",</i> "book <i>regarding dogs",</i> "book with <i>the subject dogs" .</i></entry></row><row><entry namest="col1" nameend="col1" align="left">Source<src := Entity></entry><entry namest="col2" nameend="col2" align="left">Models object or source. Examples: "mail <i>from Bob"</i></entry></row><row><entry namest="col1" nameend="col1" align="left">Order</entry><entry namest="col2" nameend="col2" align="left">Examples: "sort <i>in alphabetical order",</i> "display in <i>reverse order by name"</i></entry></row><row><entry namest="col1" nameend="col1" align="left">Cardinal</entry><entry namest="col2" nameend="col2" align="left">Example: "3 files"</entry></row><row><entry namest="col1" nameend="col1" align="left">Ordinal</entry><entry namest="col2" nameend="col2" align="left">Example: "first file"</entry></row><row><entry namest="col1" nameend="col1" align="left">Means<instrument : = Entity></entry><entry namest="col2" nameend="col2" align="left">Examples: "search <i>using Google",</i> "open <i>with Word"</i></entry></row><row><entry namest="col1" nameend="col1" align="left">Possessor<owner := Entity></entry><entry namest="col2" nameend="col2" align="left">Examples: <i>"my</i> book", <i>"Bob's</i> book"</entry></row><row><entry namest="col1" nameend="col1" align="left">Accompaniment</entry><entry namest="col2" nameend="col2" align="left">Example: "meeting <i>with Bob"</i></entry></row><row><entry namest="col1" nameend="col1" align="left">Degree</entry><entry namest="col2" nameend="col2" align="left">Examples: <i>"almost</i> in the box", <i>"extremely</i> red", "very large", <i>"more</i> to the left"</entry></row><row><entry namest="col1" nameend="col1" align="left">Negation</entry><entry namest="col2" nameend="col2" align="left">Examples: "not from Bob", "don't send mail", <i>"except for</i> Bob"</entry></row><row><entry namest="col1" nameend="col1" align="left">Named<name := string></entry><entry namest="col2" nameend="col2" align="left">This represents the name of an entity. Examples: <i>"Inbox</i> folder", "file <i>named foo.txt "</i></entry></row><row rowsep="1"><entry namest="col1" nameend="col1" align="left">Modifier<mod := Denoter></entry><entry namest="col2" nameend="col2" align="left">This represents adjectival modifiers. Examples: <i>"large</i> file", <i>"school</i> bus"</entry></row></tbody></tgroup></table></tables>

0291There is a special restriction called a Default restriction. The Default restriction is fired by the SPL runtime when there is an unresolved or unrecognized restriction on the resolvable type.

0292Developers create their own restrictions by inheriting from one of the predefined set of restrictions, by creating a frame based restriction, or by specifying a pattern.

0293In general, restrictions can be applied to entities and to frames, as well as to other restrictions. As a general rule, SPL does not enforce whether applying a certain restriction makes semantic sense. SPL makes some exceptions either to simplify the semantic modeling or to reduce the ambiguity. The exceptions are presented in Table 101 below. <tables id="tabl0132" num="0132"><table frame="all"><title>TABLE 101:</title><tgroup cols="2" colsep="1" rowsep="0"><colspec colnum="1" colname="col1" colwidth="78.75mm" /><colspec colnum="2" colname="col2" colwidth="78.75mm" /><thead valign="top"><row rowsep="1"><entry namest="col1" nameend="col2" align="left">SPL Exceptions.</entry></row></thead><tbody valign="top"><row><entry namest="col1" nameend="col1" align="left">1.</entry><entry namest="col2" nameend="col2" align="left">Degree restriction is only allowed on restrictions.</entry></row><row><entry namest="col1" nameend="col1" align="left">2.</entry><entry namest="col2" nameend="col2" align="left">Doer and DoneTo restrictions are only allowed on frames.</entry></row><row rowsep="1"><entry namest="col1" nameend="col1" align="left">3.</entry><entry namest="col2" nameend="col2" align="left">Negation is not allowed on entities.</entry></row></tbody></tgroup></table></tables> Restrictions are applied to a type using the following syntax:    <b>with restriction</b><i>RestrictionName<slot</i>_<i>1</i> := <i>type,</i> ..., <i>slot</i>_<i>n</i> := type>; The arguments in the angle brackets are called slots. The "with restriction" statement is called the restriction clause. The label "restriction" was chosen to avoid certain problems. For example, restrictions could be labeled "properties", but properties does not always work as a descriptor. For example, one can think of "mail in Inbox" as "mail with the property of being in the Inbox folder". However, this same relationship does not exist with quantifiers, such as cardinals and ordinals. The phrase "three files" is not equivalent to "files with the property of three". Moreover, the word "property" is already used in conventional programming paradigms (e.g. "properties of a list box"). It is generally desirable not to overload the term "properties", and the same holds true for the word "attribute".

0294Instead, Entity is intended to convey the notion of sets. The "entity" declaration in SPL is really specifying a set of entities, and applying restrictions is restricting that set. For example, the syntax for declaring a MailEntity denoted by Mail    <b>entity</b> MailEntity <b>denoted by</b> "mail" is a declaration of an object that represents the set of all mail items. Table 102 illustrates the syntax for a restriction applied to an entity. <tables id="tabl0133" num="0133"><img file="EP1589440A2_D0132.tif" /></tables> Here, the set of mail items is restricted to a MailFolder location.

0295Applying restrictions to frames should be viewed as restricting that action (Frames typically model verbs or actions). Table 103 illustrates a Frame with a restriction. <tables id="tabl0134" num="0134"><img file="EP1589440A2_D0133.tif" /></tables><tables id="tabl0135" num="0135"><img file="EP1589440A2_D0134.tif" /></tables> Here, the Means restriction is applied on MyOpen frame, thereby restricting the open file action to use Notepad.

0296The same applies to restrictions on restrictions. For example, the Cardinal restriction represents cardinality of an entity. The phrase "3 files" means any 3 files. However, the cardinality can be restricted by an Ordinal, as in "first 3 files". Table 104 illustrates a restriction applied on a restriction. <tables id="tabl0136" num="0136"><img file="EP1589440A2_D0135.tif" /></tables> Here, the restriction clause restricts the cardinal by applying an ordinal.

0297In general, resolvable types, except for commands, can have any number of restrictions applied to them. Each restriction type can be applied multiple times as long as the signature is unique. Table 105 shows a Frame having multiple restrictions with unique signatures. <tables id="tabl0137" num="0137"><img file="EP1589440A2_D0136.tif" /></tables><tables id="tabl0138" num="0138"><img file="EP1589440A2_D0137.tif" /></tables> The order in which the restriction clauses fire is dependent on the semantic analysis. In general, the order is based on a combination of linguistic evidence, statistical ranking, and domain-dependent learning. Mechanisms may be added, in certain implementations, to force a deterministic order. The SPL runtime fires the restriction clauses in accordance to SPL's language semantics and the semantic analysis.

0298As mentioned above, slots are the arguments that appear in angle brackets (<>). Slot syntax is used to subtype the slots at point of use. The SPL has a plurality of predefined slots of restrictions. For example, the semantic system defines a Goal restriction as follows:    Goal<goal := Entity> The <b>goal</b> slot has the base Entity type, and can be referred to as a domain-independent specification. When the developer applies this domain-independent Goal to a resolvable type, the developer can subtype the <b>goal</b> slot at the point of application. Table 106 shows the syntax of Frame containing a subtyped <b>goal</b> slot. <tables id="tabl0139" num="0139"><img file="EP1589440A2_D0138.tif" /></tables> Here, the developer has sub-typed the <b>goal</b> slot to a ContactItem (ContactItem must be an entity type).

0299In the code of the restriction clause, the restriction can be accessed as an object. Table 107 shows the syntax for accessing the restriction as an object. <tables id="tabl0140" num="0140"><img file="EP1589440A2_D0139.tif" /></tables>

0300In general, the resolvable types can be conceptualized using an analogy to C++ templates. The Goal restriction, for example, can be thought of as a template Goal class with a <b>goal</b> data member of generic type. Then, the pseudo C++ code for the above Goal restriction clause is as follows:    bool OnGoalClause(GoalTemplateClass<ContactItem> Goal); The SPL compiler enforces proper sub-typing of the <b>goal</b> slot.

0301Consumers of the resolvable types may want to sub-type the type's restriction clauses. For example, consumers of the above <b>send</b> frame may want to subtype the <b>goal</b> slot of its Goal restriction clause using slot syntax as follows:    <b>command</b> MySendCommand <b>uses</b> send<Goal.goal . := MyContactItem>; Since there can be many Goal restriction clauses applied to the <b>send</b> frame, the developer must be able to specify which one is being referred to.

0302Another kind of restriction is the AsProperty restriction. The <b>asproperty</b> attribute allows consumers of resolvable types to subtype slots of restriction clauses using the slot syntax. This attribute is specified at the restriction clause as shown in Table 108. <tables id="tabl0141" num="0141"><img file="EP1589440A2_D0140.tif" /></tables> Here, the developer of the <b>send</b> frame declares that the Goal restriction clause of the <b>send</b> frame can be sub-typed by consumers using slot syntax as follows:    <b>command</b> MySendCommand <b>uses</b> send<Goal.goal . := MyContaotltem>; This declaration says, MySendCommand uses the <b>send</b> frame and sub-types the Goal restriction clause of the <b>send</b> frame to be MyContactItem.

0303Generally, the <b>asproperty</b> attribute also allows code in the <b>send</b> frame to access this Goal object using property syntax. All resolvable types have a RestrictionCollection property which allows code to get at its currently resolved collection of restrictions. With the <b>asproperty</b> attribute, the marked restriction can be accessed using property syntax as shown in Table 109. For example: <tables id="tabl0142" num="0142"><img file="EP1589440A2_D0141.tif" /></tables><tables id="tabl0143" num="0143"><img file="EP1589440A2_D0142.tif" /></tables>

0304Additionally, only one restriction of each type can be marked with the <b>asproperty</b> attribute, regardless of the type of the restriction slot as shown in Table 110 below. <tables id="tabl0144" num="0144"><img file="EP1589440A2_D0143.tif" /></tables> However, the syntax can be changed by the developer to allow more than one restriction of a type to be marked with the <b>asproperty</b> attribute as follows:    <b>restriction</b> Goa12 : Goal<goal := UserItem>; This eliminates the problem and allows the frame to resolve as shown in Table 112 below. <tables id="tabl0145" num="0145"><img file="EP1589440A2_D0144.tif" /></tables><tables id="tabl0146" num="0146"><img file="EP1589440A2_D0145.tif" /></tables>

0305It is important to understand, with respect to the ordering of the slots in restriction clauses, that some restrictions are defined with system slots. For example, the Goal restriction is defined with a <b>goal</b> slot. When sub-typing the Goal restriction at the point of use (i.e. at the restriction clause), the system slots must be specified first as shown in Table 113. <tables id="tabl0147" num="0147"><img file="EP1589440A2_D0146.tif" /></tables>

0306Entities that have restriction clauses marked with <b>asproperty</b> can have those restriction clauses sub-typed at the point of use. Suppose, for example, ContactItem had a Location restriction clause marked with <b>asproperty,</b> as shown in Table 114. <tables id="tabl0148" num="0148"><img file="EP1589440A2_D0147.tif" /></tables>

0307Restriction clauses can also be marked obligatory, meaning that the clause must be executed and succeed or else the resolution of the type fails. In order for the clause to succeed, the following criteria must be satisfied: <ul id="ul0006" list-style="none" compact="compact"><li>1. The restriction must be in the utterance;</li><li>2. The declarative constraints of the clause (the types of the slots) must be met; and</li><li>3. The procedural constraints in the clause (the code) must evaluate to true.</li></ul> An example is provided in Table 115 below. <tables id="tabl0149" num="0149"><img file="EP1589440A2_D0148.tif" /></tables> The syntax of the frame in Table 115 declares that, in order for the <b>send</b> frame to resolve successfully, there must be a ContactItem as the goal of "send" in the utterance. So, "send mail" will not resolve but "send to Bob" will, if "Bob" is a resolved ContactItem.

E3. SPL Inheritance

0308Inheritance is allowed on entities, frames, and restrictions. Currently, commands do not support inheritance. Generally, there does not appear to be a need to support inheritance in commands (at this time). Commands are task entry points that do not require inheritance.

0309All the "inheritable" code is in the frame that the command uses. As previously discussed, except for the resolution semantics in the <b>on resolve</b> clause, the resolvable types are just normal objects. Outside of the <b>on resolve</b> clause, SPL adopts C# inheritance semantics, which are well-known in the art. For the purpose of this discussion, the disclosure focuses on the inheritance semantics within the <b>on resolve</b> clause which does not follow traditional (C#) inheritance semantics. However, it may be desirable, in certain implementations, to vary from conventional C# inheritance semantics for enabling specific functionality in real applications using inheritance. For the purpose of simpiicity, the discussion does not delve into all such possibilities, choosing to err on the prescriptive side in an attempt to keep the discussion simple.

0310First, it is important to understand scoping within functions, restriction clauses, and variables in the <b>on resolve</b> clause. Table 116 shows syntax for a Mail Entity in order to facilitate the discussion of scope. <tables id="tabl0150" num="0150"><img file="EP1589440A2_D0149.tif" /></tables> Variables defined in the <b>on resolve</b> scope are accessible to restriction clauses in the <b>on resolve</b> scope but not accessible outside of the <b>on resolve</b> clause. In the above example, integer <b>y</b> is accessible in the Goal restriction clause and in the function <b>foo(),</b> but is not accessible in the function <b>bar().</b>

0311Functions declared in the on <b>resolve</b> clause are private to the clause, meaning that such functions are not accessible outside of the <b>on resolve</b> clause. Thus, <b>foo()</b> would not be accessible in <b>bar().</b> Restriction clauses are also private to the <b>on resolve</b> clause, and therefore not accessible outside of it.

0312Variables declared in the type's scope are accessible to clauses and functions in the <b>on resolve</b> clause through use of the <b>outer</b> keyword. For example, integer <b>x</b> is accessible in the Goal restriction and in function <b>foo()</b> as <b>outer.x.</b> Functions declared in the type's scope are accessible to the <b>on resolve</b> clause. Thus, the function <b>bar()</b> is accessible in the Goal restriction and in the function <b>foo()</b> as <b>outer.bar().</b>

0313The <b>on resolve</b> clause can be conceptualized as an extended constructor, such that everything pertaining to the constructor is private to the constructor. This implies that a derived class cannot call any of the restriction clauses in the base class.

0314Entities are allowed to inherit from one other entity. No multiple inheritance of entities is allowed. Denoters of the base entity are merged into the denoters of the derived entity. There is no hierarchy in the merged denoter lists (the denoters are flattened) as shown in Table 117. <tables id="tabl0151" num="0151"><img file="EP1589440A2_D0150.tif" /></tables> The denoter list of MymailEntity will consist of "mail", "email", and "electronic mail".

0315At the definition, the derived entity can also sub-type the base entity's restriction clauses that are marked with <b>asproperty.</b> For example, if MailEntity had a Location restriction clause marked with <b>asproperty,</b> then the MyMailEntity definition can be as follows: <tables id="tabl0152" num="0152"><img file="EP1589440A2_D0151.tif" /></tables> This code block says that MyMailEntity inherits the Location understanding of MailEntity but adds more specificity to the actual location.

0316Like entities, frames can only inherit from one other frame. No multiple inheritance is allowed. In the definition, the derived frame cannot specify any groupings of frames. Composite frame and frame inheritance are separated. It may be possible to handle inheritance for Frames in the same was as for Entities. In composite frames, for example, the denoter lists are grouped together. In some instances, it may be desirable to enforce the requirement that all the frames belong to the same behavioral class when the frames are grouped. If the frames in the groupings do not need to belong in the same LSS class, then frames and entities could be handled the same way.

0317Like frames and entities, derived restrictions can only inherit from one other restriction. Sub-typing of restriction clauses of the base restriction can also happen at the definition of the derived restriction.

0318Restriction clauses of a particular restriction type are tried in the derived-type before going to the base-type. This also applies to Default restriction as shown in Table 118 below. <tables id="tabl0153" num="0153"><img file="EP1589440A2_D0152.tif" /></tables> When resolving a Location restriction on MyMailEntity, the order of firing restriction clauses is as follows: <ul id="ul0007" list-style="none" compact="compact"><li>1. MyMailEntity.Location</li><li>2. MailEntity.Location</li><li>3. MyMailEntity.Default</li><li>4. MailEntity.Default</li></ul> There is currently no notion of public/private restriction clauses and no notion of overriding restriction clauses. In part, this is because overriding restriction clauses makes little sense given that the restriction clauses are used for resolving the class and that the clauses are private to the <b>on resolve</b> clause. However, it may be desirable to allow restriction clauses to be overridden in certain implementations.

0319Depending on the implementation, it may be necessary to allow the derived class (during resolution) to access members (methods and variables) in the base class. Since the base class is not yet resolved, this may be problematic. If the derived class is not allowed to access members of the base class until the base class is resolved, the derived class must be prevented from being polymorphically set to the base during resolution (through assignment, passing to functions, and the like). In either case, derived classes may be allowed to directly invoke restriction clauses on the base before the base is resolved.

0320Inheritance can be utilized to add more understanding to existing entities. Referring again to the above MailEntity code of Table 118, it is important to note that the MailEntity only understands Location restriction. It is possible to create an entity that leverages the authored Location logic in MyMailEntity and adds the Topic understanding. Additionally, restriction clauses of the same type as the base may be added as shown in Table 119 below. <tables id="tabl0154" num="0154"><img file="EP1589440A2_D0153.tif" /></tables>

0321When a restriction clause is invoked and is rejected by the authored code in the clause, the interpreter then invokes a restriction clause, in the current type or in any of its polymorphic-ally equivalent super types. To be considered polymorphically equivalent, the restriction types and the types of its slots must both be polymorphic as shown in Table 120 below. <tables id="tabl0155" num="0155"><img file="EP1589440A2_D0154.tif" /></tables><tables id="tabl0156" num="0156"><img file="EP1589440A2_D0155.tif" /></tables>

0322Although they are not exactly equivalent, it is possible to use inheritance instead of sub-typing at the slots as shown in Table 121. <tables id="tabl0157" num="0157"><img file="EP1589440A2_D0156.tif" /></tables><tables id="tabl0158" num="0158"><img file="EP1589440A2_D0157.tif" /></tables> When resolving "mail in Inbox" against MailEntity3, the MailEntity3.Location clause will take precedence over MailEntity.Location clause. In this case, there are two Location restriction clauses for MailEntity3. However, there is only one Location clause for MailEntity2. The sub-typing at the slots can be interpreted as saying that Location for MailEntity2 should be evaluated by MailEntity's Location restriction clause but with MyMailFolder type.

0323It is important to note that caution should be used when declaring restriction clauses with the <b>obligatory</b> attribute. Obligatory clauses must fire and succeed in order for the type to resolve successfully. If a base type declares a clause as <b>obligatory,</b> then the derived class must ensure that it does not handle determinations that should go to the base. Derived types cannot invoke restriction clauses of their base type. Instead, derived types depend on normal resolution semantics to invoke the <b>obligatory</b> restriction clauses in the base.

E4. Resolution Semantics.

0324The resolution semantics of SPL are implemented by the SPL runtime. The runtime builds the domain-dependent model of the utterance, in accordance with SPL's language semantics. The runtime resolves the natural language command against the authored SPL types, abiding by the rules of linguistics and the SPL language.

0325In one embodiment, resolution of the types is performed using a top down approach. FIG. 5 illustrates a simplified flow diagram of a top down approach to a type resolution according to an embodiment of the present invention. First, the runtime finds a possible command that can be resolved against the utterance (step 500). If there are multiple possible commands, one command is chosen for resolution (step 502). If no command is found, the Unknown command is invoked (step 504). If one or more commands are found, the run time attempts to resolve the found command (step 506). If the command resolution fails, the runtime advances to the next command in the list and repeats steps 502-510 until there are no more possible commands. If the command resolution succeeds, the command is added to an interpretation list (step 510). Finally, the runtime repeats steps (step 502 through 510) until there are no more possible commands contained in the utterance or until a specified number of requested interpretations is reached (step 512). It should be understood by a worker skilled in the art that numerous variations in the resolution process are possible. For example, in certain instances, failure of a resolution may constitute a general failure, which causes the program to exit the resolution. In other instances, failure may result in an invocation of a failure clause of the type, which may or may not result in failure of the resolution. Additionally, within the failure clause, the success clause and the begin clause, program developers are free to insert application specific code, which allows the framework to be adapted in countless ways. For example, a developer might insert code in a failure clause to return a "success" flag, such that failure of the resolution does not result in a failure. The failed resolution might be ignored or other program code might cause the process to call back to the client application to disambiguate a particular resolution and so on. It should be understood that the figures are intended to provide an example, but are not intended to exhaust the possible implementations.

0326As shown in FIG. 6, one possible embodiment of command resolution proceeds as follows. The begin clause of the command is invoked (step 600). If the begin clause fails, the runtime exits the command (step 601). If the begin clause succeeds, the runtime attempts to resolve the frame (step 604). If frame resolution fails, the frame <b>failure</b> clause is invoked, and depending on the implementation, the runtime may exit the command or perform another operation (step 602). Otherwise, the runtime invokes the success clause (step 606).

0327As previously discussed, the semantic programming language of the present invention allows the program developer to exert control over the operation of the various elements. Thus, the resolution semantics of the present invention can be modified in countless ways to implement operations that are desirable for a particular application. Thus, when a resolution fails, in some instances it may be desirable to ignore the failure and proceed. In other instances, it may be desirable to take steps to disambiguate the resolution so that the resolution can succeed (such as by calling back to the client application). In still other instances, it may be desirable to simply exit the resolution if resolution fails.

0328As shown in FIG. 7, in one embodiment, frame resolution proceeds as follows. The begin clause of the frame is invoked (block 700). If the frame resolution fails, the <b>failure</b> clause is invoked (block 702), and the runtime optionally resolves another command (block 704).

0329If the frame resolution succeeds, the runtime attempts invoke the Restriction clause (block 706) (corresponding to blocks 408 and sequence in Fig. 4). If the Restriction clause fails resolution, the runtime considers any derived types for resolution (block 708). For example, given an entity type Item with derived types Mail and Notes, a clause on another type SendItem that takes an Item could be resolved by an instance of Mail or Notes.

0330If the runtime fails to invoke successfully a derived type, depending on the implementation, a failure clause of the frame may be invoked (block 709) and then the failure clause of the command may be invoked (block 702).

0331Alternatively, the Restriction clause may simply be ignored. If the Restriction clause is ignored, the runtime invokes the success clauses of the frame and command (block 712). The runtime then adds the command object to the "actual interpretations" list (block 714), and attempts to resolve another command (block 704).

0332If the runtime successfully invokes the Restriction clause (block 706) or succeeds in finding a Derived type for resolution (block 708), the runtime invokes the success clause of the Restriction (block 710). The runtime then invokes the success clauses of the frame and of the command (block 712) and adds the command object to the "actual interpretations" list (block 714). The runtime then attempts to resolve another command (block 704) until resolution on all possible commands has been attempted.

0333As previously mentioned, the process flow is intended for illustrative purposes only, and is in no way exhaustive of the many possible implementations. In practice, the resolution process is at least partially, if not largely, determined by the specific implementation. Thus, as indicated, the failure of the restriction resolution may cause a general resolution failure (as indicated by blocks 709 and 702), or restriction resolution may simply be ignored and the command resolution proceeds. In another embodiment, a failed restriction (if the Restriction is obligatory, for example) might cause the runtime to call back to the client application or send flow control information to the analysis engines to try to disambiguate the command. Such decisions are largely implementation specific, and therefore, programming constructs of the semantic programming language can be used to facilitate natural language programming to optimize natural language processing to fit the specific implementation.

0334As shown in FIG. 8, one possible embodiment of restriction clause resolution proceeds as follows. For each proposed restriction, if there are any restriction slots for the restriction, the runtime resolves each slot by calling a ResolveSlot function (block 800). If the ResolveSlot function fails, the runtime selects the next proposed restriction (block 802), and attempts to resolve the slot by calling the ResolveSlot function (block 800) again. If the ResolveSlot function succeeds (either the first time or on one of the next proposed restrictions), the runtime invokes the restriction clause (block 804).

0335If the restriction clause fails, the runtime looks for a polymorphic-ally equivalent clause in the current class (block 806). If a polymorphic-ally equivalent clause is not found in the current class, the runtime searches for one within its inheritance chain (block 808). If a polymorphic-ally equivalent clause is found, the runtime invokes the equivalent clause (block 810). The runtime repeats (block 808) until no more equivalent clauses are found or until an equivalent clause succeeds.

0336If necessary, the runtime invokes the Default restriction (block 812). If all restriction clauses resolve successfully, the runtime invokes the <b>success</b> clause (block 814). Otherwise, the runtime ignores the Restriction (block 816) and invokes the success clause of the frame (block 818).

0337In an alternative embodiment, if the default restriction clause fails, the restriction is simply ignored. Resolution still succeeds, unless this is a Named or Negation restriction as discussed above.

0338It is important to note that a restriction clause can fire multiple times on the same resolvable type. For example, the command "show files in c: in temp folder" has two Location restrictions on "file" entity ("in c:" and "in temp folder"). Currently, the only enforced order of resolution of the restriction clauses are that the Doer and DoneTo restrictions on frames are resolved first (in that order), and the Default restriction is resolved last. However, it may be desirable to enforce ordering on other types, such as Negation and Named.

0339As shown in FIG. 9, in one embodiment, NamedEntity resolution proceeds as follows. The runtime invokes the begin clause of an Entity (block 900). If this fails, the runtime exits the Entity resolution (block 902). If the begin resolution clause of the Entity succeeds, the Runtime tries to invoke a named Restriction given a NamedEntity that was found and that corresponds to the Entity (block 904). It is important to note that block 904 encompasses multiple resolution steps, but which are omitted here for simplicity.

0340If the invocation of the named restriction fails, the failure clause of the Entity is invoked and the runtime exits (block 906). If the invocation succeeds, the runtime invokes the success clause of the Entity (block 908).

0341It should be appreciated that the programming language of the present invention can be utilized to alter the resolution steps in countless ways. For example, a success resolution clause may be modified to return a "false" or "failure" under certain circumstances. Similarly, a failure resolution clause can be programmed to return a "true" or "success", depending on the specific implementation. Thus, the examples presented herein are not intended to be limiting, but rather are offered to illustrate one possible implementation of resolution semantics. Numerous variations are anticipated, and it is expected that programmers will adapt the resolution to meet the needs of the specific natural language application.

0342The Default restriction is used to resolve restrictions not handled by the authored code and/or restrictions not understood by the runtime. The Default restriction is invoked once per resolvable type, and is always invoked last. There can only be at most one Default restriction per resolvable type.

0343The object model under Default may vary according to implementation. In one embodiment, the Default object model provides a lattice of tokens (elements, items or spans) of text with their proposed restrictions. The tokens do not need to be contiguous within the lattice. For example, suppose we have the following tokens in an utterance: token₁ token₂, and token₃. Under Default, the runtime can produce the lattice shown in Table 122. <tables id="tabl0159" num="0159"><img file="EP1589440A2_D0158.tif" /></tables> The raw text is always available. The SPL can provide authors with information about whether a token in the text participated in a successful resolution or not.

0344Statistical semantic modeling and learning can play a role in SPL. The order in which restriction clauses are invoked can be dependent on some statistics based on linguistic evidence, statistical ranking (e.g. SGM), and automatic learning. As shown in FIG. 10, the system 1000 includes a runtime 1002 and a database 1004. In general, the runtime 1002 can manage the database 1004, which is a repository of utterances and resolution results. The data in this repository can be mined and analyzed (off-line) by an analysis tool 1006 (for example) after a certain threshold of resolutions has been reached. The information in the database 1004 can be analyzed by the analysis tools 1006, and the results can then be fed back to the runtime 1002 to improve its selection and order of commands to resolve and its order of invoking the restriction clauses. As a result, resolutions can be made to perform better and faster, without changes to authored code, as more utterances are resolved. In a broad sense, the system 1000 is an intelligent system that is capable of improving its performance without requiring recoding.

0345In one embodiment, advanced authors can manage and program against the repository. In another embodiment, advanced authors can return a probability representing a confidence level from clauses instead of just a true/false value. While this may complicate the programming model, the ability to derive a confidence level instead of a boolean value allows the author to participate statistically in the semantic analysis.

0346Generally, ambiguity is surfaced to the author and dealt with by the author in the SPL client application. Ambiguity not dealt with by the code results in multiple interpretations. The runtime ranks the interpretations and returns to the application up to a maximum number of interpretations specified by the application. In one embodiment, the list of interpretations is returned synchronously (as part of the API call). In another embodiment, the interpretations are returned asynchronously using events.

0347The runtime prunes semantically equivalent interpretations from the list. Additionally, the runtime provides a default implementation for determining semantic equivalence of two interpretations. The default implementation can be overridden by the author.

0348In one embodiment, semantic equivalence is determined by comparing the strings generated by restating the semantic interpretation. However, other techniques may also be utilized to determine equivalence.

0349In general, developers do not have to write code to deal with all the possible restrictions that may occur in an utterance. Authors just code for the restrictions they want to understand and to handle. Un-authored/unhandled restrictions are dropped. In other words, un-authored/unhandled restrictions are ignored as if they did not occur in the utterance. The only exceptions are the Negation and Named restrictions, which must be handled.

0350The semantics are implemented using inheritance. The resolvable types all inherit from a base class. Thus, there is a base Entity, a base Frame, and a base Restriction class. The base resolvable type has one restriction clause, Default, as shown in Table 123. <tables id="tabl0160" num="0160"><img file="EP1589440A2_D0159.tif" /></tables> The Default restriction in the base resolvable types succeeds for all restrictions except for Negation and Named. Table 124 shows syntax for a Mail Entity. <tables id="tabl0161" num="0161"><img file="EP1589440A2_D0160.tif" /></tables> For an utterance such as "mail received yesterday", the SPL runtime tries to resolve "received yesterday" against the authored restriction clauses of MailEntity. Since "received yesterday" will not map to the Location restriction and since there is no Default restriction clause in MailEntity, the SPL runtime tries to resolve "received yesterday" against the base of MailEntity, which is Entity. The Default restriction clause in Entity returns true; and therefore, MailEntity resolution succeeds. The resolution succeeds as if only "mail" was recognized in the utterance, "mail received yesterday".

0351If this is not the desired behavior, then the developer can easily write code to reject unrecognized/unhandled restrictions as shown in Table 125. <tables id="tabl0162" num="0162"><img file="EP1589440A2_D0161.tif" /></tables><tables id="tabl0163" num="0163"><img file="EP1589440A2_D0162.tif" /></tables>

0352Here, the Default restriction clause in MailEntity is tested before the base Entity is invoked. Therefore, "mail received yesterday" will not resolve successfully against MailEntity.

0353In general, everything outside the scope of <b>on resolve</b> is handled according to conventional C# rules. Code within resolution clauses is also C# code. Thus, it is possible to view the resolvable types as specialized C# classes with special code for determining their constructions.

E5. Programming The LOM

0354Programming the LOM involves using the restrictions provided by LOM to achieve intended outcomes. This can best be understood by exploring some examples. Thus, the following discussion presents a number of examples, explores in detail the more complicated semantic modeling restrictions and clauses (such as coordination, comparisons, negation, and the like), and discusses some "best" practices. Details about what kinds of utterances generate which restrictions and the information the restrictions contain was previously discussed above in section D.

0355Not all restriction types of the LOM are exposed to SPL. SPL focuses on the restriction types to command and control scenarios. LOM, by contrast, has much broader applicability. As new releases are made available, it will be easier to expose a previously uncovered semantic relationship as a new restriction type than to try to narrow or modify an exposed restriction type in subsequent releases for reasons of backward compatibility. In the discussion below, we concentrate mostly on how to use the restrictions for modeling in SPL code. In general, the restrictions surface to the developer as class libraries, similar to the Framework Class Library (FCL) for .Net runtime by Microsoft®.

0356The Accompaniment restriction models an entity accompanying the host. Accompaniment is allowed on Entities and Frames. Some examples include <i>meeting</i><u>with my manager,</u> chat <u><i>with Bob,</i></u><i>email</i><u>with attachments,</u> and <i>merge</i><u><i>File A</i> with <i>File B</i></u><i>.</i> The Accompaniment restriction contains one system slot, <b>accomp,</b> of type Entity representing the entity that accompanies the host. The author can constrain the type of entities that can accompany the host as shown in Table 126. <tables id="tabl0164" num="0164"><img file="EP1589440A2_D0163.tif" /></tables><tables id="tabl0165" num="0165"><img file="EP1589440A2_D0164.tif" /></tables>

0357The AsBeing restriction picks out some property of the DoneTo.what entity that the verb operates on. The AsBeing restriction is allowed on Frames. Some examples include "show status as busy", "save as text file", and "make the font large". The AsBeing restriction has one system slot, <b>restr,</b> which represents the restriction that is being picked out. Instead of allowing any restriction type to fill the slot, the type of the restriction is restricted to particular restriction types. The restriction is limited to particular types by providing overloaded AsBeing restrictions that take the various supported types in its system slot. The following restrictions are supported (for example):    AsBeing<restr := Modifier> : "mark message as <i>low priority"</i>    AsBeing<restr := Possessor> : "make this file <i>mine"'</i>    AsBeing<restr := Ordinal> : "put this message <i>first"</i> In some embodiments, phrases such as "log in as my manager" may resolve successfully. However, this would require that Entities be permitted as a slot type.

0358The AsBeing restriction defines a 3-place relationship between the verb, its DoneTo.what entity, and the restrictions on this entity. Although SPL does not enforce strong binding of this relationship, a best practice would be to enforce the relationship as shown in Table 127. <tables id="tabl0166" num="0166"><img file="EP1589440A2_D0165.tif" /></tables><tables id="tabl0167" num="0167"><img file="EP1589440A2_D0166.tif" /></tables>

0359A Cardinal restriction models cardinality as expressed by numeric quantifiers (for example, "3 files"). The Cardinal restriction is allowed on entities. There is a member on Cardinal object, Cardinal.number, which gives the actual cardinal value as shown in Table 128. <tables id="tabl0168" num="0168"><img file="EP1589440A2_D0167.tif" /></tables>

0360The Comparison restriction models comparison of an entity with another explicitly-identified entity. It is not used for expressions such as <i>"a bigger file",</i> where the entity or entities to compare to are left implicit. There are two system slots defined for Comparison: <b>dimension,</b> which is the dimension the comparison is being performed in, and <b>compareTo,</b> which is the entity being compared to. For example, for "bigger file than mydoc.txt", "bigger" is the dimension of comparison and "mydoc.txt" is the <b>compareTo</b> entity. The <b>dimension</b> is a Restriction type. In general, the Comparison restriction allows a comparison of two entities on some property of the entities.

0361Some examples of comparison include "a book <i>more about cats than dogs",</i> "mail larger than 10KB", and "make font <i>smaller than 12 pts".</i> In some embodiments, it may be desirable to enforce a requirement that the <b>dimension</b> restriction have a <b>Degree</b> modifier attached to it. For example, the phrase "file big than mydoc.txt" should not resolve because the <b>dimension</b> restriction is not a restriction type.

0362A Degree restriction models the degree of a restriction, and is allowed on restrictions. It groups together words like very, extremely, slightly, almost, more, less, most, and least. Some examples include <i>"almost</i> in the box", <i>"extremely</i> red", <i>"very</i> large", and <i>"more</i> to the left". The grouped words are categorized into a set representative of "degreeness". The types of degree are as follows: <ul id="ul0008" list-style="none" compact="compact"><li>More: <u>bigger</u>, <u>more</u> relevant</li><li>Most: <u>biggest</u>, <u>most</u> relevant</li><li>Less: <u>less</u> relevant</li><li>Least: <u>least</u> relevant</li><li>Same: <u>as</u> big</li><li>High: <u>very</u> big, <u>extremely</u> popular</li><li>Low: <u>not very</u> big</li></ul> It should be noted that "smaller" is modeled as "more small" and not as "less big".

0363For utterances like "10KB larger file", this is modeled as "10KB" (Modifier) modifying "more" (Degree) and the combined "10KB more" concept modifying "large". By contrast, the utterance "10KB large file" is modeled as two Modifier restrictions, "10KB" and "large", on "file" entity (equivalent to "large, 10KB file"). Table 129 shows denoter syntax for a denoter list of lexical words that denote "large" and syntax for a File Entity to which those restrictions are applied. <tables id="tabl0169" num="0169"><img file="EP1589440A2_D0168.tif" /></tables><tables id="tabl0170" num="0170"><img file="EP1589440A2_D0169.tif" /></tables><tables id="tabl0171" num="0171"><img file="EP1589440A2_D0170.tif" /></tables>

0364Generally, it is not necessary to create separate restriction types for "more large" and "10KB larger". They all could have been placed under LargeModifier. Then consumers, such as FileEntity, simply check LargeModifier's RestrictionCollection property for the existence of "10KB more" and "more" in the utterance if desired as shown in Table 130. <tables id="tabl0172" num="0172"><img file="EP1589440A2_D0171.tif" /></tables><tables id="tabl0173" num="0173"><img file="EP1589440A2_D0172.tif" /></tables>

0365A Doer restriction represents the entity doing the action, and is allowed on Frames. For example, "Bob opened the file" or "the file was opened <i>by Bob"</i> both trigger the Doer restriction. The Doer restriction contains one system slot, 'who' , of type Entity which represents the actual doer.

0366Usually, when the frame is used by commands, the Doer is the computer. But, when the frame is used as a frame-based restriction (e.g. "file <i>opened by Bob"),</i> then the identity of the doer becomes relevant. The author can use the Doer restriction to constrain the type of the doer.

0367All base frames will have the Doer restriction defined with <b>asproperty</b> to allow easy sub typing at the consumer site as illustrated in Table 131. <tables id="tabl0174" num="0174"><img file="EP1589440A2_D0173.tif" /></tables><tables id="tabl0175" num="0175"><img file="EP1589440A2_D0174.tif" /></tables>

0368The DoneTo restriction represents the entity that the action is being done to. For example, "open <i>the file"</i> and "the file was opened" invoke the DoneTo restriction. It contains one system slot, <b>what,</b> of type Entity representing the object of the action.

0369All base frames will have the DoneTo restriction defined with <b>asproperty</b> to allow easy sub typing at the consumer site as shown in Table 132. <tables id="tabl0176" num="0176"><img file="EP1589440A2_D0175.tif" /></tables><tables id="tabl0177" num="0177"><img file="EP1589440A2_D0176.tif" /></tables>

0370The Goal restriction models the endpoint of an action or modification. The Goal restriction is allowed on Frames. Some examples include "send mail to Bob", "change password to <i>XXX".</i> It has one system slot, <b>goal,</b> of type Entity representing the endpoint as shown in Table 133. <tables id="tabl0178" num="0178"><img file="EP1589440A2_D0177.tif" /></tables>

0371The Iteration restriction models repetition of action, and is allowed on Frames. For example, "print 3 times" triggers the Iteration restriction shown in Table 134. <tables id="tabl0179" num="0179"><img file="EP1589440A2_D0178.tif" /></tables>

0372The Location restriction models the semantics of being located somewhere. The Location restriction is allowed on frames and entities. For example, "mail in <i>Inbox",</i> "file <i>located on the desktop",</i> and "search <i>the</i> web" all trigger the Location restriction. It has one system slot, <b>loc,</b> of type Entity representing the actual location as shown in Table 135. <tables id="tabl0180" num="0180"><img file="EP1589440A2_D0179.tif" /></tables>

0373The Means restriction is allowed on frames, and is discussed in detail in the LOM in section D. The Modifier restriction is allowed on Frames, Entities and Restrictions. The Modifier restriction represent adjectival modifiers, such as <i>"large</i> file", <i>"school</i> bus", "font that is red", and "print <i>slowly".</i> It has one system slot, <b>mod,</b> of type Denoter representing the adjectives. For noun-noun compounds, such as "MSN consumer application", this can be modeled as: <ul id="ul0009" list-style="none" compact="compact"><li>Modifier("MSN") and Modifier("consumer") on    Entity("application");</li><li>Modifier("MSN consumer") on    Entity("application");</li><li>Modifier("MSN") and Entity("consumer    application"); and/or</li><li>Entity("MSN consumer application")</li></ul>

0374The Named restriction represents the name of an entity. Some examples include <i>"Inbox</i> folder", "file <i>named foo.txt</i> ", "file <i>with</i> the <i>name foo.txt",</i> "open <i>foo.txt"</i> and "the file <i>foo.txt".</i> The system slot, name, is the actual name as shown in Table 136. <tables id="tabl0181" num="0181"><img file="EP1589440A2_D0180.tif" /></tables>

0375A Negation restriction on the host means the host is negated, and not that its restriction clauses are negated. Some examples include "don't allow mail from Joe" and "mail not from Joe". Table 137 shows the syntax for a Frame with negation. <tables id="tabl0182" num="0182"><img file="EP1589440A2_D0181.tif" /></tables>

0376If the utterance has a negation but the SPL code does not have a Negation restriction clause, the utterance will fail resolution. This is unlike other restrictions where they are simply dropped if not authored.

0377Negation restriction is not allowed on entities. For the SPL, the "universe" in which the entity occurs depends on how the entity is being used, so negation of the entity is not necessary. For example, in an utterance such as "Display everything but the mail," the universe is everything the application can display, and not necessarily every entity that the application models. In the utterance "don't allow mail from Bob," the universe of things that one can allow or disallow might very well be restricted to mail only, so the negation of mail shouldn't make sense in this context. For this reason, entity negation will be handled by consumers of the entities using "!" syntax.

0378Negation scope disambiguation is determined by the SPL code. For example, "don't look on the table" can have the following negation scope ambiguities: <ul id="ul0010" list-style="none" compact="compact"><li>Don't look on the table (but sit on it instead): negation scoped over <b>look</b> frame;</li><li>Don't look on the table (but look under it): negation scoped over Location restriction; or</li><li>Don't look on the table (but look on the chair): negation scoped over Location.loc entity.</li></ul> Which semantic interpretation is resolved depends on how the code is authored. In fact, depending on the authored code, all those readings may resolve successfully, thus producing multiple interpretations. The runtime usually has preferences of scope ambiguity so the multiple interpretations are ranked. Table 138 models negation. <tables id="tabl0183" num="0183"><img file="EP1589440A2_D0182.tif" /></tables><tables id="tabl0184" num="0184"><img file="EP1589440A2_D0183.tif" /></tables> The <b>"!" (NOT)</b> syntax can also be applied to frames and restrictions as a short-hand notation as shown in Table 139. <tables id="tabl0185" num="0185"><img file="EP1589440A2_D0184.tif" /></tables><tables id="tabl0186" num="0186"><img file="EP1589440A2_D0185.tif" /></tables>

0379The Ordinal restriction models ordinal numerals and other modifiers such as <i>previous</i> that express some notion of position in a sequence. Some examples include "first file", "third book", and "last email". Ordinal restrictions can be applied to other restrictions as well, such as for example, "first 3 books", which is modeled as Ordinal("first") restriction modifying Cardinal("3") restriction as shown in Table 140. <tables id="tabl0187" num="0187"><img file="EP1589440A2_D0186.tif" /></tables>

0380The Possessor restriction models the entity's possessor, and is applied to entities. Some examples include "my book" and <i>"Bob's</i> book". The system slot, <b>owner,</b> of type Entity represents the possessor of the entity. If the possessor is explicitly uttered, as in "Bob's book", then "Bob" will be resolved against the <b>owner</b> slot. If the possessor is a pronoun, as in "her file", then the runtime will attempt to resolve the pronoun through anaphora resolution. If this anaphora resolution fails to find a possessor entity, then the <b>owner</b> slot will be null. Table 141 shows the syntax for the Possessor restriction. <tables id="tabl0188" num="0188"><img file="EP1589440A2_D0187.tif" /></tables>

0381The Quantifier restriction is allowed on Entities, and models a quantity expression. Some examples include "all files", "a few books", and "one third of the page". The following are the quantifier types: <ul id="ul0011" list-style="none" compact="compact"><li>All: all ((of) the), every, each (of the)</li><li>None: no, none (of the)</li><li>Some: some (of the)</li><li>Most: most (of the), the majority of</li><li>Many: many (of the)</li><li>Few: few (of the), not many (of the)</li><li>Percentage: a half of, 1/3 of, 40% of</li></ul> In some embodiments, there may exist a hierarchical relationship between Quantifier and Cardinal.    The SortOrder restriction models styles of sorting. Some examples are "sort in <i>alphabetical order"</i> and "display in <i>reverse</i> order by <i>name".</i> This restriction is discussed in detail above with respect to Table 56.

0382The Time restriction models actual time expressions, namely time expressions that can be converted into a point and/or span in time. Examples include "delete after 3 <i>days",</i> "mail <i>from yesterday",</i> and "schedule <i>for tomorrow from 1 -</i> 3 <i>pm".</i> The Time restriction was previously discussed in detail in section D above.

0383The Topic restriction models subject matter. Some examples include "book about <i>dogs",</i> "book <i>regarding dogs",</i> and "book <i>with the subject dogs".</i> It has one systems slot, <b>topic,</b> of type <b>string</b> representing the topic string. This restriction was discussed previously in detail in section D above. Table 142 shows a BookEntity code block with a Topic. <tables id="tabl0189" num="0189"><img file="EP1589440A2_D0188.tif" /></tables>

0384Conjunction ("and") and disjunction ("or") can occur for commands, entities and restrictions. Conjunction and disjunction fall under the heading of Coordination. In general, the ambiguity in coordination comes from how entities and modifiers are distributed over conjunction and disjunction and from bracketing ambiguity in utterances with multiple "and" and "or" operators. Like Negation, this disambiguation is determined by the authored code. For example, with respect to the utterance "find mail and notes created yesterday", the SPL author can model this as follows: <ul id="ul0012" list-style="none" compact="compact"><li>a. (Find (mail created yesterday) AND (notes created yesterday)).</li><li>b. (Find (mail) AND (notes created yesterday)).</li><li>c. (Find (mail created yesterday)) AND (Find (notes created yesterday)).</li><li>d. (Find (mail)) AND (Find (notes created yesterday)).</li></ul> How "created yesterday" and "find" are distributed with its entities, "mail" and "notes", is determined by the authored SPL code. For illustration purposes, let's suppose the author codes a FindMailCommand that only understands entities of type MailEntity and a FindNotesCommand that only understands entities of type NotesEntity. Furthermore, the authored code provides that MailEntity does not have the notion of creation time, but NotesEntity does as shown in Table 143. <tables id="tabl0190" num="0190"><img file="EP1589440A2_D0189.tif" /></tables><tables id="tabl0191" num="0191"><img file="EP1589440A2_D0190.tif" /></tables> With this authored code, for the utterance, "find mail and notes created yesterday", the semantic analysis only produces reading (d) from the above list ("Find (mail) and find (notes created yesterday)"). The SPL author does not need to understand all possibilities. The author can just think in terms of the semantics of their application (e.g. MailEntity does not understand creation time but NotesEntity does).

0385Coordinated entities are represented as a list of entities linked together with a coordination type, either "and" or "or". All entities in the list must be linked together with the same coordination type. Furthermore, all entities in the list must be of the same programming type (e.g. all MailEntity elements).

0386As a general rule, the runtime will not produce multiple interpretations to model bracketing ambiguities resulting from coordination of the same type. Rather, entities coordinated together with the same type of coordination (i.e. either all with "and" or all with "or") are modeled as a flat list, and it is left to the application to decide on appropriate bracketing if it matters. For example, take the utterance "find mail and books and files". This could mean "find mail and (books and files)" or "find (mail and books) and files". This bracketing ambiguity is not modeled, meaning that only one possible reading will be produced, assuming all entities are of the same SPL type. This utterance is modeled as a flat list where the order of the elements reflects the order in the utterance.

0387However, with mixed "and" and "or", the runtime produces multiple readings to model the bracketing ambiguity. Depending on the authored code, these multiple readings may or may not result in multiple resolved interpretations. With respect to the utterance "find mail or books and files", since lists of elements must be coordinated with the same coordination type, the following runtime produces the following possible readings (assuming that "mail", "books", and "files" are resolved to the same SPL type and that the Find command takes a list of entities): <ul id="ul0013" list-style="none" compact="compact"><li>(Find (mail OR books)) AND (Find (files))</li><li>(Find (mail)) OR (Find (books AND files))</li></ul> The "find" is distributed over the "and" and over the "or".

0388In general, mixed "and" and "or" operators are not common in utterances, so producing multiple interpretations to model bracketing ambiguity should not be too onerous.

0389In some configurations, it may be necessary to implement Entity lists, which can be specified by the consumers of the entity using [] syntax as shown in Table 144. <tables id="tabl0192" num="0192"><img file="EP1589440A2_D0191.tif" /></tables>

0390An interpretation represents a resolved interpretation of the utterance against the SPL program. Each resolved interpretation contains at least one resolved command. An utterance can result in multiple commands for an interpretation. For example, "find file foo.txt and print it", there are two commands in this utterance. The commands in an interpretation are linked together with some condition. Currently, they are linked together by a coordination type, either AND or OR (Other modeling contionals are also possible). The commands in the interpretation do not need to be of the same resolved type.

0391The following discussion examines various coordination examples to see how elements are distributed over conjunction and disjunction and how the authored code models the coordination. The discussion also examines coordination for commands, entities, and restrictions. For a given utterance, the possible readings are shown to illustrate the ambiguity and distribution.

0392To reiterate, the SPL author thinks about the semantics of their application (e.g. my Find command can operate over a list of MailEntity). The runtime tries to map the utterance into what is authored in accordance with its linguistic understanding of the rules of distribution of elements over conjunction and disjunction. The code sample in Table 145 is used for the examples presented below. <tables id="tabl0193" num="0193"><img file="EP1589440A2_D0192.tif" /></tables><tables id="tabl0194" num="0194"><img file="EP1589440A2_D0193.tif" /></tables><tables id="tabl0195" num="0195"><img file="EP1589440A2_D0194.tif" /></tables>

0393The above code resolves the command "Find mail from Bob and delete them" as follows: <ul id="ul0014" list-style="none" compact="compact"><li>FindMailCommand<MailEntity₁("mail from Bob")> AND Deletemailcommand<MailEntity₁></li></ul>

0394The command "Find and/or delete mail from Bob" is resolved to have four interpretations as follows: <ul id="ul0015" list-style="none"><li><b>Interpretation 1:</b> "mail from Bob" is distributed over the "and"/"or".    FindMailCommand<MailEntity₁ ("mail from Bob")> AND/OR    DeleteMailCommand<MailEntity₁></li><li><b>Interpretation 2:</b> "mail from Bob" is not distributed over the "and"/"or".    FindMailCommand<MailEntity₁(empty)> AND/OR DeleteMailCommand <MailEntity₂("mail from Bob") ></li><li><b>Interpretation 3:</b> "mail from Bob" is not distributed over the "and"/"or". This interpretation results from the authored code, not from coordination ambiguity. Since there are 3 "find" commands and the "empty" entity is a valid entity, a bare "find" can resolve to any of those commands.    FindNotesCommand<NotesEntity₁(empty)> AND/OR DeleteMailCommand <MailEntity₁("mail from Bob")></li><li><b>Interpretation 4:</b> same as Interpretation 3    FindJournalCommand<JournalEntity₁(empty) > AND/OR    DeleteMailCommand <MaiEntity₁("mail from Bob")></li></ul> All of the listed interpretations are possible against the above authored code.

0395The command "Find mail from Bob and/or delete" is resolved against the above-authored code and results in two possible interpretations as follows: <ul id="ul0016" list-style="none"><li><b>Interpretation 1:</b> "mail from Bob" is distributed over the "and"/"or"    FindMailCommand<MailEntity₁ ("mail from Bob")> AND/OR    DeleteMailCommand<MailEntity₁></li><li><b>Interpretation 2:</b> "mail from Bob" is not distributed over the "and"/"or"    FindMailCommand<MailEntity₁("mail from Bob")> AND/OR    DeleteMailCommand <MailEntity₂(empty)></li></ul> The only difference between the phrase in this example and that of the previous example is the command "delete" that has the empty MailEntity. Both interpretations are possible with the above authored code.

0396The command "Open file and reply or create mail" is resolved against the code, resulting in the following possible interpretations: <ul id="ul0017" list-style="none"><li><b>Interpretation 1</b>: "mail" is distributed over "or" to attach to "reply"    OpenFileCommand<Entityl("file")> AND    ReplyMailCommand<Entity₂("mail")> OR    CreateMailCommand<Entity₂></li><li><b>Interpretation 2:</b> no distribution of entities    OpenFileCommand<FileEntity₁("file")> AND    ReplyMailCommand<MailEntity₁(empty)> OR    CreateMailCommand< MailEntity₂ ("mail")></li><li><b>Interpretation 3:</b> "file" is distributed over "and" to attach to "reply". This reading will not be resolved against the above authored code because there is no "reply" command that takes FileEntity.    OpenFileCommand<FileEntity₁("file")> AND    ReplyMailCommand<FileEntity₁> OR    CreateMailCommand< MailEntity₁("mail")></li></ul>

0397The command "Open file or reply and create mail" results in three possible interpretations as follows: <ul id="ul0018" list-style="none"><li><b>Interpretation 1:</b> "file" is distributed over "or" to attach to "reply". This reading will not resolve against the above authored code because there is no "reply" command that takes "FileEntity".    OpenFileCommand<FileEntity₁("file")> OR    ReplyMailCommand<FileEntity₁> AND    CreateMailCommand< MailEntity₁("mail")></li><li><b>Interpretation 2:</b> "mail" is distributed over "and" to attach to "reply"    OpenFileCommand<Entity₁("file")> OR    ReplyMailCommand<Entity₂("mail")> AND    CreateMailCommand<Entity₂></li><li><b>Interpretation 3:</b> no distribution of entities    OpenFileCommand<FileEntity₁("file")> OR    ReplyMailCommand<MailEntity₁(empty) > AND    CreateMailCommand< MailEntity₂ ("mail")></li></ul>

0398In general, the 'and' for restrictions is implied by the semantics of SPL. For example, the command "find mail from Bob and in Inbox" causes two restrictions to fire on MailEntity, a Source restriction and a Location restriction. Therefore, the following discussion examines disjunction for restrictions.

0399In addition to the above code, we'll add a FindMailListCommand that understands a list of MailEntity using the following line of code.    command FindMailListCommand uses find<DoneTo.what := [MailEntity]>;

0400The command "find mail from Bob or created yesterday" resolves to the following interpretation: <ul id="ul0019" list-style="none" compact="compact"><li><b>Interpretation 1:</b> "mail" distributed over the "or". This results in a list of MailEntity.    FindMailListCommand <[    MailEntity₁("mail from Bob") OR    MailEntity₂("mail created yesterday")]> If FindMailListCommand did not exist or did not resolve successfully, then "find" will be distributed over the entities to create two FindMailCommands:    FindMailCommand<MailEntity₁("mail from Bob") > OR    FindMailCommand<MailEntity₂ ("mail created yesterday")></li></ul>

0401The command "find mail from Bob or created yesterday and in Inbox" is interpreted as follows: <ul id="ul0020" list-style="none"><li><b>Interpretation 1:</b> bracketing of (mail from Bob or created yesterday) with "in Inbox" distributed over the bracketing, i.e. over "or".    FindMailListCommand <[    MailEntity₁("mail from Bob and in Inbox") OR    MailEntity₂("mail created yesterday and in Inbox")]>    Again, if FindMailListCommand did not exist or did not resolve successfully, then the "find" would be distributed over the entities to create two FindMailCommands.</li><li><b>Interpretation 2</b>: bracketing of (mail created yesterday and in Inbox). Because "mail from Bob" is connected with disjunction, there is no distribution of it over the bracketing.    FindMailListCommand <[    MailEntity₁("mail from Bob") OR    MailEntity₂("mail created yesterday and in Inbox")]>    Again, if FindMailListCommand did not exist or did not resolve successfully, then the "find" would be distributed over the entities to create two FindMailCommands.</li><li><b>Interpretation 3</b>: no bracketing of the modifiers and "mail" is distributed over all modifiers.    FindMailListCommand <[    MailEntity₁("mail from Bob") OR    MailEntity₂("mail created yesterday") AND    MailEntity₃("in Inbox")]>    Again, if FindMailListCommand did not exist or did not resolve successfully, then the "find" would be distributed over the entities to create two FindMailCommands.</li></ul>

0402In addition to the above commands, a general FindCommand is added that can find a list of mail, notes, and journal items. The FindCommand is shown in Table 146. <tables id="tabl0196" num="0196"><img file="EP1589440A2_D0195.tif" /></tables> The addition of this command does increase the number of interpretations as can be seen from the examples below.

0403The command "Find mail and/or notes created yesterday" results in the following intepretations. <ul id="ul0021" list-style="none"><li><b>Interpretation 1:</b> "created yesterday" distributed over the "and"/"or".    FindCommand<[    GeneralEntity₁("mail created yesterday") AND/OR    GeneralEntity₂("notes created yesterday")]></li><li><b>Interpretation 2:</b> no distribution of "created yesterday".    FindCommand<[    GeneralEntity₁("mail") AND/OR    GeneralEntity₂("notes created yesterday")]>    If FindCommand did not exist or did not resolve successfully, then the "find" would be distributed over the conjunction, giving us the following two more interpretations:</li><li><b>Interpretation 3</b>: same as 1 but with "find" distributed over the entities    FindMailCommand<MailEntity₁("mail created yesterday")> AND/OR    FindNotesCommand<NotesEntity₁("notes created yesterday")></li><li><b>Interpretation 4</b>: same as 2 but with "find" distributed over the entities    FindMailCommand<MailEntity₁("mail")> AND/OR    FindNotesCommand<NotesEntity₁("notes created yesterday")></li></ul>

0404The command "Find mail from Bob and/or notes created yesterday" results in the following potential interpretations. <ul id="ul0022" list-style="none"><li><b>Interpretation 1:</b> unlike example 1, there is no distribution of modifiers.    FindCommand<[    GeneralEntity₁("mail from Bob") AND/OR    GeneralEntity₂("notes created yesterday")]></li><li><b>Interpretation 2:</b> if the FindCommand did not resolve, then we get distribution of "find" over the entities.    FindMailCommand<MailEntity₁ ("mail from Bob")> AND/OR    FindNotesCommand<NotesEntity₁("notes created yesterday")></li></ul>

0405The Command "Find mail, notes, or journal items created yesterday" results in the following potential interpretations. <ul id="ul0023" list-style="none"><li><b>Interpretation 1:</b> "created yesterday" distributed over "mail", "notes", and "journal items".    FindCommand<[    GeneralEntity₁("mail created yesterday") OR    GeneralEntity₂("notes created yesterday") OR    GeneralEntity₃("journal items created yesterday")]></li><li><b>Interpretation 2</b>: no distribution of modifiers    FindCommand<[    GeneralEntity₁("mail") OR    GeneralEntity₂("notes") OR    GeneralEntity₃("journal items created yesterday")]> If FindCommand did not exist or did not resolve successfully, then the "find" would be distributed over the conjunction, resulting in the following two additional interpretations:</li><li><b>Interpretation 3</b>: same as 1 but with "find" distributed over the entities    FindMailCommand<MailEntity₁("mail created yesterday")> OR    FindNotesCommand<NotesEntity₁("notes created yesterday")> OR    FindJournalCommand<JournalEntity₁("journal items created yesterday")></li><li><b>Interpretation 4:</b> same as 2 but with "find" distributed over the entities    FindMailCommand<MailEntity₁("mail") > OR    FindNotesCommand<NotesEntity₁("notes")> OR    FindJournalCommand<JournalEntity₁("journal items created yesterday")></li></ul>

0406The Command "Find mail and notes or journal items created yesterday" results in bracketing issues. Because of the mixed conjunction types (i.e. both "and" and "or" appear in the utterance) and the presence of "find" commands that take both lists of entities and the singleton entities, there is a potential for many interpretations. It is therefore good practice not to have commands that take list of some entity as well as commands that take that singleton entity. The code is authored so as to generate as many interpretations as possible. <ul id="ul0024" list-style="none"><li><b>Interpretation Set 1:</b> no distribution of "created yesterday"    bracketing of "mail" and "notes       FindCommand<[GeneralEntity₁("mail") AND       GeneralEntity₂("notes")]> OR       FindJournalCommand<JournalEntity₁("jour nal items created yesterday"> In this instance, it may also be necessary to produce an interpretation with FindCommand taking ony one element in the place of FindJournalCommand.    bracketing of "notes" and "journal items"       FindMailCommand<MailEntity("mail")> AND       FindCommand<[       GeneralEntity₁("notes") OR       GeneralEntity₂("journal items created yesterday")]>    no bracketing       FindMailCommand<MailEntity("mail")> AND       FindNotesCommand<NotesEntity("notes")>       ORFindJournalCommand<JournalEntity("jo urnal items created yesterday")></li><li><b>Interpretation Set 2</b>: distribution of "created yesterday" over "or" to attach to "notes"    bracketing of "mail" and "notes       FindCommand<[       GeneralEntity₁("mail") AND       GeneralEntity₂("notes created yesterday")]> OR       FindJournalCommand<JournalEntity₁("jour nal items created yesterday">    bracketing of "notes" and "journal items"       FindMailCommand<MailEntity("mail")> AND       FindCommand<[       GeneralEntity₁ ("notes created yesterday") OR       GeneralEntity₂("journal items created yesterday")]>    no bracketing       FindMailCommand<MailEntity("mail") > AND       FindNotesCommand<NotesEntity("notes created yesterday")> OR       FindJournalCommand<JournalEntity("jour nal items created yesterday")></li><li><b>Interpretation Set 3</b>: distribution of "created yesterday" over all entities    bracketing of "mail" and "notes       FindCommand<[       GeneralEntity₁("mail created yesterday") AND       GeneralEntity₂ ("notes created yesterday")]> OR       FindJournalCommand<JournalEntity₁("jour nal items created yesterday">    bracketing of "notes" and "journal items"       FindMailCommand<MailEntity("mail       created yesterday")> AND       FindCommand<[       GeneralEntity₁("notes created yesterday") OR       GeneralEntity₂("journal items created yesterday")]>    no bracketing       FindMailCommand<MailEntity("mail      created yesterday")> AND       FindNotesCommand<NotesEntity("notes       created yesterday")> OR       FindJournalCommand<JournalEntity("jour nal items created yesterday")></li></ul>

0407In some instances, it may be desirable to permit the developer to specify his or her own mapping between various linguistic phenomenon to the restrictions. It may also be desirable to provide "pre-analysis" programming where the patterns affect what restrictions are fired, as opposed to the "post-analysis" programming in Default. In general, it is desirable to allow a range of patterns from string-based to linguistically-based.

0408In one embodiment, a general mechanism is provided for specifying patterns that are used internally by LOM developers and externally by SPL developers. External developers should be allowed to use range of patterns, from simple to complex.

0409In one embodiment, applying patterns will be like using C# attributes as shown in Table 147. <tables id="tabl0197" num="0197"><img file="EP1589440A2_D0196.tif" /></tables>

0410In general, the present invention is intended to be as open as possible, allowing developers to create their own patterns, that perhaps are independent of any predefined set. This allows developers to bypass the formalized semantic relationships (i.e. restriction types) and create their own as desired.

0411With respect to modeling conditionals, in some embodiments, modeling conditional commands may be very valuable. Some simple examples include "if Bob sends me mail, delete it", "page me when mail comes from Bob", "move the file to c:\docs after copy it", and "warn me before permanently deleting a message". In general, the mechanism to model this should be similar to that of coordinated commands. In an alternative embodiment, conditionals may be surfaced through a special restriction type.

0412In some embodiments, authors may want to reason about multiple restrictions in a restriction clause in order to provide narrower interpretations. Authors can mimic the AND reasoning, albeit not elegantly, by storing data in the restriction clauses and reasoning about it in the success clause. Authors can mimic the OR property reasoning by calling out to common functions.

0413In a preferred embodiment, authors are permitted to specify a list of denotations using imperative code (e.g. calling to databases). The notation for this may vary according to the specific implementation and according to the databases involved.

0414Generally, the Named restriction provides authors with the name as a string. In one embodiment, authors can create a name class that can be queried by the runtime for a list of names it recognized in a given utterance. For example, considering the phrase "find Gone with The Wind movie", the author can create a name class that can recognize "Gone with the wind" as a name of a movie. In one embodiment, the SPL can be provided with an overload of Named restriction that takes the name class type as shown in Table 148. <tables id="tabl0198" num="0198"><img file="EP1589440A2_D0197.tif" /></tables><tables id="tabl0199" num="0199"><img file="EP1589440A2_D0198.tif" /></tables>

0415In a preferred embodiment, a NamedEntity type is associated with a NamedEntityRecognizer class as follows:<img file="EP1589440A2_D0199.tif" />

0416In a preferred embodiment, developers are allowed to specify how unknown/un-authored commands (e.g. noun phrases) are to be handled. The author can code the application to handle them in place, or ask the runtime to invoke a particular command (or set of commands) for specific entities, or provide a default command handler.

0417In one embodiment, derived classes are permitted to invoke the restriction clauses of the base class as shown in Table 149. <tables id="tabl0200" num="0200"><img file="EP1589440A2_D0200.tif" /></tables><tables id="tabl0201" num="0201"><img file="EP1589440A2_D0201.tif" /></tables>

0418Direct invocation may not be desirable, since resolution of clauses is largely controlled by the runtime. Introducing public/private/protected/ and other restriction clauses and trying to figure out what each means to resolution semantics would add unnecessary complexity. Instead, more constraints can be added (e.g. more declarative constraints) that tell the interpreter to invoke the base restriction clause before invoking its own clause if the base clause succeeded. The compiler can enforce the existence of the clause with exact slot types in the base as shown in Table 150. <tables id="tabl0202" num="0202"><img file="EP1589440A2_D0202.tif" /></tables><tables id="tabl0203" num="0203"><img file="EP1589440A2_D0203.tif" /></tables>

0419The semantics of the invokebase is that the base's restriction clause (both declarative and imperative constraints) must succeed before the clause decorated with invokebase is invoked. If it was desirable to change the semantics (i.e. invoke the derived clause before the base), then other syntax should be used. The "with" clause syntax means that the constraints specified by the clause must be met before the code attached to the clause is executed. Some verbs interchange Goal and Location. For example, "print to my printer" means the same as "print on my printer". The author should not have to code against two different restrictions, depending on how the location is syntactically realized (i.e. "to" vs. "on"). Both restrictions can be surfaced for these verbs, depending on what is authored. In some instances, however, it may be easier to explain to authors that "to" will always be realized as a Goal and forget about trying to explain that for some verbs, Goals can be Location but for others, it cannot.

0420It is important to understand that abstract types cannot be instantiated (i.e. cannot be directly resolved against), but they are useful for polymorphism and for holding common functionality. If the author has written a command for "send mail to Bob", then "send to Bob" should also resolve against that command, even though there is no "mail" in the utterance. However, making this default can create a lot of interpretations. In some embodiments, such functionality may be desirable. If empty entities are allowed and are treated as valid by default, the author can write code at the entity's success clause to reject empty entities. If empty entities are not allowed by default (i.e. if there is not evidence of the entity in the utterance, then it won't resolve), then a slot qualifier could be introduced (such as "optional") that allows commands to accept null entities. In a preferred embodiment, there may be no restriction containing the MailEntity, and the frame or command would explicitly fail resolution, if the author cared to check for this case.

0421Although the present invention has been described with reference to particular embodiments, workers skilled in the art will recognize that changes may be made in form and detail without departing from the spirit and scope of the invention.<img file="EP1589440A2_D0204.tif" /><img file="EP1589440A2_D0205.tif" /><img file="EP1589440A2_D0206.tif" /><img file="EP1589440A2_D0207.tif" /><img file="EP1589440A2_D0208.tif" /><img file="EP1589440A2_D0209.tif" /><img file="EP1589440A2_D0210.tif" /><img file="EP1589440A2_D0211.tif" /><img file="EP1589440A2_D0212.tif" /><img file="EP1589440A2_D0213.tif" /><img file="EP1589440A2_D0214.tif" />