Search Results

Documents authored by Ohlbach, Hans Jürgen

Found 2 Possible Name Variants:

Ohlbach, Hans Jürgen

Document
DOI: 10.4230/DagSemRep.70
Automated Practical Reasoning and Argumentation (Dagstuhl Seminar 9334)

Authors: Dov M. Gabbay and Hans Jürgen Ohlbach

Published in: Dagstuhl Seminar Reports. Dagstuhl Seminar Reports, Volume 1 (2021)

Abstract
Cite as

Dov M. Gabbay and Hans Jürgen Ohlbach. Automated Practical Reasoning and Argumentation (Dagstuhl Seminar 9334). Dagstuhl Seminar Report 70, pp. 1-28, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (1993)

Copy BibTex To Clipboard

@TechReport{gabbay_et_al:DagSemRep.70,
  author =	{Gabbay, Dov M. and Ohlbach, Hans J\"{u}rgen},
  title =	{{Automated Practical Reasoning and Argumentation (Dagstuhl Seminar 9334)}},
  pages =	{1--28},
  ISSN =	{1619-0203},
  year =	{1993},
  type = 	{Dagstuhl Seminar Report},
  number =	{70},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.70},
  URN =		{urn:nbn:de:0030-drops-149583},
  doi =		{10.4230/DagSemRep.70},
}

Ohlbach, Hans-Jürgen

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.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.05151.6
Computational Treatment of Temporal Notions – The CTTN-System

Authors: Hans-Jürgen Ohlbach

Published in: Dagstuhl Seminar Proceedings, Volume 5151, Annotating, Extracting and Reasoning about Time and Events (2005)

Abstract
The CTTN-system is a computer program which provides advanced processing or temporal notions. The basic data structures of the CTTN-system are time points, crisp and fuzzy time intervals, labelled partitionings of the time line, durations, and calendar systems. The labelled partitionings are used to model periodic temporal notions, quite regular ones like years, months etc., partially regular ones like timetables, but also very irregular ones like, for example, dates of a conference series. These data structures can be used in the temporal specification language GeTS (GeoTemporal Specifications). GeTS is a functional specification and programming language with a number of built-in constructs for specifying customized temporal notions. CTTN is implemented as a Web server and as a C++ library. This paper gives a short overview over the current state of the system and its components.
Cite as

Hans-Jürgen Ohlbach. Computational Treatment of Temporal Notions – The CTTN-System. In Annotating, Extracting and Reasoning about Time and Events. Dagstuhl Seminar Proceedings, Volume 5151, pp. 1-8, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)

Copy BibTex To Clipboard

@InProceedings{ohlbach:DagSemProc.05151.6,
  author =	{Ohlbach, Hans-J\"{u}rgen},
  title =	{{Computational Treatment of Temporal Notions – The CTTN-System}},
  booktitle =	{Annotating, Extracting and Reasoning about Time and Events},
  pages =	{1--8},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2005},
  volume =	{5151},
  editor =	{Graham Katz and James Pustejovsky and Frank Schilder},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.05151.6},
  URN =		{urn:nbn:de:0030-drops-3115},
  doi =		{10.4230/DagSemProc.05151.6},
  annote =	{Keywords: Formalizing temporal notions}
}
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 About DROPS Imprint Privacy Contact