Abstract: A system, method, and computer-readable medium to extract information from at least one of code and text documentation, the extracted information conforming to a base ontology and being extracted in the context of a knowledge graph; add the extracted information to the knowledge graph; generate, in a mixed interaction with a user selectively in communication with the system, computational models including scientific knowledge; and persist, in a memory, a record of the generated computational models.

Abstract: Provided is a computer system including at least one processor for modeling operations related to capturing domain knowledge. The operations include creating, via the processor, a graph model of inputs to an equation relevant to the domain knowledge. The graph model relates at least one of the inputs to another one of the inputs; and wherein the graph model relates the inputs to an output. The operations also include deriving augmented-type information from the graph model and adding, via the processor, the derived augmented-type information to the equation, the adding facilitating use of the equation by artificial intelligence.

Abstract: A system and a method including accessing a semantic model having a grammar syntax supporting an expression including a combination of at least one of a semantic model class and an instance of a semantic model class; specifying at least one missing property specification for at least one of a semantic model class and an instance of a semantic model class, including constraints for a use of the at least one missing property; adding the at least one missing property specification to the semantic model, the at least one missing property specification added to the semantic model to be referenced in a validation and translation of an expression including a combination of at least one of the class and the instance of a class having one of the at least one missing property specified therewith; and generating a record of the semantic model including the at least one missing property specification added thereto.

Abstract: A system, computer-readable medium, and a method including accessing a semantic model, the semantic model having a grammar syntax supporting a comparison of at least one of a semantic model class and an instance of a semantic model class to an incompatible value; specifying an implied property for at least one of a semantic model class and an instance of a semantic model class in the semantic model, the implied property having an associated range; adding the implied property to the semantic model, the implied property to be referenced in a validation and translation of an expression including at least one of the class and the instance of a class having the implied property specified therewith compared to an incompatible value; and generating a record of the semantic model including the implied property added thereto.

Abstract: A system, method, and computer-readable medium to extract information from at least one of code and text documentation, the extracted information conforming to a base ontology and being extracted in the context of a knowledge graph; add the extracted information to the knowledge graph; generate, in a mixed interaction with a user selectively in communication with the system, computational models including scientific knowledge; and persist, in a memory, a record of the generated computational models.

Abstract: A method for model-based design of safety-critical software is disclosed. The method includes receiving natural-language software requirements, developing a specification model by implementing either semantic modeling or graphical modeling, applying formal requirements analysis to the specification model, auto generating requirements based and robustness test cases from the specification model, developing a design model based on the specification model, applying test cases to the design model, auto-generating source code using the design model, verifying the source code using both test cases and static analysis technology, and compiling executable object code from the verified source code. If a result of the analysis of the software specification or design models is not satisfactory then adjusting the specification or design model to correct any inconsistency, and repeating applying the analysis and test cases.

Abstract: A method for knowledge management using concept rules includes receiving event data corresponding to an industrial application and generating at least one inference concept based on the event data. The method also includes obtaining a semantic model having a plurality of inference concepts, a plurality of relationships among the plurality of inference concepts, and a plurality of concept rules representative of domain knowledge. The plurality of concept rules is authored using the plurality of inference concepts and the plurality of relationships. Furthermore, the method includes processing the at least one inference concept based on the semantic model to generate inferential data. The inferential data is representative of an inference corresponding to the event data. In addition, the method includes controlling the industrial application based on the inferential data.

Abstract: A system and a method including accessing a semantic model having a grammar syntax supporting an expression including a combination of at least one of a semantic model class and an instance of a semantic model class; specifying at least one missing property specification for at least one of a semantic model class and an instance of a semantic model class, including constraints for a use of the at least one missing property; adding the at least one missing property specification to the semantic model, the at least one missing property specification added to the semantic model to be referenced in a validation and translation of an expression including a combination of at least one of the class and the instance of a class having one of the at least one missing property specified therewith; and generating a record of the semantic model including the at least one missing property specification added thereto.

Abstract: A system, computer-readable medium, and a method including accessing a semantic model, the semantic model having a grammar syntax supporting a comparison of at least one of a semantic model class and an instance of a semantic model class to an incompatible value; specifying an implied property for at least one of a semantic model class and an instance of a semantic model class in the semantic model, the implied property having an associated range; adding the implied property to the semantic model, the implied property to be referenced in a validation and translation of an expression including at least one of the class and the instance of a class having the implied property specified therewith compared to an incompatible value; and generating a record of the semantic model including the implied property added thereto.

Abstract: According to some embodiments, a system includes a communication device operative to communicate with a user to obtain the one or more requirements associated with a specification model for a semantic module; a semantic module to receive the one or more requirements, store the one or more requirements and transform the one or more requirements into a semantic model; a specification module to receive the semantic model, store the semantic model, translate the semantic model and generate a specification model; a memory for storing program instructions; at least one specification model platform processor, coupled to the memory, and in communication with the specification module and the semantic module and operative to execute program instructions to: transform the one or more requirements into a semantic model by executing the semantic module; translate the semantic model into a graphical model by executing the specification module; and modify the graphical model by executing the specification module to generate

Abstract: Disclosed are systems, methods, and machine-readable storage media for converting process data extracted from one or more data source systems into a data-source-independent intermediate representation, and then applying a domain-specific semantic ontology to the intermediate representation to create a semantic representation of the process data. The intermediate representation may specify, for each instances of a process object within a process flow, a unique identifier, a set of observations, and references to process-object instance immediately preceding or following the process-object instance at issue.

Abstract: A method for model-based design of safety-critical software is disclosed. The method includes receiving natural-language software requirements, developing a specification model by implementing either semantic modeling or graphical modeling, applying formal requirements analysis to the specification model, auto generating requirements based and robustness test cases from the specification model, developing a design model based on the specification model, applying test cases to the design model, auto-generating source code using the design model, verifying the source code using both test cases and static analysis technology, and compiling executable object code from the verified source code. If a result of the analysis of the software specification or design models is not satisfactory then adjusting the specification or design model to correct any inconsistency, and repeating applying the analysis and test cases.

Abstract: According to some embodiments, a system includes a communication device operative to communicate with a user to obtain the one or more requirements associated with a specification model for a semantic module; a semantic module to receive the one or more requirements, store the one or more requirements and transform the one or more requirements into a semantic model; a specification module to receive the semantic model, store the semantic model, translate the semantic model and generate a specification model; a memory for storing program instructions; at least one specification model platform processor, coupled to the memory, and in communication with the specification module and the semantic module and operative to execute program instructions to: transform the one or more requirements into a semantic model by executing the semantic module; translate the semantic model into a graphical model by executing the specification module; and modify the graphical model by executing the specification module to generate

Abstract: Embodiments allow blocking and featurization of time-series data gathered from at least one sensor. The input time-series data is divided into blocks with common attributes (features) according to feature models that describe patterns in the data. The blocks may be overlapping or non-overlapping. The resultant feature blocks are annotated with feature information and semantic meaning. The feature blocks can be indexed to facilitate semantic search of the data. Feature blocks may be further analyzed to create semantic blocks that incorporate semantic meaning and features for multiple feature blocks, sensors and/or related time-series data. The semantic blocks can also be indexed to facilitate semantic search of the data.

Abstract: According to some embodiments, a document associated with an artifact may be received, the document being at least partially unstructured. In an unstructured portion of the document, an extraction platform may automatically detect a first characteristic. The extraction platform may also automatically detect a second characteristic in the unstructured portion of the document. Using the first and second characteristics, a structured semantic model representing the artifact may automatically be created.

Abstract: The present disclosure relates to the use of both semantic analysis and statistical text mining to process data records, improving the completeness and accuracy of records so processed. By way of example, a data record may be iteratively processed by text mining using seeds derived from a semantic template and by validating the results based on semantic reasoning based on the semantic template.

Abstract: Computerized methods for translating semantic models and rules into procedural code are described. The methods identify variables present in triples in both the rule conclusion and premise along with properties of the triples that identify a procedural function to incorporate procedural code generated in lieu of the semantic rule. The method further determines if the premise triples comprising variables that are subjects of conclusion triples are “type” statements. Additionally, the domain of the property of the triples in the rule premise and/or conclusion that are not “type” statements but bind the subject variables are also determined. The procedural function is then associated with procedural classes translated from the intersection of semantic classes identified by the premise triples determined to be “type” statements and the classes identified as the domain of the conclusion or premise triples that comprise the subject variables but are not “type” statements.

Abstract: Systems and methods for the substantially automatic creation of ontologies from unstructured documents identify phrases and core noun phrases from the respective documents. Links can be extracted from the documents. Concepts can be identified from the documents. Ontologies can be automatically created for the documents. The processing is domain independent.

Abstract: Systems and methods for the substantially automatic creation of ontologies from unstructured documents identify phrases and core noun phrases from the respective documents. Links can be extracted from the documents. Concepts can be identified from the documents. Ontologies can be automatically created for the documents. The processing is domain independent.

Abstract: The present invention provides a method for transferring data between source and target databases in a computer system that can adapt to changes in the schema of the source database and/or target database. This adaptability is achieved by determining the intersection of the source and target database schemas prior to a transfer of data between the databases. Since the intersection is determined prior to a transfer, changes in the schema of the source and/or target database are automatically accommodated. In one embodiment, the method includes the ability to specify the desired frequency with which data is to be transferred between source and target databases. The method, which is implemented as a computer program, is also capable of operating in a computer system in which other tasks are competing for processor time.