Dmitry Solomakhin

According to our database, Dmitry Solomakhin authored at least 9 papers between 2012 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

Semantic Enrichment of GSM-Based Artifact-Centric Models.

Riccardo De Masellis, Domenico Lembo, Marco Montali, Dmitry Solomakhin

J. Data Semant., 2015

2013

Logic-based Reasoning Support for SBVR.

Dmitry Solomakhin, Enrico Franconi, Alessandro Mosca

Fundam. Informaticae, 2013

Medical Process Modeling: an Artifact-Centric Approach

Dmitry Solomakhin

CoRR, 2013

Verification of Semantically-Enhanced Artifact Systems (Extended Version).

Babak Bagheri Hariri, Diego Calvanese, Marco Montali, Ario Santoso, Dmitry Solomakhin

CoRR, 2013

Verification of Artifact-Centric Systems: Decidability and Modeling Issues.

Dmitry Solomakhin, Marco Montali, Sergio Tessaris, Riccardo De Masellis

Proceedings of the Service-Oriented Computing - 11th International Conference, 2013

Verification of Semantically-Enhanced Artifact Systems.

Babak Bagheri Hariri, Diego Calvanese, Marco Montali, Ario Santoso, Dmitry Solomakhin

Proceedings of the Service-Oriented Computing - 11th International Conference, 2013

2012

ORM2: Formalisation and Encoding in OWL2.

Enrico Franconi, Alessandro Mosca, Dmitry Solomakhin

Proceedings of the On the Move to Meaningful Internet Systems: OTM 2012 Workshops, 2012

ORM2 Encoding into Description Logic (Extended Abstract).

Enrico Franconi, Alessandro Mosca, Dmitry Solomakhin

Proceedings of the 2012 International Workshop on Description Logics, 2012

Combining Process and Ontological Modeling.

Dmitry Solomakhin, Sergio Tessaris, Marco Montali

Proceedings of the Doctoral Consortium of the 12th Symposium of the Italian Association for Artificial Intelligence, 2012