Patents Assigned to Clausal Computing Oy
  • Specializing disambiguation of a natural language expression
    Patent number: 8712759
    Abstract: Disambiguation of the meaning of a natural language expression proceeds by constructing a natural language expression, and then incrementally specializing the meaning representation to more specific meanings as more information and constraints are obtained, in accordance with one or more specialization hierarchies between semantic descriptors. The method is generalized to disjunctive sets of interpretations that can be specialized hierarchically.
    Type: Grant
    Filed: October 22, 2010
    Date of Patent: April 29, 2014
    Assignee: Clausal Computing Oy
    Inventor: Tatu J. Ylonen
  • Semantic network clustering influenced by index omissions
    Patent number: 8666923
    Abstract: Some links are omitted from indexes associated with semantic network elements and clustering is influenced by such omissions.
    Type: Grant
    Filed: August 2, 2011
    Date of Patent: March 4, 2014
    Assignee: Clausal Computing Oy
    Inventor: Tatu J. Ylonen
  • Inference over semantic network with some links omitted from indexes
    Patent number: 8660974
    Abstract: An inference system responsive to omitting links from indexes in semantic network elements is described. The inference system prioritizes strategies that avoid trying to follow links from an index from which they may have been omitted.
    Type: Grant
    Filed: August 4, 2011
    Date of Patent: February 25, 2014
    Assignee: Clausal Computing Oy
    Inventor: Tatu J Ylonen
  • Electric sail with voltage multipliers in tethers
    Patent number: 8550404
    Abstract: The effective area of an electric sail depends on the voltage applied to tethers. The use of higher voltages is made possible by moving voltage multipliers to tethers, perhaps 100 meters out from the body of the spacecraft.
    Type: Grant
    Filed: October 29, 2010
    Date of Patent: October 8, 2013
    Assignee: Clausal Computing Oy
    Inventor: Tatu J. Ylonen
  • Garbage collector with concurrent flipping without read barrier and without verifying copying
    Patent number: 8527559
    Abstract: In an object-relocating garbage collector, objects are copied and new copies taken into use concurrently with mutator execution without needing to use a read barrier, and importantly, without requiring verification (read-back) of each copied word and without requiring atomic instructions for the copying. Write barriers, thread-local write barrier buffers and processing them by the garbage collector, and write propagation are used for achieving this.
    Type: Grant
    Filed: May 19, 2011
    Date of Patent: September 3, 2013
    Assignee: Clausal Computing Oy
    Inventor: Tatu J. Ylonen
  • Joint disambiguation of syntactic and semantic ambiguity
    Patent number: 8504355
    Abstract: Ambiguities in a natural language expression are interpreted by jointly disambiguating multiple alternative syntactic and semantic interpretations. More than one syntactic alternative, represented by parse contexts, are analyzed together with joint analysis of referents, word senses, relation types, and layout of a semantic representation for each syntactic alternative. Best combinations of interpretations are selected from all participating parse contexts, and are used to form parse contexts for the next step in parsing.
    Type: Grant
    Filed: November 20, 2009
    Date of Patent: August 6, 2013
    Assignee: Clausal Computing Oy
    Inventor: Tatu J Ylonen
  • Utilizing information from garbage collector in serialization of large cyclic data structures
    Patent number: 8396904
    Abstract: A method for serializing cyclic or shared data structures using information from the garbage collector to determine that some objects in the data structure being serialized cannot have more than one reference.
    Type: Grant
    Filed: January 20, 2009
    Date of Patent: March 12, 2013
    Assignee: Clausal Computing Oy
    Inventor: Tatu J Ylonen
  • Semantic network with selective indexing
    Patent number: 8285664
    Abstract: Indexing overhead in a semantic network is reduced by omitting some links from indexes in semantic network elements in response to one or more omission rules. Inference strategy over the semantic network is modified to prioritize inference strategies in such a way that the impact of the omissions on inference results is minimized.
    Type: Grant
    Filed: November 3, 2009
    Date of Patent: October 9, 2012
    Assignee: Clausal Computing Oy
    Inventor: Tatu J Ylonen
  • Monitoring writes using thread-local write barrier buffers and soft synchronization
    Patent number: 8280866
    Abstract: During garbage collection, writes to objects being copied (relocated) are monitored (tracked) using a write barrier that uses a thread-local write barrier buffer. In the preferred embodiment, soft synchronization is used for reading the thread-local write barrier buffers. In response to detecting a write to an object, the object may be re-copied, the copying may be made to fail, the write may be propagated to another copy of the object, or, e.g., another node in a distributed system may be notified of the write.
    Type: Grant
    Filed: May 5, 2010
    Date of Patent: October 2, 2012
    Assignee: Clausal Computing OY
    Inventors: Tatu J. Ylonen, Tero T. Mononen
  • Saving snapshot of a knowledge base without blocking
    Patent number: 8244682
    Abstract: A consistent snapshot of a large main memory knowledge base is saved to persistent storage without blocking the application for the duration of serializing and writing the knowledge base. Taking the snapshot comprises bringing the knowledge base to a consistent state (in a multithreaded application), using virtual memory facilities to obtain a copy-on-write copy of the knowledge base in memory, and using a separate thread or process to serialize the copy-on-write copy to persistent storage.
    Type: Grant
    Filed: October 23, 2009
    Date of Patent: August 14, 2012
    Assignee: Clausal Computing Oy
    Inventor: Tatu J Ylonen