Hans Jürgen Ohlbach

Publication Activity (10 Years)

Years Active: 1983-2012
Publications (10 Years): 0

Top Venues

KEOD

Kaiserslautern University of Technology, Germany (PHD)

Education History

Kaiserslautern University of Technology, Germany

PHD

Publications

Hans Jürgen Ohlbach
Java2OWL: A System for Synchronising Java and OWL. KEOD (2012)
Christian Hänsel, Hans Jürgen Ohlbach, Edgar-Philipp Stoffel
L-DSMS - A Local Data Stream Management System. ECSA (2008)
François Bry, Bernhard Lorenz, Hans Jürgen Ohlbach, Martin Roeder, Marc Weinberger
The Facility Control Markup Language FCML. ICDS (2008)
Edgar-Philipp Stoffel, Korbinian Schoder, Hans Jürgen Ohlbach
Applying hierarchical graphs to pedestrian indoor navigation. GIS (2008)
Christian Hänsel, Bernhard Lorenz, Hans Jürgen Ohlbach
A Local Data Stream Management System. SETP (2007)
Edgar-Philipp Stoffel, Bernhard Lorenz, Hans Jürgen Ohlbach
Towards a Semantic Spatial Model for Pedestrian Indoor Navigation. ER Workshops (2007)
Bernhard Lorenz, Hans Jürgen Ohlbach, Edgar-Philipp Stoffel
A Hybrid Spatial Model for Representing Indoor Environments. W2GIS (2006)
Frank Ipfelkofer, Bernhard Lorenz, Hans Jürgen Ohlbach
Ontology Driven Visualisation of Maps with SVG - Technical Aspects. ASWC (2006)
Hans Jürgen Ohlbach
Fuzzy Time Intervals System Description of the FuTI-Library. PPSWR (2006)
Hans Jürgen Ohlbach
GeTS - A Specification Language for Geo-Temporal Notions. KI (2006)
Frank Ipfelkofer, Bernhard Lorenz, Hans Jürgen Ohlbach
Ontology Driven Visualisation of Maps with SVG - An Example for Semantic Programming. IV (2006)
Hans Jürgen Ohlbach
Computational Treatment of Temporal Notions: The CTTN-System. PPSWR (2005)
François Bry, Bernhard Lorenz, Hans Jürgen Ohlbach, Mike Rosner
A Geospatial World Model for the Semantic Web. PPSWR (2005)
Hans Jürgen Ohlbach
Computational Treatment of Temporal Notions: The CTTN-System. Annotating, Extracting and Reasoning about Time and Events (2005)
Hans Jürgen Ohlbach
Modelling Periodic Temporal Notions by Labelled Partitionings - The PartLib Library. We Will Show Them! (2) (2005)
François Bry, François Fages, Massimo Marchiori, Hans Jürgen Ohlbach
05371 Abstracts Collection - Principles and Practices of Semantic Web Reasoning. Principles and Practices of Semantic Web Reasoning (2005)
Hans Jürgen Ohlbach
Computational Treatment of Temporal Notions - The CTTN-System. Annotating, Extracting and Reasoning about Time and Events (2005)
Hans Jürgen Ohlbach
Automated Reasoning in the Context of the Semantic Web. TABLEAUX (2005)
Hans Jürgen Ohlbach
Relations Between Fuzzy Time Intervals. TIME (2004)
Hans Jürgen Ohlbach
Calendrical Calculations with Time Partitionings and Fuzzy Time Intervals. PPSWR (2004)
Sacha Berger, François Bry, Bernhard Lorenz, Hans Jürgen Ohlbach, Paula-Lavinia Patranjan, Sebastian Schaffert, Uta Schwertel, Stephanie Spranger
Reasoning on the Web: Language Prototypes and Perspectives. EWIMT (2004)
Hans Jürgen Ohlbach
The Role of Labeled Partitionings for Modeling Periodic Temporal Notions. TIME (2004)
François Bry, Bernhard Lorenz, Hans Jürgen Ohlbach, Stephanie Spranger
On Reasoning on Time and Location on the Web. PPSWR (2003)
Hans Jürgen Ohlbach
Geotemporal Reasoning for Semantic Web Applications. KRDB (2003)
Hans Jürgen Ohlbach
Set Description Languages and Reasoning about Numerical Features of Sets. Description Logics (1999)
Hans Jürgen Ohlbach, Jana Koehler
Modal Logics, Description Logics and Arithmetic Reasoning. Artif. Intell. 109 (1-2) (1999)
Hans Jürgen Ohlbach, Dov M. Gabbay
Calendar Logic. J. Appl. Non Class. Logics 8 (4) (1998)
Hans Jürgen Ohlbach
Extensions of First-Order Logic, Maria Manzano. J. Log. Lang. Inf. 7 (3) (1998)
Hans Jürgen Ohlbach
Elimination of Self-Resolving Clauses. J. Autom. Reason. 20 (3) (1998)
Hans Jürgen Ohlbach
Combining Hilbert Style and Semantic Reasoning in a Resolution Framework. CADE (1998)
Hans Jürgen Ohlbach, Jana Koehler
Role Hierarchies and Number Restrictions. Description Logics (1997)
Hans Jürgen Ohlbach, Renate A. Schmidt
Functional Translation and Second-Order Frame Properties of Modal Logics. J. Log. Comput. 7 (5) (1997)
Hans Jürgen Ohlbach
Efficient Data Structures for Deduction Systems. DOOD (1997)
Hans Jürgen Ohlbach
SCAN - Elimination of Predicate Quantifiers. CADE (1996)
Hans Jürgen Ohlbach
Computer Support for the Development and Investigation of Logics. Log. J. IGPL 4 (1) (1996)
Dov M. Gabbay, Hans Jürgen Ohlbach, Ruy J. G. B. de Queiroz
Editorial. Log. J. IGPL 3 (1) (1995)
Franz Baader, Hans Jürgen Ohlbach
A Multi-Dimensional Terminological Knowledge Representation Language. J. Appl. Non Class. Logics 5 (2) (1995)
Hans Jürgen Ohlbach, Christoph Weidenbach
A Note on Assumptions about Skolem Functions. J. Autom. Reason. 15 (2) (1995)
Dov M. Gabbay, Hans Jürgen Ohlbach, Ruy J. G. B. de Queiroz
The Bulletin turned into a Journal. Log. J. IGPL 3 (5) (1995)
Hans Jürgen Ohlbach
A Multi-Dimensional Terminological Knowledge Representation Language. IJCAI (1993)
Hans Jürgen Ohlbach
Optimized Translation of Multi Modal Logic into Predicate Logic. LPAR (1993)
Hans Jürgen Ohlbach
Translation Methods for Non-Classical Logics: An Overview. Log. J. IGPL 1 (1) (1993)
Hans Jürgen Ohlbach, Renate A. Schmidt
Editorial: The Possibility of Generating True Conjectures. J. Log. Comput. 3 (4) (1993)
Hans Jürgen Ohlbach
Logic Engineering - Konstruktion von Logiken. Künstliche Intell. 6 (3) (1992)
Dov M. Gabbay, Hans Jürgen Ohlbach
From A Hilbert Calculus to its Model Theoretic Semantics. ALPUK (1992)
Dov M. Gabbay, Hans Jürgen Ohlbach
Quantifier Elimination in Second-Order Predicate Logic. KR (1992)
Hans Jürgen Ohlbach, Jörg H. Siekmann
The Markgraf Karl Refutation Procedure. Computational Logic - Essays in Honor of Alan Robinson (1991)
Hans Jürgen Ohlbach, Andreas Herzig
Parameter Structures for Parametrized Modal Operators. IJCAI (1991)
Hans Jürgen Ohlbach
Semantics-Based Translation Methods for Modal Logics. J. Log. Comput. 1 (5) (1991)
Norbert Eisinger, Hans Jürgen Ohlbach, Axel Präcklein
Reduction Rules for Resolution-Based Systems. Artif. Intell. 50 (2) (1991)
Hans Jürgen Ohlbach
Compilation of Recursive Two-Literal Clauses into Unification Algorithms. AIMSA (1990)
Hans Jürgen Ohlbach, Andreas Herzig
Tutorial on Compilation techniques for Logics. CADE (1990)
Christoph Weidenbach, Hans Jürgen Ohlbach
A Resolution Calculus with Dynamic Sort Structures and Partial Functions. ECAI (1990)
Hans Jürgen Ohlbach
Abstraction Tree Indexing for Terms. ECAI (1990)
Hans Jürgen Ohlbach
Context Logic - An Introduction. GWAI (1989)
Hans Jürgen Ohlbach
New Ways for Developing Proof Theories for First-Order Multi Modal Logics. CSL (1989)
Hans Jürgen Ohlbach, Manfred Schmidt-Schauß
Bericht zur 9th Conference on Automated Deduction. Künstliche Intell. 2 (4) (1988)
Hans Jürgen Ohlbach
A Resolution Calculus for Modal Logics. CADE (1988)
Hans Jürgen Ohlbach
Link Inheritance in Abstract Clause Graphs. J. Autom. Reason. 3 (1) (1987)
Norbert Eisinger, Hans Jürgen Ohlbach
The Markgraf Karl Refutation Procedure (MKRP). CADE (1986)
Hans Jürgen Ohlbach
The Semantic Clause Graph Procedure - A First Overview. GWAI (1986)
Hans Jürgen Ohlbach
Theory Unification in Abstract Clause Graphs. GWAI (1985)
Hans Jürgen Ohlbach, Manfred Schmidt-Schauß
The Lion and the Unicorn. J. Autom. Reason. 1 (3) (1985)
Hans Jürgen Ohlbach
Predicate Logic Hacker Tricks. J. Autom. Reason. 1 (4) (1985)
Hans Jürgen Ohlbach, Graham Wrightson
Solving a Problem in Relevance Logic with an Automated Theorem Prover. CADE (1984)
Grigoris Antoniou, Hans Jürgen Ohlbach
TERMINATOR. IJCAI (1983)
Hans Jürgen Ohlbach
Ein regelbasiertes Klauselgraph-Beweisverfahren. GWAI (1983)

Hans Jürgen Ohlbach.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Hans Jürgen Ohlbach