7 Search Results for "Fages, Fran�ois"

Document
Invited Talk
DOI: 10.4230/LIPIcs.ICLP.2010.2
A Logical Paradigm for Systems Biology (Invited Talk)

Authors: François Fages

Published in: LIPIcs, Volume 7, Technical Communications of the 26th International Conference on Logic Programming (2010)

Abstract
Biologists use diagrams to represent complex systems of interaction between molecular species. These graphical notations encompass two types of information: interactions (e.g. protein complexation, modification, binding to a gene, etc.) and regulations (of an interaction or a transcription). Based on these structures, mathematical models can be developed by equipping such molecular interaction networks with kinetic expressions leading to quantitative models of mainly two kinds: ordinary differential equations for a continuous interpretation of the kinetics and continuous-time Markov chains for a stochastic interpretation of the kinetics. Since 2002, we investigate the transposition of programming concepts and tools to the analysis of living processes at the cellular level.
Cite as

François Fages. A Logical Paradigm for Systems Biology (Invited Talk). In Technical Communications of the 26th International Conference on Logic Programming. Leibniz International Proceedings in Informatics (LIPIcs), Volume 7, pp. 2-3, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)

Copy BibTex To Clipboard

@InProceedings{fages:LIPIcs.ICLP.2010.2,
  author =	{Fages, Fran\c{c}ois},
  title =	{{A Logical Paradigm for Systems Biology}},
  booktitle =	{Technical Communications of the 26th International Conference on Logic Programming},
  pages =	{2--3},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-939897-17-0},
  ISSN =	{1868-8969},
  year =	{2010},
  volume =	{7},
  editor =	{Hermenegildo, Manuel and Schaub, Torsten},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2010.2},
  URN =		{urn:nbn:de:0030-drops-25776},
  doi =		{10.4230/LIPIcs.ICLP.2010.2},
  annote =	{Keywords: temporal logic, model-checking, systems biology, hybrid systems}
}
Document
DOI: 10.4230/DagSemProc.06161.3
06161 Working Groups' Report: The Challlenge of Combining Simulation and Verification

Authors: Gregory Batt, Jeremy T. Bradley, Roland Ewald, François Fages, Holger Hermans, Jane Hillston, Peter Kemper, Alke Martens, Pieter Mosterman, Flemming Nielson, Oleg Sokolsky, and Adelinde M. Uhrmacher

Published in: Dagstuhl Seminar Proceedings, Volume 6161, Simulation and Verification of Dynamic Systems (2006)

Abstract
Simulation has found widespread use for experimentation and exploration of the possible impacts of a variety of conditions on a system. In contrast, formal verification is concerned with proving or disproving the correctness of a system with respect to a certain property, using mathematical and logical methods.
Cite as

Gregory Batt, Jeremy T. Bradley, Roland Ewald, François Fages, Holger Hermans, Jane Hillston, Peter Kemper, Alke Martens, Pieter Mosterman, Flemming Nielson, Oleg Sokolsky, and Adelinde M. Uhrmacher. 06161 Working Groups' Report: The Challlenge of Combining Simulation and Verification. In Simulation and Verification of Dynamic Systems. Dagstuhl Seminar Proceedings, Volume 6161, pp. 1-21, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)

Copy BibTex To Clipboard

@InProceedings{batt_et_al:DagSemProc.06161.3,
  author =	{Batt, Gregory and Bradley, Jeremy T. and Ewald, Roland and Fages, Fran\c{c}ois and Hermans, Holger and Hillston, Jane and Kemper, Peter and Martens, Alke and Mosterman, Pieter and Nielson, Flemming and Sokolsky, Oleg and Uhrmacher, Adelinde M.},
  title =	{{06161 Working Groups' Report: The Challlenge of Combining Simulation and Verification}},
  booktitle =	{Simulation and Verification of Dynamic Systems},
  pages =	{1--21},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2006},
  volume =	{6161},
  editor =	{David M. Nicol and Corrado Priami and Hanne Riis Nielson and Adelinde M. Uhrmacher},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.06161.3},
  URN =		{urn:nbn:de:0030-drops-7249},
  doi =		{10.4230/DagSemProc.06161.3},
  annote =	{Keywords: Modelling, Simulation, Verification, Systemsbiology}
}
Document
DOI: 10.4230/DagSemProc.05371.1
05371 Abstracts Collection – Principles and Practices of Semantic Web Reasoning

Authors: François Bry, François Fages, Massimo Marchiori, and Hans-Jürgen Ohlbach

Published in: Dagstuhl Seminar Proceedings, Volume 5371, Principles and Practices of Semantic Web Reasoning (2006)

Abstract
From 11.09.05 to 16.09.05, the Dagstuhl Seminar 05371 ``Principles and Practices of Semantic Web Reasoning'' % generate automaticall was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The first section describes the seminar topics and goals in general. Links to extended abstracts or full papers are provided, if available.
Cite as

François Bry, François Fages, Massimo Marchiori, and Hans-Jürgen Ohlbach. 05371 Abstracts Collection – Principles and Practices of Semantic Web Reasoning. In Principles and Practices of Semantic Web Reasoning. Dagstuhl Seminar Proceedings, Volume 5371, pp. 1-14, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)

Copy BibTex To Clipboard

@InProceedings{bry_et_al:DagSemProc.05371.1,
  author =	{Bry, Fran\c{c}ois and Fages, Fran\c{c}ois and Marchiori, Massimo and Ohlbach, Hans-J\"{u}rgen},
  title =	{{05371 Abstracts Collection –  Principles and Practices of Semantic Web Reasoning}},
  booktitle =	{Principles and Practices of Semantic Web Reasoning},
  pages =	{1--14},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2006},
  volume =	{5371},
  editor =	{Fran\c{c}ois Bry and Fran\c{c}ois Fages and Massimo Marchiori and Hans-J\"{u}rgen Ohlbach},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.05371.1},
  URN =		{urn:nbn:de:0030-drops-4813},
  doi =		{10.4230/DagSemProc.05371.1},
  annote =	{Keywords: Semantic Web, reasoning, rules, ontologies, Advanced Web Applications, rule-based reasoning}
}
Document
DOI: 10.4230/DagSemProc.05371.2
05371 Executive Summary – Principles and Practice of Semantic Web Reasoning (PPSWR)

Authors: Uta Schwertel

Published in: Dagstuhl Seminar Proceedings, Volume 5371, Principles and Practices of Semantic Web Reasoning (2006)

Abstract
The seminar "Principles and Practice of Semantic Web Reasoning" took place from September 11-16, 2005. It was organised by F. Bry (Univ. München, DE), F. Fages (INRIA Rocquencourt, FR), M. Marchiori (MIT – Cambridge, US) and H. J. Ohlbach (Univ. München, DE). The seminar was a forum for discussing various forms of reasoning that are or can be used on the Semantic Web. Moreover, it addressed both reasoning methods for the Semantic Web and Semantic Web applications relying upon various forms of reasoning.
Cite as

Uta Schwertel. 05371 Executive Summary – Principles and Practice of Semantic Web Reasoning (PPSWR). In Principles and Practices of Semantic Web Reasoning. Dagstuhl Seminar Proceedings, Volume 5371, pp. 1-3, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)

Copy BibTex To Clipboard

@InProceedings{schwertel:DagSemProc.05371.2,
  author =	{Schwertel, Uta},
  title =	{{05371 Executive Summary – Principles and Practice of Semantic Web Reasoning (PPSWR)}},
  booktitle =	{Principles and Practices of Semantic Web Reasoning},
  pages =	{1--3},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2006},
  volume =	{5371},
  editor =	{Fran\c{c}ois Bry and Fran\c{c}ois Fages and Massimo Marchiori and Hans-J\"{u}rgen Ohlbach},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.05371.2},
  URN =		{urn:nbn:de:0030-drops-4772},
  doi =		{10.4230/DagSemProc.05371.2},
  annote =	{Keywords: Semantic Web, reasoning, rules, ontologies, Advanced Web Applications, rule-based reasoning}
}
Document
DOI: 10.4230/DagSemProc.05371.3
A General Markup Framework for Integrity and Derivation Rules

Authors: Gerd Wagner, Adrian Giurca, and Sergey Lukichev

Published in: Dagstuhl Seminar Proceedings, Volume 5371, Principles and Practices of Semantic Web Reasoning (2006)

Abstract
We propose a general markup framework for integrity and derivation rules (R2ML). Rule concepts are defined with the help of MOF/UML, a subset of the UML class modeling language proposed by the Object Management Group (OMG) for the purpose of 'meta-modeling', i.e. for defining languages conceptually on the level of an abstract (semi-visual) syntax. From these MOF/UML language models we can obtain concrete markup syntax by applying a mapping procedure for generating corresponding languages from parameterized DTDs.
Cite as

Gerd Wagner, Adrian Giurca, and Sergey Lukichev. A General Markup Framework for Integrity and Derivation Rules. In Principles and Practices of Semantic Web Reasoning. Dagstuhl Seminar Proceedings, Volume 5371, pp. 1-24, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)

Copy BibTex To Clipboard

@InProceedings{wagner_et_al:DagSemProc.05371.3,
  author =	{Wagner, Gerd and Giurca, Adrian and Lukichev, Sergey},
  title =	{{A General Markup Framework for Integrity and Derivation Rules}},
  booktitle =	{Principles and Practices of Semantic Web Reasoning},
  pages =	{1--24},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2006},
  volume =	{5371},
  editor =	{Fran\c{c}ois Bry and Fran\c{c}ois Fages and Massimo Marchiori and Hans-J\"{u}rgen Ohlbach},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.05371.3},
  URN =		{urn:nbn:de:0030-drops-4794},
  doi =		{10.4230/DagSemProc.05371.3},
  annote =	{Keywords: Rule markup languages, integrity rules, derivation rules, rule meta-models}
}
Document
DOI: 10.4230/DagSemProc.05371.4
Description Logic Programs: A Practical Choice For the Modelling of Ontologies

Authors: Pascal Hitzler, York Sure, and Rudi Studer

Published in: Dagstuhl Seminar Proceedings, Volume 5371, Principles and Practices of Semantic Web Reasoning (2006)

Abstract
Knowledge representation using ontologies constitutes the heart of semantic technologies. Despite successful standardization efforts by the W3C, however, there are still numerous different ontology representation languages being used, and interoperability between them is in general not given. The problem is aggrevated by the fact that current standards lay foundations only and are well-known to be insufficient for the modelling of finer details. Thus, a plethora of extensions of the basic languages is being proposed, rendering the picture of ontology representation languages to be chaotic, to say the least. While semantic technologies start to become applicable and are being applied in adjacent areas of research and in research projects with industrial participation, and can soon be expected to become an integral part of industrial applications, the practitioner is faced with the difficult task of choosing his basic ontology representation paradigm. We will argue that the OWL subset known as Description Logic Programs constitutes a very reasonable choice.
Cite as

Pascal Hitzler, York Sure, and Rudi Studer. Description Logic Programs: A Practical Choice For the Modelling of Ontologies. In Principles and Practices of Semantic Web Reasoning. Dagstuhl Seminar Proceedings, Volume 5371, pp. 1-10, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)

Copy BibTex To Clipboard

@InProceedings{hitzler_et_al:DagSemProc.05371.4,
  author =	{Hitzler, Pascal and Sure, York and Studer, Rudi},
  title =	{{Description Logic Programs: A Practical Choice For the Modelling of Ontologies}},
  booktitle =	{Principles and Practices of Semantic Web Reasoning},
  pages =	{1--10},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2006},
  volume =	{5371},
  editor =	{Fran\c{c}ois Bry and Fran\c{c}ois Fages and Massimo Marchiori and Hans-J\"{u}rgen Ohlbach},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.05371.4},
  URN =		{urn:nbn:de:0030-drops-4783},
  doi =		{10.4230/DagSemProc.05371.4},
  annote =	{Keywords: Description Logic Programs}
}
Document
DOI: 10.4230/DagSemProc.05371.5
Faster OWL Using Split Programs

Authors: Pascal Hitzler and Denny Vrandecic

Published in: Dagstuhl Seminar Proceedings, Volume 5371, Principles and Practices of Semantic Web Reasoning (2006)

Abstract
We propose a new technique for approximate ABox reasoning with OWL DL ontologies. Essentially, we obtain substantially improved reasoning performance by disregarding non-Horn features of OWL DL. Our approach comes as a side-product of recent research results concerning a new transformation of OWL DL ontologies into negation-free disjunctive datalog, and rests on the idea of performing standard resolution over disjunctive rules by treating them as if they were non-disjunctive ones. We analyse our reasoning approach by means of non-monotonic reasoning techniques, and present an implementation, called Screech.
Cite as

Pascal Hitzler and Denny Vrandecic. Faster OWL Using Split Programs. In Principles and Practices of Semantic Web Reasoning. Dagstuhl Seminar Proceedings, Volume 5371, pp. 1-2, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)

Copy BibTex To Clipboard

@InProceedings{hitzler_et_al:DagSemProc.05371.5,
  author =	{Hitzler, Pascal and Vrandecic, Denny},
  title =	{{Faster OWL Using Split Programs}},
  booktitle =	{Principles and Practices of Semantic Web Reasoning},
  pages =	{1--2},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2006},
  volume =	{5371},
  editor =	{Fran\c{c}ois Bry and Fran\c{c}ois Fages and Massimo Marchiori and Hans-J\"{u}rgen Ohlbach},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.05371.5},
  URN =		{urn:nbn:de:0030-drops-4803},
  doi =		{10.4230/DagSemProc.05371.5},
  annote =	{Keywords: OWL DL, Approximate Reasoning, Logic Programming}
}
  • Refine by Author
  • 3 Fages, François
  • 2 Hitzler, Pascal
  • 1 Batt, Gregory
  • 1 Bradley, Jeremy T.
  • 1 Bry, François
  • Show More...

  • Refine by Classification

  • Refine by Keyword
  • 2 Advanced Web Applications
  • 2 Semantic Web
  • 2 ontologies
  • 2 reasoning
  • 2 rule-based reasoning
  • Show More...

  • Refine by Type
  • 7 document

  • Refine by Publication Year
  • 6 2006
  • 1 2010

Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail
© 2023-2024 Schloss Dagstuhl – LZI GmbH Imprint Privacy Contact