Abstract: The invention relates to a viewing system for use in a surgical environment. Various real object detection devices detect locations of real objects in a real environment, such as a patient and body part of patient, medical staff, robots, a cutting tool on a robot, implant transferred by robot into body part, surgical tools, and disposable items. A map generator generates a map that forms a digital representation or a digital twin of the real environment. Various guiding modules including a room setup module, an anatomy registration module, a surgical planning module, and a surgical execution module make use of the digital representation to guide virtual or real objects based on the digital representation.

Abstract: The invention relates to a viewing system for use in a surgical environment. Various real object detection devices detect locations of real objects in a real environment, such as a patient and body part of patient, medical staff, robots, a cutting tool on a robot, implant transferred by robot into body part, surgical tools, and disposable items. A map generator generates a map that forms a digital representation or a digital twin of the real environment. Various guiding modules including a room setup module, an anatomy registration module, a surgical planning module, and a surgical execution module make use of the digital representation to guide virtual or real objects based on the digital representation.

Abstract: The invention relates to a viewing system for use in a surgical environment. Various real object detection devices detect locations of real objects in a real environment, such as a patient and body part of patient, medical staff, robots, a cutting tool on a robot, implant transferred by robot into body part, surgical tools, and disposable items. A map generator generates a map that forms a digital representation or a digital twin of the real environment. Various guiding modules including a room setup module, an anatomy registration module, a surgical planning module, and a surgical execution module make use of the digital representation to guide virtual or real objects based on the digital representation.

Abstract: A computer-implemented system within a computational cluster for aggregating data from a plurality of heterogeneous data sets into a homogeneous representation within a distributed, fault tolerant data source for the subsequent high-throughput retrieval, integration, and analysis of constituent data regardless of original data source location, data source format, and data encoding is configured for reading an input data set, generating a source data model based on the input data set, generating a vocabulary annotation and a profile of said source data model, executing semantic processing on said source data model so as to produce a normalized model based on standard ontology axioms and expanding the normalized model to identify and make explicit all implicit ontology axioms, and executing semantic querying on said data model using parallelized ontology reasoning based on an Enhance Most-Specific-Concept (MSC) algorithm.

Abstract: A computer-implemented system within a computational cluster for aggregating data from a plurality of heterogeneous data sets into a homogeneous representation within a distributed, fault tolerant data source for the subsequent high-throughput retrieval, integration, and analysis of constituent data regardless of original data source location, data source format, and data encoding is configured for reading an input data set, generating a source data model based on the input data set, generating a vocabulary annotation and a profile of said source data model, executing semantic processing on said source data model so as to produce a normalized model based on standard ontology axioms and expanding the normalized model to identify and make explicit all implicit ontology axioms, and executing semantic querying on said data model using parallelized ontology reasoning based on an Enhance Most-Specific-Concept (MSC) algorithm.

Abstract: A system comprising a cluster of computers for ingesting and analyzing data sets that together comprise of at least one gigabyte is disclosed. The system is configured for reading an input data set, generating a source data model based on the input data set, generating a vocabulary annotation and a profile of said source data model, executing semantic processing on models including said source data model, so as to produce a target data model, said semantic processing including: 1) executing semantic integration of said data models and constructing said target data model, and 2) defining a transformation from the data models to said target data model, executing said transformation so as to populate said target data model with a transformed data set, and executing semantic querying on said target data model, using an ontology defined by said target model and using parallelized ontology reasoning.

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.

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.

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.

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.

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.

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.