A method for semantic representation supporting multiple formalisms includes providing a business modeling space (BMS) and a corresponding semantic modeling space (SMS). An inter-layer connection bridge (ILCB) automatically performs transformations between at least one domain specific layer (DSL) and a BPMN layer within the BMS and stores a respective link generated from each transformation in a connect layer of an ILCB layer. A semantically compatible mapping is defined between the BMS and the SMS for each of the at least one DSL, BPMN layer, ILCB layer, and connect layer. Each of the at least one DSL, BPMN layer, and ILCB layer are transformed from the BMS into a corresponding context in the SMS based on the semantically compatible mappings. The connect layer is encoded as at least one explicit bridge rule which connects the corresponding contexts within the SMS.
Please help me write a proper abstract based on the patent claims. CLAIM: 1. A method for semantic representation supporting multiple formalisms comprising: providing, in memory, a business modeling space (BMS) and a corresponding semantic modeling space (SMS); within the BMS, automatically transforming data between at least one domain specific layer (DSL) and a Business Process Model and Notation (BPMN) layer with an inter-layer connection bridge (ILCB) and storing a respective link generated from each transformation in a connect layer of a layer of the ILCB; defining a semantically compatible mapping between the BMS and the SMS for each of the at least one DSL, BPMN layer, ILCB layer, and connect layer; transforming each of the at least one DSL, BPMN layer, and ILCB layer from the BMS into a corresponding context in the SMS based on the semantically compatible mappings; and within the SMS, encoding the connect layer as at least one explicit bridge rule which connects the corresponding contexts of the at least one DSL, BPMN layer, and ILCB layer; wherein at least one of the automatically transforming data between the at least one DSL and the BPMN layer, transforming into the corresponding context in the SMS, and encoding the connect layer is performed with a processor. 2. The method of claim 1, further comprising defining each one of the at least one DSL, BPMN layer, and ILCB as a tuple including a unique identifier of the layer, a language of the layer, a non-empty set of expressions written in the language of the layer and representing a knowledge of the layer, and a set of assumptions related to the layer. 3. The method of claim 1, further comprising defining each corresponding context in the SMS as a tuple including a unique identifier of the context, a formal logic of the context, a knowledge base of the context, and the set of bridge rules which connect the contexts. 4. The method of claim 1, wherein the semantically compatible mappings preserve well-formedness. 5. The method of claim 4, wherein defining the semantically compatible mappings includes partially mapping a knowledge of each layer to a knowledge base of a formal logic of the corresponding context to define a knowledge mapping. 6. The method of claim 5, further comprising partially mapping the knowledge of each of the at least one DSL, BPMN layer, and ILCB layer to a knowledge base of the corresponding context to define a layer-specific knowledge mapping. 7. The method of claim 4, wherein defining the semantically compatible mappings includes partially mapping a knowledge of the connect layer to the set of bridge rules which connect the contexts. 8. The method of claim 1, wherein the corresponding contexts in the SMS are generated in a plurality of formalisms. 9. The method of claim 8, wherein the plurality of formalisms include a web ontology language and an Answer-Set programming formalism. 10. The method of claim 1, further comprising manipulating the SMS by adding additional bridge rules. 11. The method of claim 10, further comprising providing for identifying an inconsistency between contexts, the inconsistency being based on the additional bridge rules. 12. The method of claim 1, further comprising providing for receiving a query and outputting information based on the semantically compatible mappings. 13. The method of claim 12, wherein the outputting information is based on an inference associated with an external ontology. 14. The method of claim 13, wherein the inference is a temporal inference. 15. A computer program product comprising a non-transitory recording medium storing instructions, which when executed on a computer, causes the computer to perform the method of claim 1. 16. A system comprising memory which stores instructions for performing the method of claim 1 and a processor in communication with the memory for executing the instructions. 17. A system for semantic representation supporting multiple formalisms comprising: a business modeling space (BMS) and a corresponding semantic modeling space (SMS); within the BMS, at least one domain specific layer (DSL), a Business Process Model and Notation (BPMN) layer, and an inter-layer connection bridge (ILCB) having an associated ILCB layer which automatically transforms data from at least one of: the at least one DSL to the BPMN layer, and the BPMN layer to the at least one DSL, and stores a set of links generated from each transformation in a connect layer of the ILCB layer; a semantic representation component which: (a) receives a semantically compatible mapping defined between the BMS and the SMS for each of the at least one DSL, BPMN layer, ILCB layer, and connect layer; (b) transforms each of the at least one DSL, BPMN layer, and ILCB layer from the BMS into a corresponding context in the SMS based on the semantically compatible mappings; (c) within the SMS, encodes each respective connect layer as at least one explicit bridge rule which connect the corresponding contexts of the at least one DSL, BPMN layer, and ILCB layer; and a processor which implements the semantic representation component. 18. The system of claim 17, further comprising a querying and reporting component which receives an input query and outputs information based on the semantically compatible mappings. 19. The system of claim 17, further comprising a first business process tool which generates the at least one DSL and a second business process tool which generates the BPMN layer. 20. A method for semantic representation supporting multiple formalisms comprising: transforming from a business modeling space (BMS) to a semantic modeling space (SMS) comprising: mapping at least one domain specific layer (DSL) from the BMS to a corresponding context in the SMS, the corresponding context being generated in a first formalism; mapping a BPMN layer from the BMS to a corresponding context in the SMS, the corresponding context being generated in a second formalism; mapping an inter-layer connection bridge (ILCB) layer from the BMS to a corresponding context in the SMS, the corresponding context being generated in a third formalism; mapping a connect layer generated in the BMS to a set of corresponding bridge rules in the SMS, the connect layer being generated by a transformation between the at least one DSL and the BPMN layer; transforming each of the at least one DSL, BPMN layer, ILCB layer, and the connect layer from the BMS to the SMS based on the respective mapping; and adding additional knowledge to the SMS in each of the corresponding contexts, the additional knowledge being generated in a fourth formalism, wherein at least one of the first, second, third, and fourth formalisms is different from another one of the at least one of the first, second, third, and fourth formalisms and wherein the transforming from the BMS to the SMS is performed with a processor.