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:
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:
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. A system for implementing the model-based design and a non-transitory computer readable medium are disclosed.
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:
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:
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 the specification model; and generate a specification model that is human-readable and computer-readable for use in software design. Numerous other aspects are provided.
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:
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 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.