W3C home > Mailing lists > Public > public-owl-wg@w3.org > October 2007

Re: Introductions

From: Sahay, Ratnesh <ratnesh.sahay@deri.org>
Date: Wed, 24 Oct 2007 14:26:58 +0100
Message-ID: <316ADBDBFE4F4D4AA4FEEF7496ECAEF97B48FC@EVS1.ac.nuigalway.ie>
To: <public-owl-wg@w3.org>
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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 8 January 2008 14:13:26 GMT