- From: Sahay, Ratnesh <ratnesh.sahay@deri.org>
- Date: Wed, 24 Oct 2007 14:26:58 +0100
- To: <public-owl-wg@w3.org>
- Message-ID: <316ADBDBFE4F4D4AA4FEEF7496ECAEF97B48FC@EVS1.ac.nuigalway.ie>
Hi, I am a PhD student at DERI/NUI, Galway. My research experience involves real-world applications in the healthcare domain. My theoretical interests cover description logics, rules, reasoning under closed vs. open world assumptions, to combine ontological reasoning with contextual reasoning (querying, search, and Enterprise/Web integration scenarios). Applications ============ I was working for E.U project RIDE [http://www.srdc.metu.edu.tr/webpage/projects/ride/], which is now in last dissemination stage, and currently working on Enterprise Ireland project, PPEPR (Plug and Play Electronic Patient Records) [http://ppepr.deri.ie/]. The major focus of both the projects is to achieve interoperability in healthcare environment by realizing semantically enabled service-oriented environment. I am a member of OASIS Semantic Execution Environment (SEE) and International Health Continuum (IHC) TCs. Theoretical =========== Master studies at KTH, Stockholm was the start of my theoretical research life. * I was involved in formal modelling, verification and testing of security protocols with Prof. Mads Dam and Dilian Gurov. My work there was revolving around first-order logic, pi-calculus and Horn clauses for modeling and verifying protocols. * Model-driven techniques/architectures based on the "focus" method where underlying semantics is in higher-order logic. * I worked on various model checkers/theorem provers, like SAT, SPIN, PVS, and Alloy Analyzer. My interest in OWL WG is around RDF(S)-OWL relations, and light-weight forms of OWL (e.g. DL Lite) to apply OWL1.1 in Semantic Web applications, and if doable within the constraints of the charter closed/open world reasoning (contextual part). I will be able to confirm my attendance in F2F meeting by next week (conflict with some project schedule), really looking forward to meet all. Thanks, Ratnesh Semantic Integration in Business (SIB) Cluster Digital Enterprise Research Institute (DERI), NUI Galway, Ireland http://www.deri.ie <http://www.deri.ie/> E-Mail: ratnesh.sahay@deri.org Ph (office): + 353 91 495253 Fax (office): + 353 91 495541
Received on Wednesday, 24 October 2007 13:27:24 UTC