Dmitry Solomakhin

Publication Activity (10 Years)

Years Active: 2011-2015
Publications (10 Years): 0

Top Topics

Ontology Languages

Extended Abstract

Semantic Enrichment

Top Venues

Description Logics

Fundam. Informaticae

Publications

Riccardo De Masellis, Domenico Lembo, Marco Montali, Dmitry Solomakhin
Semantic Enrichment of GSM-Based Artifact-Centric Models. J. Data Semant. 4 (1) (2015)
Babak Bagheri Hariri, Diego Calvanese, Marco Montali, Ario Santoso, Dmitry Solomakhin
Verification of Semantically-Enhanced Artifact Systems. ICSOC (2013)
Dmitry Solomakhin, Enrico Franconi, Alessandro Mosca
Logic-based Reasoning Support for SBVR. Fundam. Informaticae 124 (4) (2013)
Babak Bagheri Hariri, Diego Calvanese, Marco Montali, Ario Santoso, Dmitry Solomakhin
Verification of Semantically-Enhanced Artifact Systems (Extended Version). CoRR (2013)
Dmitry Solomakhin, Marco Montali, Sergio Tessaris, Riccardo De Masellis
Verification of Artifact-Centric Systems: Decidability and Modeling Issues CoRR (2013)
Dmitry Solomakhin
Medical Process Modeling: an Artifact-Centric Approach CoRR (2013)
Dmitry Solomakhin, Marco Montali, Sergio Tessaris, Riccardo De Masellis
Verification of Artifact-Centric Systems: Decidability and Modeling Issues. ICSOC (2013)
Dmitry Solomakhin, Sergio Tessaris, Marco Montali
Combining Process and Ontological Modeling. DC@AI*IA (2012)
Enrico Franconi, Alessandro Mosca, Dmitry Solomakhin
ORM2: Formalisation and Encoding in OWL2. OTM Workshops (2012)
Enrico Franconi, Alessandro Mosca, Dmitry Solomakhin
ORM2 Encoding into Description Logic (Extended Abstract). Description Logics (2012)
Dmitry Solomakhin, Enrico Franconi, Alessandro Mosca
Logic-based reasoning support for SBVR. CILC (2011)