7 Search Results for "Bry, Fran�ois"


Document
Invited Talk
Simulation Unification: Beyond Querying Semistructured Data (Invited Talk)

Authors: François Bry and Sebastian Schaffert

Published in: LIPIcs, Volume 17, Technical Communications of the 28th International Conference on Logic Programming (ICLP'12) (2012)


Abstract
This article first reminds of simulation unification, a non-standard unification proposed at the 18th International Conference on Logic Programming (ICLP 2002) for making logic programming capable of querying semistructured data on the Web. This article further argues that, beyond querying semistructured data on the Web, simulation unification has a potential for Web querying of multimedia data and semantic metadata and for Web searching of data of all kinds.

Cite as

François Bry and Sebastian Schaffert. Simulation Unification: Beyond Querying Semistructured Data (Invited Talk). In Technical Communications of the 28th International Conference on Logic Programming (ICLP'12). Leibniz International Proceedings in Informatics (LIPIcs), Volume 17, pp. 1-13, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)


Copy BibTex To Clipboard

@InProceedings{bry_et_al:LIPIcs.ICLP.2012.1,
  author =	{Bry, Fran\c{c}ois and Schaffert, Sebastian},
  title =	{{Simulation Unification: Beyond Querying Semistructured Data}},
  booktitle =	{Technical Communications of the 28th International Conference on Logic Programming (ICLP'12)},
  pages =	{1--13},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-939897-43-9},
  ISSN =	{1868-8969},
  year =	{2012},
  volume =	{17},
  editor =	{Dovier, Agostino and Santos Costa, V{\'\i}tor},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2012.1},
  URN =		{urn:nbn:de:0030-drops-36060},
  doi =		{10.4230/LIPIcs.ICLP.2012.1},
  annote =	{Keywords: Simulation Unification, (Semantic) Web Querying}
}
Document
Twelve Theses on Reactive Rules for the Web

Authors: François Bry and Michael Eckert

Published in: Dagstuhl Seminar Proceedings, Volume 7191, Event Processing (2007)


Abstract
Reactivity, the ability to detect and react to events, is an essential functionality in many information systems. In particular, Web systems such as online marketplaces, adaptive (e.g., recommender) sys- tems, and Web services, react to events such as Web page updates or data posted to a server. This article investigates issues of relevance in designing high-level programming languages dedicated to reactivity on the Web. It presents twelve theses on features desirable for a language of reactive rules tuned to programming Web and Semantic Web applications.

Cite as

François Bry and Michael Eckert. Twelve Theses on Reactive Rules for the Web. In Event Processing. Dagstuhl Seminar Proceedings, Volume 7191, pp. 1-6, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)


Copy BibTex To Clipboard

@InProceedings{bry_et_al:DagSemProc.07191.9,
  author =	{Bry, Fran\c{c}ois and Eckert, Michael},
  title =	{{Twelve Theses on Reactive Rules for the Web}},
  booktitle =	{Event Processing},
  pages =	{1--6},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2007},
  volume =	{7191},
  editor =	{Mani Chandy and Opher Etzion and Rainer von Ammon},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.07191.9},
  URN =		{urn:nbn:de:0030-drops-11445},
  doi =		{10.4230/DagSemProc.07191.9},
  annote =	{Keywords: Event-Condition-Action Rules, Web}
}
Document
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
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
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
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
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 Bry, François
  • 2 Hitzler, Pascal
  • 1 Eckert, Michael
  • 1 Fages, François
  • 1 Giurca, Adrian
  • 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
  • 5 2006
  • 1 2007
  • 1 2012

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