IASI

1
IASI
Artificial Intelligence and Inference Systems

• Head
• C. Reynaud

Gemo Joint team between LRI - Univ. Paris Sud
INRIA Saclay Île-de-France
2
Objectives / Scientific Themes

• Objective Developing  Intelligent  Web
  Information Systems
• dealing with numerous, highly heterogeneous and
  distributed information
• - providing fast access to meaningful data

Automate search, control and optimization tasks
Achieve a new quality of service
Scientific Themes
- Semantic Web - Peer-to-Peer (P2P) - Data
and Web Services SAT Solvers, Diagnosis and
diagnosability
3
Semantic Web
An ontology, a support to Web Information
Retrieval and to the Integration of Heterogeneous
Sources
WebCrawler

1. Web Information Retrieval

• Filtering of documents (D. Mezaour PhD)
• Exploiting adaptive ontologies (C. Pruski PhD)

WebQueL
TARGET

1. Semantic Annotation of Web Documents

XTab2SML

• Annotation of tables (F. Saïs PhD)
• Annotation of more or less structured documents
  (ongoing PhD - M. Thiam)

SHIRI-Annot

1. Semantic Integration of Heterogeneous Sources

TaxoMap

• Ontology Alignment (H. Kefi PhD - ongoing PhD
  F. Hamdi)
• Reference Reconciliation (F. Saïs PhD)

LN2R

1. Hidden Web

• Automatic discovery, analysis, querying (P.
  Senellart PhD)

Collaboration with Avin Mittal (Bombay), the
MOSTRARE project, G. Gottlob (Univ. Oxford)
P. Senellart
4
Web Information Retrieval
Surface Web Hidden Web
Query
Answer
Expansion
Ontology
Querying interface
Crawling
Adaptation
Semantic Enrichment
Filtering
5
Exploiting Thematic Web Data Warehouses and
Integrated Heterogeneous Sources
Web
Query
Answer
Ontology
Querying interface
Crawling
Filtering
Ontology Alignment
Reference Reconciliation
Semantic Enrichment
Local Schema
Local data warehouse
XML data warehouse
External Source
6
Peer To Peer Inference Systems
Integration of Distributed Knowledge
F. Goadoué P. Chatalic L. Simon P. Dague
V. Armant

1. Distributed Reasoning

SomeWhere

• Decentralized consequence finding algorithm (P.
  Adjiman PhD)
• Reasoning in possibly inconsistent systems (N.
  Gia Hien PhD)
• Trust modeling (N. Gia Hien PhD)
• Conservative extension of a peer (ongoing PhD
  N. Abdallah)
• Diagnosis in P2P framework (ongoing PhD V.
  Armant)

SomeWhere

1. P2P Data management Systems (PDMS) for the
   Semantic Web (P. Adjiman PhD)

SomeOWL

• PDMSs based on OWL and RDFS
• Query rewriting algorithms
• Scalability

SomeRDFS
SpyWhere

1. Discovering of mappings (ongoing PhD F.-E.
   Clavier)

registred software
7
P2P Warehousing
  Integration of Distributed Data

1. P2P Management of XML Data

(N. Preda et Radu Pop PhD (CIFRE with Mandriva)
Ongoing PhD - S. Zoupanos)
KadoP
Key idea XML indexing and query optimization
using distributed hash tables (DHTs) and
ActiveXML technology
OptimAX

• Scalable management of XML data in P2P networks
  based on distributed hash tables (DHTs)
• Query optimization

Collaboration with the BD group Y.
Papakonstantinou (UCSD) N. Polyzotis (UCSC)
Scales to millions of XML documents Open-source
system
SomeRDFS KadoP OptimAX

1. P2P Management of XML Data annotated with
   Semantic Web Data (WebContent ANR project)

8
Data and Web Services

1. Active XML

Active XML
(P. Bourhis PhD - B. Marinoiu)
AXML is a declarative language for distributed
information management and an infrastructure to
support the language in a P2P framework
Simple idea
XML documents with embedded service calls

• Support intentional and dynamic data (some data
  are given via service calls)
• Algebra and calculus
• Monitoring
• Verification (Docflow)
• Prototype in Open Source

Collaboration with T. Milo (Univ. of Tel Aviv),
O. Benjelloun (Google Research), V. Vianu (UCSD)

1. Self-healability Web services

(Ongoing PhD - Y. Li L. Ye)

• Modelling complex Web services
• Decentralized diagnostic algorithm

Collaboration with Yuhong Yan (NRC, Canada)
9
An Active XML document
lt?xml version"1.0 " encoding " UTF-8 "
?gt ltnewspaper xmls " http//lemonde.fr "
xmlnsrss " http//purl.org/rss "
xmlnsaxml " http//activexml.net "
gt lttitlegtLe Mondelt/titlegt ltdategt1-jan-2009lt/dategt
lteditiongtParislt/editiongt  ltweathergt
ltaxmlcall service forecast_at_weather.com gt
ltcitygtParislt/citygt
ltunitgtCelsiuslt/unitgt lt/axmlcallgt lt/weathergt
lt/newspapergt
Web Service call
10
And

1. SAT Solvers

• Organization of the international SAT contest
  since 2002
• Algorithm experimentations
• Working on incomplete algorithms for
  unsatisfiability

GUNSAT
Collaboration with the CRIL Lab. of Lens

1. Diagnosis and diagnosability

• On-line diagnosis of embedded systems (ongoing
  PhD M. Batteux, CIFRE)
• Diagnosability analysis
• - formalization
• - probabilistic diagnosability analysis
• - link between observability and
  diagnosability
• - distributed diagnosability checking

11
Reports

1. 2005-2008 IASI report

http//www.lri.fr/Eval2008/rapports/iasi.pdf

1. 2005-2008 LRI report

http//www.lri.fr/Eval2008/rapports/ra2008.pdf