Patents

Resource community topic modeling with spreading activation
US Patent US 20140046894 A1 awarded for “Resource community topic modeling with spreading activation“. December 10, 2014
Abstract
The present invention relates to computer implemented methods and system for determining relevance measures for computational resources based on their relatedness to a user’s interests. The methods and systems are designed to accept as inputs a collection of unstructured textual data related to resources, and a structured graph of the relationships between resources, to calculate probability distributions of resources over latent communities discovered from the unstructured textual data, to activate the structured graph with these probability distributions, and to spread this activation throughout the graph in a fixed number of iterations. The result of these methods and of the systems implementing these methods is a set of relevance measures attached to the resources in the structured graph.

Query Optimization for SPARQL
US Patent US 20140067793 A1 awarded for “Query Optimization for SPARQL“. March 6, 2014
Abstract
The present invention relates to computer implemented methods and system for creating and executing an query plan for SPARQL Protocol And Query Language (SPARQL) queries. The methods and systems are designed to accept as input a query in SPARQL syntax, convert this query to semQA2 and generate a parse tree, perform filter pushdown, generate an efficient query plan potentially using a cost function, and execute this query plan against data sources complying to or modeled as Resource Description Framework (RDF). The result of these methods and of the systems implementing these methods is a set of triples contained in the data sources that comprise a solution of the SPARQL query provided.

Automated verification of hypotheses using ontologies
US Patent US 20130275345 A1 awarded for “Automated verification of hypotheses using ontologies“. October 17, 2013
Abstract
A method on a computer for determining whether a hypothesis is verified by one or more ontologies. The method includes reading an address for a hypothesis comprised of one or more hypothesis axioms, wherein an axiom is represented in description logic form, reading an address for an ontology comprised of one or more ontology axioms and accessing the hypothesis and the ontology using the addresses that were read. The method further includes determining whether the ontology either corroborates or contradicts the hypothesis, identifying a first set of ontology axioms that corroborate the hypothesis and identifying a second set of ontology axioms that contradict the hypothesis, displaying a graphic indicating either corroboration or contradiction of the hypothesis, displaying the first set of ontology axioms together with a graphic indicating corroboration of the hypothesis and displaying the second set of ontology axioms together with a graphic indicating contradiction of the hypothesis.

Hypothesis verification using ontologies
US Patent US 20130275354 A1 awarded for “Hypothesis verification using ontologies“. October 17, 2013
Abstract
The present invention relates to computer implemented methods and system for verifying hypotheses against ontologies. The methods and systems are designed to accept as inputs a set of axioms and/or assertions constituting a hypothesis, and a set of ontology axioms and/or assertions assumed to be true; determine whether the axioms and assertions constituting the hypothesis are either supported or contradicted by the axioms and assertions in the ontology, and extract the specific ontology axioms and/or assertions that either support or contradict the hypothesis. The result of these methods and of the systems implementing these methods is an indication on whether the hypothesis is supported by the ontology, contradicted by it, or neither supported nor contradicted by it, and if either supported or contradicted, the set of axioms and/or assertions from the ontology that cause the support or contradiction of the hypothesis.

Ontology alignment with semantic validation
US Patent US 20100131516 A1 awarded for “Ontology alignment with semantic validation“. May 27, 2010
Abstract
The present invention relates to computer implemented methods and system for determining correspondences between terms in two or more ontologies. The methods and systems are designed to accept as inputs ontologies in Web Ontology Language (OWL) syntax or any other ontology syntax, to calculate a similarity measure between terms in the ontologies, extract an alignment based on this similarity measure, and verify this alignment according to the semantics contained in the ontologies. This process is designed to be executed iteratively until the similarity measures converge, or until another suitable finalization condition is met. The result of these methods and of the systems implementing these methods is an alignment between two or more ontologies establishing semantic correspondences between the terms in the ontologies.