1 / 11

IASI

IASI. Artificial Intelligence and Inference Systems. Head: C. Reynaud. Gemo: Joint team between LRI - Univ. Paris Sud & INRIA Saclay – Île-de-France. Objectives / Scientific Themes. Objective: Developing « Intelligent » Web Information Systems

meryle
Download Presentation

IASI

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  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 Automatesearch, control and optimization tasks Achieve a new quality of service Scientific Themes: -Semantic Web - Peer-to-Peer (P2P) - Data and Web Services +SATSolvers, Diagnosis and diagnosability Franco-Japanese Workshop on Hypotheses Finding and its Applications

  3. Semantic Web C. Reynaud N. Pernelle C. Reynaud F. Saïs F. Saïs “An ontology,asupport to Web Information Retrieval and to the Integrationof Heterogeneous Sources” WebCrawler • Web Information Retrieval • Filtering of documents (D. Mezaour PhD) • Exploiting adaptive ontologies (C. Pruski PhD) WebQueL TARGET • 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 • Semantic Integration of Heterogeneous Sources TaxoMap • Ontology Alignment (H. Kefi PhD - ongoing PhD – F. Hamdi) • Reference Reconciliation (F. Saïs PhD) LN2R • Hidden Web • Automatic discovery, analysis, querying (P. Senellart PhD) Collaboration with Avin Mittal (Bombay), the MOSTRARE project, G. Gottlob (Univ. Oxford) P. Senellart Franco-Japanese Workshop on Hypotheses Finding and its Applications

  4. Web Information Retrieval TOP microoganisme aliment facteur Surface Web Hidden Web Query Expansion Answer Ontology Querying interface Crawling Adaptation Semantic Enrichment Filtering Franco-Japanese Workshop on Hypotheses Finding and its Applications

  5. Exploiting Thematic Web Data Warehouses and Integrated Heterogeneous Sources TOP microoganisme aliment facteur Web Query Answer Ontology Querying interface Crawling Filtering Ontology Alignment Reference Reconciliation Semantic Enrichment Local Schema Local data warehouse XML data warehouse External Source Franco-Japanese Workshop on Hypotheses Finding and its Applications

  6. Peer To Peer Inference Systems C. Reynaud “Integration of Distributed Knowledge” F. Goadoué – P. Chatalic – L. Simon – P. Dague – V. Armant • 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+ • 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 • Discovering of mappings (ongoing PhD – F.-E. Clavier) * registred software Franco-Japanese Workshop on Hypotheses Finding and its Applications

  7. P2P Warehousing I. Manolescu «  Integration of Distributed Data » • P2P Management of XML Data (N. Preda et Radu Pop PhD(CIFRE with Mandriva) Ongoing PhD - S. Zoupanos) KadoP Key idea: XMLindexing 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 • P2P Management of XML Data annotated with Semantic Web Data (WebContent ANR project) Franco-Japanese Workshop on Hypotheses Finding and its Applications

  8. Data and Web Services S. Abiteboul P. Dague • Active XML (P. Bourhis PhD - B. Marinoiu) Active XML 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) • Self-healability Web services (Ongoing PhD - Y. Li – L. Ye) • Modelling complex Web services • Decentralized diagnostic algorithm Collaboration with Yuhong Yan (NRC, Canada) Franco-Japanese Workshop on Hypotheses Finding and its Applications

  9. An Active XML document <?xml version="1.0 " encoding= " UTF-8 " ?> <newspaper xmls= " http://lemonde.fr " xmlns:rss= " http://purl.org/rss " xmlns:axml= " http://activexml.net " > <title>Le Monde</title> <date>1-jan-2009</date> <edition>Paris</edition>  <weather> <axml:call service= forecast@weather.com > <city>Paris</city> <unit>Celsius</unit> </axml:call> </weather> </newspaper> Web Service call Franco-Japanese Workshop on Hypotheses Finding and its Applications

  10. And … L. Simon P. Dague • 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 • 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 Franco-Japanese Workshop on Hypotheses Finding and its Applications

  11. Reports • 2005-2008 IASI report http://www.lri.fr/Eval2008/rapports/iasi.pdf • 2005-2008 LRI report http://www.lri.fr/Eval2008/rapports/ra2008.pdf Franco-Japanese Workshop on Hypotheses Finding and its Applications

More Related