- Towards Scalable Instance Retrieval over Ontologies
- Diplomarbeit Analysis of the average-case
- OCL Compiler for EMF Miguel Garcia A. Jibran Shidqie
- OCL Tools: Status and Perspectives Miguel Garcia, A. Jibran Shidqie
- Pattern-based generation to augment EMF editors with business rules, materialized views, statecharts,
- Generation of Eclipse-based IDEs for Custom DSLs
- Miguel Garcia STS TUHH Generation of DSL Tools based on
- Certification of Transformation Algorithms in Model-Driven Software Development
- Leveraging the Expressivity of Grounded Conjunctive Query Languages
- Hybrid Reasoning for Description Logics with Nominals and Qualified Number Restrictions
- RACE System Description Volker Haarslev and Ralf Moller
- Bibliography December 8, 2010
- Techniques for Ontology Access, Processing, and Usage Deliverable TONES-D18
- Expressive Description Logics: Foundations for Practical Applications
- The CLIM Perspective To get a compressed Postscript version, click here
- Racer: A Core Inference Engine for the Semantic Web
- Quantifier Elimination over Real Closed Fields in the Context of Applied Description Logics
- Formalizing Multimedia Interpretation based on Abduction over Description Logic Aboxes
- Software Abstractions for Description Logic Systems Michael Wessel and Ralf Moller
- Towards a Scalable and Efficient Middleware for Instance Retrieval Inference Services
- On Scene Interpretation with Description Logics Bernd Neumann1
- Experiences with Load Balancing and Caching for Semantic Web Applications
- How sensor data interpretation could benefit from description logics: Position paper
- Optimization Techniques for Retrieving Resources
- Incremental evaluation of OCL invariants in the Essential MOF object model
- A Description Logic with Concrete Domains and a Role-forming Predicate Operator
- Software Tools for Ontology Design and Maintenance
- Diplomarbeit Interaktions-und
- First Experiences with Load Balancing and Caching for Semantic Web
- A Flexible DL-based Architecture for Deductive Information Systems
- Ontology-Based Services: Usage Scenarios and Test Deliverable TONES-D14
- Island Reasoning for ALCHI Ontologies Sebastian WANDELT and Ralf MOELLER
- Design Principles and Realization Techniques for User Friendly, Interactive, and Scalable
- On Specifying Semantics of Visual Spatial Query Languages Volker Haarslev and Ralf Moller and Michael Wessel
- Flexible Software Architectures for Ontology-Based Information Systems
- Published in: Bernhard Nebel and Leonie Dreschler-Fischer (eds.), KI-94: Advances in ArtificialIntelligence Proc. 18thGerman AnnualConference on ArtificialIntelligence,
- Scalability of OWL Reasoning: Role condensates
- A Probabilistic Abduction Engine for Media Interpretation Oliver Gries, Ralf Moller, Anahita Nafissi, Maurice Rosenfeld, Kamil Sokolski, Michael Wessel
- The BOEMIE Semantic Browser: An Application Exploiting Rich Semantic Metadata
- Techniques for Ontology Design and Maintenance
- Software Tools for Ontology Access, Processing, and Usage
- Model Generation in Description Logics: What Can We Learn
- Formalisms for Representing Ontologies: State of the Art Survey
- Common Framework for Representing Deliverable TONES-D08
- State of the Art Survey Deliverable D01
- Revised Ontology Task Handbook Deliverable TONES-D07
- Reasoning Support for Ontology Design Carsten Lutz, Franz Baader, Einrico Franconi, Domenico Lembo, Ralf Moller,
- Fachbereich Informatik der Universitat Hamburg Vogt-Kolln-Str. 30 D-22527 Hamburg / Germany
- On Scene Interpretation with Description Logics Bernd Neumann* and Ralf Mller**
- Fachbereich Informatik der Universitat Hamburg Vogt-Kolln-Str. 30 D-22527 Hamburg / Germany
- Content-Based Information Retrieval by Computation of Least Common Subsumers
- This paper introduces an approach for modeling and simulating a technical device for diagnostic purposes. A resistive network is used
- A Partial Logical Reconstruction of PLAKON/KONWERK Carsten Schroder and Ralf Moller and Carsten Lutz
- If It Works, It's Not AI: A Commercial Look at Artificial Intelligence Startups
- THE LISP MACHINE: NOBLE EXPERIMENT OR FABULOUS FAILURE?
- Symbolics, Inc.: A failure of heterogeneous engineering
- IBM Deutschland GmbH 2009 IBM Corporation
- Multimedia Interpretation as Abduction S. Espinosa Peraldi, A. Kaya, S. Melzer, R. Moller, M. Wessel
- Towards Scalable Instance Retrieval over Alissa Kaplunova, Ralf Moller, Sebastian Wandelt, Michael Wessel
- Query Answering with Ontologies -Optimizing in
- Development of a server to support the formal semantic web query language OWL-QL
- Generierung von Visualisierungen in einem Rahmensystem zur systematischen
- Flexible und konfigurierbare Softwarearchitekturen fr
- Distributed Island-based Query Answering for Expressive Ontologies
- Towards a Media Interpretation Framework for the Semantic Web
- Applying an ALC ABox Consistency Tester to Modal Logic SAT Problems
- Modeling of User Interfaces for Content Management Systems
- Studienarbeit An Agent-oriented Architecture
- Diplomarbeit Wissensmanagement fr die Entwicklung von
- Einsatz von Web Services im Semantic Web
- Visualization and Graphical Layout in Object-Oriented Systems
- Published in: Proceedings, 11th International Workshop on Qualitative Reasoning, L. Ironi, editor, Cortona, Tuscany, Italy, June 3-6, 1997, Pubblicazioni N. 1036, Istituto di Analisi Numerica C.N.R. Pavia (Italy), pp. 105-113.
- Bibliography November 25, 2010
- J. Symbolic Computation (1995) 11, 1--000 A Survey of User Interfaces
- Architectural Approaches, Concepts and Methodologies of Service Oriented Architecture
- Master Thesis A Machine Learning Approach for
- Facolt`a di Ingegneria di Como Politecnico di Milano
- Technische Universitt Hamburg-Harburg Arbeitsbereich Softwaresysteme
- Final 5/3/03 Description Logics for the Semantic Web
- Combining Tableaux and Algebraic Decision Procedures for Dealing with Qualified Number Restrictions in Description Logics
- SITE CONTROLLER: A system for computer-aided civil engineering and construction.
- Technical University Hamburg-Harburg Department of Software Technology & Systems
- Runtime Invariants Checking In Plain Old Java Object
- Description Logic Systems with Concrete Domains: Applications for the Semantic Web
- RACER User's Guide and Reference Manual Version 1.6.1
- Tasks for Ontology Access, Processing, and Deliverable TONES-D10
- A High Performance Semantic Web Query Answering Engine
- Technische Universitt Hamburg-Harburg Project Work
- Business Process Automation and Web Service Choreography
- Study Literature of Model-based Testing For Test Integrity
- Flexible Bindungstechniken fr ubiquitre in verteilten Anwendungen
- Department of Computer Science The University of Auckland
- Institute for Micro System Prof. Dr.-Ing. habil Jrg Mller
- What Happened to Bob? Semantic Data Mining of Context Histories
- On Ontology Based Abduction For Text Interpretation
- Probabilistic LCS in a P-Classic Implementation Alissa Kaplunova, and Ralf Mller
- UPDATABLE ISLAND REASONING FOR ALCHI-ONTOLOGIES Sebastian Wandelt, Ralf Moeller
- 1OOOOptischeptischeptischeptische KKKKommunikationstommunikationstommunikationstommunikationstechnikechnikechnikechnik Die Optische Kommunikationstech-
- Technische Universitt Hamburg Harburg Arbeitsbereich Softwaresysteme
- Development Support for Hardware Oriented Software Applications using
- Gibbs Sampling in Probabilistic Description Logics with Deterministic
- Proceedings of the 2002 Workshop on Applications of Description Logics
- SOUND SUMMARIZATIONS FOR ALCH I ONTOLOGIES How to speedup instance checking and instance retrieval
- SeniorVP Windows MicrosoftCorporation
- Analysis of Test-Results on Individual Test Deliverable TONES-D23
- Borgida 2009 What, if anything, does it mean to
- D4.2: Reasoning Engine Version 1 and State of the Art in Reasoning Techniques
- D2.1 Methodology for Semantics Extraction from Multimedia Content
- On Knowledge Representation Patterns for Multimedia Interpretation Sofia Espinosa Peraldi, Atila Kaya, Ralf Moller
- Cost-Efficient Web Service Compositions
- Technische Universitt Hamburg-Harburg Vision Systems
- DL Streams: Interpretation and Retrieval of image streams Sebastian Wandelt
- Prototypische Implementierung eines Triple-Store-basierten
- Technische Universitaet Hamburg-Harburg Institute of Software Systems
- Am Institut fr Regelungstechnik werden Verfahren und Software
- Das Institut fr Telematik unter sucht verschiedene Aspekte verteil
- Softwaresysteme Unter dem Slogan ,,Software, Tech
- Das Arbeitsgebiet des Institutes fr Theoretische Elektrotechnik
- Institute for Software Systems Evaluation of
- HAMBURG UNIVERSITY OF TECHNOLOGY INSTITUTE FOR SOFTWARE SYSTEMS
- Recommendation Techniques to enhance GUI of the Semantic Juan Esteban Maya Alvarez
- Technische Universitt Hamburg-Harburg Institute for Software Systems
- Untersuchungen fr Approximationen von Ontologien
- Support Vector Regression Analysis for Price Prediction in a Car Leasing
- Master Thesis Implementation of a TPEG Decoder.
- STUDIENARBEIT GENERISCHE VERWALTUNG UND REALISIERUNG
- Conceptual Content Management Application Development by Means of
- Conversion of Octopus UML Models into Eclipse UML2 Models
- Practical Evaluation of Contraction and Abduction Algorithm
- Prototypenentwicklung eines regelbasierten Konfigurationssystems fur den Einsatz in der
- Uberprufung von UML/OCL-Spezifikationen mit
- Master Thesis Information Retrieval Services for
- Eine Web Service Schnittstelle fur ein Web Service Entwickler-Portal
- Reengineering of the RACER Proxy Iterative Query Answering
- Adaptive und nebenlufige Ausfhrung von JUnit Testfllen
- A Study on Query Completeness and Answering Time In Knowledgebases and Databases
- Project Work Probabilistic Extension For Rule Language
- Solution Optimizer for SMPS Applications
- Prototyping an Infrastructure for MDA Submitted in partial fulfillment of the requirements for the degree Master of
- Generation of Struts software artefacts from UML stereotypes
- Universitat Hamburg FB Informatik
- Diplomarbeit Realisierung von Webapplikationen auf Basis
- Monitoring and Managing Business Processes and Resources in J2EE Platform
- Master Thesis Automatic Generation of OpenGIS-compliant
- Technical University Hamburg-Harburg Software Systems Department
- Diplomarbeit Integration von heterogenen Informationssystemen
- Technical University Hamburg-Harburg Degree course: Information and Media Technologies
- Evaluation of Web Application Development Frameworks and Object-Relational Mappers
- Roundtrip Engineering for Classes: Mapping between UML Diagram and Java Structures based
- Arbeitsbereich Softwaresysteme Prototype of Software Components for
- Diplomarbeit Konzeption und Realisierung
- STUDIENARBEIT EINBINDUNG DES WEBDAV-DIENSTES IN
- Technische Universitt Hamburg-Harburg Arbeitsbereich Softwaresysteme
- Technische Universitt Hamburg-Harburg. Arbeitsbereich Softwaresysteme
- Technische Universitt Hamburg-Harburg Link-Preserving Import of Hypermedia Document
- Diplomarbeit Synchronisation von
- Studienarbeit Eine oene Schnittstelle zur Verwaltung
- Software Systems Modeling: Requirements, Examples, Experience
- Endgerteunabhngige Realisierung von interaktiven Client/Server-Anwendungen am Beispiel eines integrierten
- Universitat Hamburg, Fachbereich Informatik Diplomarbeit
- Implementation of an XML Validator in Racer Proxy for the DIG Interface
- Zugriffskontrolle fr Internet-Informationssysteme
- Universitat Hamburg Fachbereich Informatik
- Studienarbeit Caching und Zugri sprotokollierung
- ANALYSE DER WEB-SERVER-NUTZUNG: KRITERIEN, PROTOKOLLDATEIEN UND
- Universitt Hamburg Fachbereich Informatik
- Compiling LINQ and a Scala subset into SQL:1999 Miguel Garcia and Anastasia Izmaylova
- Approximation and ABox Segmentation Alissa Kaplunova, Ralf Moller, Sebastian Wandelt, Michael Wessel
- Implementation of Resource Adapter for SAP R/3 and generation of java-proxy class of BAPIs
- Das Institut fr Optische und Elekt ronische Materialien forscht an
- Studienarbeit/Project work: Structuring of content repositories for adaptive
- Das Magazin der Technischen Universitt Hamburg-Harburg MRZ 2010 ISSN:1611-6003
- Distributed Island-based Query Answering for Semi-Expressive Ontologies
- Generating Schema Information for Views over Semistructured Data
- Project Paper Simple Object Access Protocol
- Support for DSL in Eclipse Master Thesis
- Proceedings of the Whistler, BC, Canada
- Bachelor Thesis CUSTOM COMPONENT DEVELOPMENT
- Kryptographische Operationen in Java Analyse und Darstellung der
- Technische Universitt Hamburg-Harburg Arbeitsbereich Softwaresysteme
- Partitioning OWL Knowledge Bases -Revisited and Sebastian Wandelt1
- Translation of Model-based Behavioral Specifications into TLA+
- 1Zuverlssiges Rechnen Das Zuverlssige Rechnen ist ein
- Cost-efficient web service composition for processes with distributed retrieval queries
- Distributed Island-based Query Answering for Expressive Ontologies
- Efficient Instance Retrieval over Semi-Expressive Ontologies
- Content Management and Knowledge Management: Two Faces of Ontology-based Deep-Level
- Content Management and Knowledge Management
- Georgios Paliouras, Constantine D. Spyropoulos, George Tsatsaronis
- Hamburg University of Technology Institute for Software Systems
- An Investigation of Machine-Learning Approaches for a
- J Autom Reasoning manuscript No. (will be inserted by the editor)
- Zur Rolle der Logik bei der Entwicklung Intelligenter Systeme Ralf Mller, Hamburg University of Technology, moeller@tu-hamburg.de
- Computationally Feasible Query Answering over Spatio-thematic Ontologies Ozgur Lutfu Ozcep and Ralf Moller
- Semantic Web 1 (2011) 15 1 The RacerPro Knowledge Representation and
- Sound and Complete SHI Instance Retrieval for 1 Billion ABox Assertions
- ISLANDS AND QUERY ANSWERING FOR ALCHI-ONTOLOGIES
- Proceedings of ELS 2011 4th European Lisp Symposium
