INFOTECH SOFT, INC. Patent applications |
Patent application number | Title | Published |
20140067793 | Query Optimization for SPARQL - 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. | 03-06-2014 |
20140046894 | RESOURCE COMMUNITY TOPIC MODELING WITH SPREADING ACTIVATION - 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. | 02-13-2014 |
20130275354 | HYPOTHESIS VERIFICATION USING ONTOLOGIES - 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. | 10-17-2013 |