Ralf Möller

Proceedings of the Workshop on Humanities-Centred Artificial Intelligence co-located with 46th German Conference on Artificial Intelligence, September 26, 2023

Federated Information Retrieval in Cross-Domain Information Systems.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Humanities-Centred Artificial Intelligence co-located with 46th German Conference on Artificial Intelligence, September 26, 2023

FrESH - Feedback-reliant Enhancement of Subjective Content Descriptions by Humans.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Humanities-Centred Artificial Intelligence co-located with 46th German Conference on Artificial Intelligence, September 26, 2023

Fine-tuning BERT Models on Demand for Information Systems Explained Using Training Data from Pre-modern Arabic.

[BibT_eX]

[DOI]

Florian Andreas Marwitz

Konrad Hirschler

Proceedings of the Workshop on Humanities-Centred Artificial Intelligence co-located with 46th German Conference on Artificial Intelligence, September 26, 2023

Evaluating the Effects of a Priori Deep Learning Image Synthesis on Multi-Modal MR-to-CT Image Registration Performance.

[BibT_eX]

[DOI]

Proceedings of the 16th International Joint Conference on Biomedical Engineering Systems and Technologies, 2023

Improved Techniques for Training Tabular GANs Using Cramer's V Statistics.

[BibT_eX]

[DOI]

Proceedings of the 36th Canadian Conference on Artificial Intelligence, 2023

2022

Lifting in multi-agent systems under uncertainty.

[BibT_eX]

[DOI]

Proceedings of the Uncertainty in Artificial Intelligence, 2022

Estimating Context-Specific Subjective Content Descriptions using BERT.

[BibT_eX]

[DOI]

Proceedings of the 16th IEEE International Conference on Semantic Computing, 2022

Who did it? Identifying the Most Likely Origins of Events.

[BibT_eX]

[DOI]

Florian-Lennert Adrian Lau

Proceedings of the International Conference on Probabilistic Graphical Models, 2022

Using decPOMDPcoms to holistically model and program nanodevices and emergent nanonetworks.

[BibT_eX]

[DOI]

Stefan Fischer

Proceedings of the NANOCOM '22: The Ninth Annual ACM International Conference on Nanoscale Computing and Communication, Barcelona, Catalunya, Spain, October 5, 2022

Embodiment of an Agent by a Pepper Robot for Explaining Retrieval Results.

[BibT_eX]

[DOI]

Magnus Bender

Proceedings of the Workshop on Humanities-Centred Artificial Intelligence co-located with 45th German Conference on Artificial Intelligence, September 19, 2022

Increasing State Estimation Accuracy in the Inference Algorithm on a Hybrid Factor Graph Model.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fifth International Florida Artificial Intelligence Research Society Conference, 2022

TEI-Based Interactive Critical Editions.

[BibT_eX]

[DOI]

Proceedings of the Document Analysis Systems - 15th IAPR International Workshop, 2022

Multivariate Ordinal Patterns for Symmetry Approximation in Dynamic Probabilistic Relational Models.

[BibT_eX]

[DOI]

Nils Finke

Proceedings of the AI 2021: Advances in Artificial Intelligence, 2022

Lifted Division for Lifted Hugin Belief Propagation.

[BibT_eX]

[DOI]

Moritz P. Hoffmann

Proceedings of the International Conference on Artificial Intelligence and Statistics, 2022

2021

Identifying and Translating Subjective Content Descriptions Among Texts.

[BibT_eX]

[DOI]

Int. J. Semantic Comput., 2021

Lifting DecPOMDPs for Nanoscale Systems - A Work in Progress.

[BibT_eX]

[DOI]

CoRR, 2021

Modeling and Simulating Federated Databases for early Validation of Federated Searches using the Broker-based SysML Toolbox.

[BibT_eX]

[DOI]

Sylvia Melzer

Stefan Thiemann

Proceedings of the IEEE International Systems Conference, 2021

Enhancing Relational Topic Models with Named Entity Induced Links.

[BibT_eX]

[DOI]

Proceedings of the 15th IEEE International Conference on Semantic Computing, 2021

Context-specific Adaptation of Subjective Content Descriptions.

[BibT_eX]

[DOI]

Proceedings of the 15th IEEE International Conference on Semantic Computing, 2021

Identifying Subjective Content Descriptions among Texts.

[BibT_eX]

[DOI]

Proceedings of the 15th IEEE International Conference on Semantic Computing, 2021

Recommendations for Data-Driven Degradation Estimation with Case Studies from Manufacturing and Dry-Bulk Shipping.

[BibT_eX]

[DOI]

Proceedings of the Research Challenges in Information Science, 2021

On Human-Aware Information Seeking.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Humanities-Centred Artificial Intelligence co-located with 44th German Conference on Artificial Intelligence, September 27, 2021

Humanities-Centered AI: From Machine Learning to Machine Training.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Humanities-Centred Artificial Intelligence co-located with 44th German Conference on Artificial Intelligence, September 27, 2021

A First Step Towards Even More Sparse Encodings of Probability Distributions.

[BibT_eX]

[DOI]

Florian Andreas Marwitz

Proceedings of the Inductive Logic Programming - 30th International Conference, 2021

Handling Overlaps When Lifting Gaussian Bayesian Networks.

[BibT_eX]

[DOI]

Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021

On the Behaviour of Weighted Permutation Entropy on Fractional Brownian Motion in the Univariate and Multivariate Setting.

[BibT_eX]

[DOI]

Florian Wilhelm

Proceedings of the Thirty-Fourth International Florida Artificial Intelligence Research Society Conference, 2021

Concept Drift Detection in Dynamic Probabilistic Relational Models.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fourth International Florida Artificial Intelligence Research Society Conference, 2021

Dynamic Domain Sizes in Temporal Probabilistic Relational Models.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fourth International Florida Artificial Intelligence Research Society Conference, 2021

A Hybrid Factor Graph Model for Biomedical Activity Detection.

[BibT_eX]

[DOI]

Proceedings of the IEEE EMBS International Conference on Biomedical and Health Informatics, 2021

Ordering Principal Components of Multivariate Fractional Brownian Motion for Solving Inverse Problems.

[BibT_eX]

[DOI]

Proceedings of the Asia-Pacific Signal and Information Processing Association Annual Summit and Conference, 2021

2020

Branch-and-Bound Ranked Search by Minimizing Parabolic Polynomials.

[BibT_eX]

[DOI]

Peter Poensgen

Open J. Databases, 2020

Quasi-Convex Scoring Functions in Branch-and-Bound Ranked Search.

[BibT_eX]

[DOI]

Peter Poensgen

Open J. Databases, 2020

Augmenting and Automating Corpus Enrichment.

[BibT_eX]

[DOI]

Int. J. Semantic Comput., 2020

Maintaining Topic Models for Growing Corpora.

[BibT_eX]

[DOI]

Proceedings of the IEEE 14th International Conference on Semantic Computing, 2020

Augmenting and Automating Corpus Enrichment.

[BibT_eX]

[DOI]

Proceedings of the IEEE 14th International Conference on Semantic Computing, 2020

Lifted Query Answering in Gaussian Bayesian Networks.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Probabilistic Graphical Models, 2020

Investigating Matureness of Probabilistic Graphical Models for Dry-Bulk Shipping.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Probabilistic Graphical Models, 2020

Towards Collaborative Predictive Maintenance Leveraging Private Cross-Company Data.

[BibT_eX]

[DOI]

Proceedings of the 50. Jahrestagung der Gesellschaft für Informatik, INFORMATIK 2020 - Back to the Future, Karlsruhe, Germany, 28. September, 2020

New Approaches in Ordinal Pattern Representations for Multivariate Time Series.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Third International Florida Artificial Intelligence Research Society Conference, 2020

Constructing Gaussian Processes for Probabilistic Graphical Models.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Third International Florida Artificial Intelligence Research Society Conference, 2020

Lifted Marginal Filtering for Asymmetric Models by Clustering-Based Merging.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020

Taming Reasoning in Temporal Probabilistic Relational Models.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020

Lifting Queries for Lifted Inference.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020

How to Encode Dynamic Gaussian Bayesian Networks as Gaussian Processes?

[BibT_eX]

[DOI]

Proceedings of the AI 2020: Advances in Artificial Intelligence, 2020

On the Behaviour of Permutation Entropy on Fractional Brownian Motion in a Multivariate Setting.

[BibT_eX]

[DOI]

Nils Finke

Proceedings of the Asia-Pacific Signal and Information Processing Association Annual Summit and Conference, 2020

2019

An ontology-mediated analytics-aware approach to support monitoring and diagnostics of static and streaming data.

[BibT_eX]

[DOI]

J. Web Semant., 2019

Ontology-Based Data Access to Big Data.

[BibT_eX]

[DOI]

Open J. Databases, 2019

Corpus-Driven Annotation Enrichment.

[BibT_eX]

[DOI]

Bjarne Witten

Proceedings of the 13th IEEE International Conference on Semantic Computing, 2019

Constructing and Maintaining Corpus-Driven Annotations.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE International Conference on Semantic Computing, 2019

Lifted Temporal Most Probable Explanation.

[BibT_eX]

[DOI]

Proceedings of the Graph-Based Representation and Reasoning, 2019

Approximate Query Answering in Complex Gaussian Mixture Models.

[BibT_eX]

[DOI]

Proceedings of the 2019 IEEE International Conference on Big Knowledge, 2019

Which Patient to Treat Next? Probabilistic Stream-Based Reasoning for Decision Support and Monitoring.

[BibT_eX]

[DOI]

Proceedings of the 2019 IEEE International Conference on Big Knowledge, 2019

Influence-Based Independence.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Second International Florida Artificial Intelligence Research Society Conference, 2019

Relational Forward Backward Algorithm for Multiple Queries.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Second International Florida Artificial Intelligence Research Society Conference, 2019

On Bounded-Memory Stream Data Processing with Description Logics.

[BibT_eX]

[DOI]

Proceedings of the Description Logic, Theory Combination, and All That, 2019

To Extend or Not to Extend? Context-Specific Corpus Enrichment.

[BibT_eX]

[DOI]

Proceedings of the AI 2019: Advances in Artificial Intelligence, 2019

Efficient Multiple Query Answering in Switched Probabilistic Relational Models.

[BibT_eX]

[DOI]

Proceedings of the AI 2019: Advances in Artificial Intelligence, 2019

Exploring Unknown Universes in Probabilistic Relational Models.

[BibT_eX]

[DOI]

Proceedings of the AI 2019: Advances in Artificial Intelligence, 2019

Lifted Temporal Maximum Expected Utility.

[BibT_eX]

[DOI]

Proceedings of the Advances in Artificial Intelligence, 2019

Uncertain Evidence for Probabilistic Relational Models.

[BibT_eX]

[DOI]

Proceedings of the Advances in Artificial Intelligence, 2019

2018

Answering Hindsight Queries with Lifted Dynamic Junction Trees.

[BibT_eX]

[DOI]

CoRR, 2018

Towards Preventing Unnecessary Groundings in the Lifted Dynamic Junction Tree Algorithm.

[BibT_eX]

[DOI]

Proceedings of the KI 2018: Advances in Artificial Intelligence, 2018

Fusing First-Order Knowledge Compilation and the Lifted Junction Tree Algorithm.

[BibT_eX]

[DOI]

Proceedings of the KI 2018: Advances in Artificial Intelligence, 2018

Lifted Maximum Expected Utility.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence in Health - First International Workshop, 2018

Towards lifted maximum expected utility.

[BibT_eX]

[DOI]

Proceedings of the First Joint Workshop on AI in Health organized as part of the Federated AI Meeting (FAIM 2018), 2018

Parameterised Queries and Lifted Query Answering.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Lifted Dynamic Junction Tree Algorithm.

[BibT_eX]

[DOI]

Proceedings of the Graph-Based Representation and Reasoning, 2018

Lifted Most Probable Explanation.

[BibT_eX]

[DOI]

Proceedings of the Graph-Based Representation and Reasoning, 2018

Towards Foundations of Agents Reasoning on Streams of Percepts.

[BibT_eX]

[DOI]

Proceedings of the Thirty-First International Florida Artificial Intelligence Research Society Conference, 2018

Efficient Enriching of Synthesized Relational Patient Data with Time Series Data.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN 2018) / The 8th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH-2018) / Affiliated Workshops, 2018

Preventing Unnecessary Groundings in the Lifted Dynamic Junction Tree Algorithm.

[BibT_eX]

[DOI]

Proceedings of the AI 2018: Advances in Artificial Intelligence, 2018

Answering Multiple Conjunctive Queries with the Lifted Dynamic Junction Tree Algorithm.

[BibT_eX]

[DOI]

Proceedings of the AI 2018: Advances in Artificial Intelligence, 2018

Adaptive Inference on Probabilistic Relational Models.

[BibT_eX]

[DOI]

Proceedings of the AI 2018: Advances in Artificial Intelligence, 2018

2017

Semantic access to streaming and static data at Siemens.

[BibT_eX]

[DOI]

J. Web Semant., 2017

Reasoning about Imprecise Beliefs in Multi-Agent Systems with PDT Logic.

[BibT_eX]

[DOI]

Künstliche Intell., 2017

Indirect Causes in Dynamic Bayesian Networks Revisited.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2017

Selection of Pareto-efficient response plans based on financial and operational assessments.

[BibT_eX]

[DOI]

Gustavo Gonzalez Granadillo

Hervé Debar

Joaquín García

EURASIP J. Inf. Secur., 2017

Context- and bias-free probabilistic mission impact assessment.

[BibT_eX]

[DOI]

Comput. Secur., 2017

Preventing Groundings and Handling Evidence in the Lifted Junction Tree Algorithm.

[BibT_eX]

[DOI]

Proceedings of the KI 2017: Advances in Artificial Intelligence, 2017

Unsupervised Text Annotation.

[BibT_eX]

[DOI]

Proceedings of the 6th Workshop on Dynamics of Knowledge and Belief (DKB-2017) and the 5th Workshop KI & Kognition (KIK-2017) co-located with 40th German Conference on Artificial Intelligence (KI 2017), 2017

Counting and Conjunctive Queries in the Lifted Junction Tree Algorithm.

[BibT_eX]

[DOI]

Proceedings of the Graph Structures for Knowledge Representation and Reasoning, 2017

2016

Abductive Conjunctive Query Answering w.r.t. Ontologies.

[BibT_eX]

[DOI]

Künstliche Intell., 2016

PDT Logic: A Probabilistic Doxastic Temporal Logic for Reasoning about Beliefs in Multi-agent Systems.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2016

Towards Analytics Aware Ontology Based Access to Static and Streaming Data (Extended Version).

[BibT_eX]

[DOI]

CoRR, 2016

Semantic Normalization and Matching of Business Dependency Models.

[BibT_eX]

[DOI]

Christina Geick

Proceedings of the 18th IEEE Conference on Business Informatics, 2016

Time Series Data Mining for Network Service Dependency Analysis.

[BibT_eX]

[DOI]

Mona Lange

Proceedings of the International Joint Conference SOCO'16-CISIS'16-ICEUTE'16, 2016

Ontology-Based Integration of Streaming and Static Relational Data with Optique.

[BibT_eX]

[DOI]

Proceedings of the 2016 International Conference on Management of Data, 2016

Towards Analytics Aware Ontology Based Access to Static and Streaming Data.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2016, 2016

Scalable Semantic Access to Siemens Static and Streaming Distributed Data.

[BibT_eX]

[DOI]

Proceedings of the ISWC 2016 Posters & Demonstrations Track co-located with 15th International Semantic Web Conference (ISWC 2016), 2016

Using a Deep Understanding of Network Activities for Workflow Mining.

[BibT_eX]

[DOI]

Mona Lange

Proceedings of the KI 2016: Advances in Artificial Intelligence, 2016

Lifted Junction Tree Algorithm.

[BibT_eX]

[DOI]

Proceedings of the KI 2016: Advances in Artificial Intelligence, 2016

Using a Deep Understanding of Network Activities for Network Vulnerability Assessment.

[BibT_eX]

[DOI]

Mona Lange

Proceedings of the 1st International Workshop on AI for Privacy and Security, 2016

Enabling semantic access to static and streaming distributed data with optique: demo.

[BibT_eX]

[DOI]

Proceedings of the 10th ACM International Conference on Distributed and Event-based Systems, 2016

A semantic approach to polystores.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE International Conference on Big Data (IEEE BigData 2016), 2016

2015

OBDA for Temporal Querying and Streams.

[BibT_eX]

[DOI]

Proceedings of the 1st Workshop on High-Level Declarative Stream Processing co-located with the 38th German AI conference (KI 2015), 2015

Stream-temporal Querying with Ontologies.

[BibT_eX]

[DOI]

Proceedings of the 1st Workshop on High-Level Declarative Stream Processing co-located with the 38th German AI conference (KI 2015), 2015

Dealing Efficiently with Ontology-Enhanced Linked Data for Multimedia.

[BibT_eX]

[DOI]

Proceedings of the 1st Workshop on High-Level Declarative Stream Processing co-located with the 38th German AI conference (KI 2015), 2015

Event Prioritization and Correlation Based on Pattern Mining Techniques.

[BibT_eX]

[DOI]

Proceedings of the 14th IEEE International Conference on Machine Learning and Applications, 2015

A Probabilistic Doxastic Temporal Logic for Reasoning about Beliefs in Multi-agent Systems.

[BibT_eX]

Proceedings of the ICAART 2015, 2015

Formalizing Agents' Beliefs for Cyber-Security Defense Strategy Planning.

[BibT_eX]

[DOI]

Proceedings of the International Joint Conference, 2015

Stream-Query Compilation with Ontologies.

[BibT_eX]

[DOI]

Proceedings of the AI 2015: Advances in Artificial Intelligence, 2015

Exploiting Innocuousness in Bayesian Networks.

[BibT_eX]

[DOI]

Proceedings of the AI 2015: Advances in Artificial Intelligence, 2015

Abduction in PDT Logic.

[BibT_eX]

[DOI]

Proceedings of the AI 2015: Advances in Artificial Intelligence, 2015

2014

CASAM: collaborative human-machine annotation of multimedia.

[BibT_eX]

[DOI]

Robert J. Hendley

Russell Beale

Chris P. Bowers

Christos Georgousopoulos

Charalampos Vassiliou

Sergios Petridis

Eric Karstens

Dimitris Spiliotopoulos

Multim. Tools Appl., 2014

PDT Logic for Stream Reasoning in Multi-agent Systems.

[BibT_eX]

[DOI]

Proceedings of the 6th International Symposium on Symbolic Computation in Software Science, 2014

Ontology Based Data Access on Temporal and Streaming Data.

[BibT_eX]

[DOI]

Proceedings of the Reasoning Web. Reasoning on the Web in the Big Data Era, 2014

A Stream-Temporal Query Language for Ontology Based Data Access.

[BibT_eX]

[DOI]

Proceedings of the KI 2014: Advances in Artificial Intelligence, 2014

2013

The Optique Project: Towards OBDA Systems for Industry (Short Paper).

[BibT_eX]

[DOI]

Proceedings of the 10th International Workshop on OWL: Experiences and Directions (OWLED 2013) co-located with 10th Extended Semantic Web Conference (ESWC 2013), 2013

BOEMIE: Reasoning-based Information Extraction.

[BibT_eX]

[DOI]

Georgios Petasis

Vangelis Karkaletsis

Proceedings of the 1st Workshop on Natural Language Processing and Automated Reasoning co-located with 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2013), 2013

Advances in Accessing Big Data with Expressive Ontologies.

[BibT_eX]

[DOI]

Proceedings of the KI 2013: Advances in Artificial Intelligence, 2013

Addressing Streaming and Historical Data in OBDA Systems: Optique's Approach.

[BibT_eX]

[DOI]

Proceedings of the Second International Workshop on Knowledge Discovery and Data Mining Meets Linked Open Data, 2013

Optique: OBDA Solution for Big Data.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web: ESWC 2013 Satellite Events, 2013

Spatial Semantics for Concepts.

[BibT_eX]

[DOI]

Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013

2012

The RacerPro knowledge representation and reasoning system.

[BibT_eX]

[DOI]

Semantic Web, 2012

Towards ABox Modularization of semi-expressive Description Logics.

[BibT_eX]

[DOI]

Appl. Ontology, 2012

Scalable Geo-thematic Query Answering.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2012, 2012

Towards Semantic Summaries over Ontologies.

[BibT_eX]

Proceedings of the KEOD 2012 - Proceedings of the International Conference on Knowledge Engineering and Ontology Development, Barcelona, Spain, 4, 2012

Nearness Rules and Scaled Proximity.

[BibT_eX]

[DOI]

Rolf Grütter

Proceedings of the ECAI 2012, 2012

Combining DL-Lite with Spatial Calculi for Feasible Geo-thematic Query Answering.

[BibT_eX]

[DOI]

Proceedings of the 2012 International Workshop on Description Logics, 2012

2011

Zur Rolle der Logik bei der Entwicklung Intelligenter Systeme.

[BibT_eX]

[DOI]

Künstliche Intell., 2011

Logical Formalization of Multimedia Interpretation.

[BibT_eX]

[DOI]

Proceedings of the Knowledge-Driven Multimedia Information Extraction and Ontology Evolution, 2011

2010

Towards Scalable Instance Retrieval over Ontologies.

[BibT_eX]

[DOI]

Int. J. Softw. Informatics, 2010

Towards Scalable Instance Retrieval over Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Knowledge Science, 2010

Sound Summarizations for Alchi Ontologies - How to Speedup Instance Checking and Instance Retrieval.

[BibT_eX]

Proceedings of the ICAART 2010 - Proceedings of the International Conference on Agents and Artificial Intelligence, Volume 1, 2010

Distributed Island-Based Query Answering for Expressive Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Advances in Grid and Pervasive Computing, 5th International Conference, 2010

A Probabilistic Abduction Engine for Media Interpretation based on Ontologies.

[BibT_eX]

[DOI]

Proceedings of the First International Workshop on Uncertainty in Description Logics, 2010

Gibbs Sampling in Probabilistic Description Logics with Deterministic Dependencies.

[BibT_eX]

[DOI]

Oliver Gries

Proceedings of the First International Workshop on Uncertainty in Description Logics, 2010

2009

Tableau-Based Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Handbook on Ontologies, 2009

Multimedia Interpretation for Dynamic Ontology Evolution.

[BibT_eX]

[DOI]

Silvana Castano

J. Log. Comput., 2009

Flexible software architectures for ontology-based information systems.

[BibT_eX]

[DOI]

J. Appl. Log., 2009

Querying Large-Scale Ontologies.

[BibT_eX]

Proceedings of the Seventeenth Italian Symposium on Advanced Database Systems, 2009

Updatable Island Reasoning for Alchi-ontologies.

[BibT_eX]

Proceedings of the KEOD 2009 - Proceedings of the International Conference on Knowledge Engineering and Ontology Development, Funchal, 2009

Islands and Query Answering for Alchi-ontologies.

[BibT_eX]

[DOI]

Proceedings of the Knowledge Discovery, Knowlege Engineering and Knowledge Management, 2009

The BOEMIE Semantic Browser: A Semantic Application Exploiting Rich Semantic Metadata.

[BibT_eX]

[DOI]

Proceedings of the 39. Jahrestagung der Gesellschaft für Informatik, Im Focus das Leben, INFORMATIK 2009, Lübeck, Germany, September 28, 2009

What Happened to Bob? Semantic Data Mining of Context Histories.

[BibT_eX]

[DOI]

Marko Luther

Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009

Formalizing Multimedia Interpretation based on Abduction over Description Logic Aboxes.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009

Algebraic Tableau Algorithm for ALCOQ.

[BibT_eX]

[DOI]

Jocelyne Faddoul

Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009

2008

On the Scalability of Description Logic Instance Retrieval.

[BibT_eX]

[DOI]

J. Autom. Reason., 2008

On scene interpretation with description logics.

[BibT_eX]

[DOI]

Bernd Neumann

Image Vis. Comput., 2008

Incremental Evaluation of OCL Invariants in the Essential MOF Object Model.

[BibT_eX]

[DOI]

Miguel García

Proceedings of the Modellierung 2008, 12.-14. März 2008, Berlin, 2008

Island Reasoning for [Ascr ][Lscr ][Cscr ][Hscr ][Iscr ] Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Formal Ontology in Information Systems, 2008

Mapping Validation by Probabilistic Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web: Research and Applications, 2008

A Hybrid Tableau Algorithm for [Ascr ][Lscr ][Cscr ][Qscr ].

[BibT_eX]

[DOI]

Proceedings of the ECAI 2008, 2008

ContraBovemRufum: A System for Probabilistic Lexicographic Entailment.

[BibT_eX]

[DOI]

Tobias Henrik Näth

Proceedings of the 21st International Workshop on Description Logics (DL2008), 2008

The Revival of Structural Subsumption in Tableau-based Reasoners.

[BibT_eX]

[DOI]

Proceedings of the 21st International Workshop on Description Logics (DL2008), 2008

A Hybrid Tableau Algorithm for ALCQ.

[BibT_eX]

[DOI]

Proceedings of the 21st International Workshop on Description Logics (DL2008), 2008

Towards a Media Interpretation Framework for the Semantic Web.

[BibT_eX]

[DOI]

Proceedings of the Logic and Probability for Scene Interpretation, 24.02. - 29.02.2008, 2008

08091 Abstracts Collection - Logic and Probability for Scene Interpretation.

[BibT_eX]

[DOI]

Proceedings of the Logic and Probability for Scene Interpretation, 24.02. - 29.02.2008, 2008

Implementing probabilistic description logics: An application to image interpretation.

[BibT_eX]

[DOI]

Tobias Henrik Näth

Proceedings of the Logic and Probability for Scene Interpretation, 24.02. - 29.02.2008, 2008

On Ontology Based Abduction for Text Interpretation.

[BibT_eX]

[DOI]

Sylvia Melzer

Proceedings of the Computational Linguistics and Intelligent Text Processing, 2008

2007

Certification of transformation algorithms in model-driven software development.

[BibT_eX]

[DOI]

Miguel García

Proceedings of the Software Engineering 2007, 2007

Design Principles and Realization Techniques for User Friendly, Interactive, and Scalable Ontology Browsing and Inspection Tools.

[BibT_eX]

[DOI]

Proceedings of the OWLED 2007 Workshop on OWL: Experiences and Directions, 2007

Towards a Scalable and Efficient Middleware for Instance Retrieval Inference Services.

[BibT_eX]

[DOI]

Proceedings of the OWLED 2007 Workshop on OWL: Experiences and Directions, 2007

Scalability of OWL Reasoning: Role condensates.

[BibT_eX]

[DOI]

Proceedings of the On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops, 2007

Leveraging the Expressivity of Grounded Conjunctive Query Languages.

[BibT_eX]

[DOI]

Proceedings of the On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops, 2007

Building a commercial OWL reasoner with Lisp.

[BibT_eX]

[DOI]

Boontawee Suntisrivaraporn

Proceedings of the International Lisp Conference, 2007

Towards a Foundation for Knowledge Management: Multimedia Interpretation as Abduction.

[BibT_eX]

[DOI]

Proceedings of the 2007 International Workshop on Description Logics (DL2007), 2007

2006

Reasoning Support for Ontology Design.

[BibT_eX]

[DOI]

Sergio Tessaris

Proceedings of the OWLED*06 Workshop on OWL: Experiences and Directions, 2006

On the Scalability of Description Logic Instance Retrieval.

[BibT_eX]

[DOI]

Proceedings of the KI 2006: Advances in Artificial Intelligence, 2006

Cost-Efficient Web Service compositions for querying processes over reasoning services.

[BibT_eX]

[DOI]

Proceedings of the 2006 International Workshop on Description Logics (DL2006), Windermere, Lake District, UK, May 30, 2006

How sensor data interpretation could benefit from description logics: A practical case study.

[BibT_eX]

[DOI]

Sylvia Melzer

Proceedings of the 2006 International Workshop on Description Logics (DL2006), Windermere, Lake District, UK, May 30, 2006

Experiences with Load Balancing and Caching for Semantic Web Applications.

[BibT_eX]

[DOI]

Proceedings of the 2006 International Workshop on Description Logics (DL2006), Windermere, Lake District, UK, May 30, 2006

2005

A High Performance Semantic Web Query Answering Engine.

[BibT_eX]

[DOI]

Proceedings of the 2005 International Workshop on Description Logics (DL2005), 2005

Description Logic Inference Technology: Lessions Learned in the Trenches.

[BibT_eX]

[DOI]

Proceedings of the 2005 International Workshop on Description Logics (DL2005), 2005

Development of a server to support the formal semantic web query language OWL-QL.

[BibT_eX]

[DOI]

Jan Galinski

Proceedings of the 2005 International Workshop on Description Logics (DL2005), 2005

2004

Optimization Techniques for Retrieving Resources Described in OWL/RDF Documents: First Results.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), 2004

Extended Query Facilities for Racer and an Application to Software-Engineering Problems.

[BibT_eX]

[DOI]

Ragnhild Van Der Straeten

Proceedings of the 2004 International Workshop on Description Logics (DL2004), 2004

2003

Description Logics for the Semantic Web: Racer as a Basis for Building Agent Systems.

[BibT_eX]

Künstliche Intell., 2003

Combining cardinal direction relations and relative orientation relations in Qualitative Spatial Reasoning

[BibT_eX]

[DOI]

Amar Isli

CoRR, 2003

Description Logic Systems with Concrete Domains: Applications for the Semantic Web.

[BibT_eX]

[DOI]

Proceedings of the 10th International Workshop on Knowledge Representation meets Databases (KRDB 2003), 2003

Racer: A Core Inference Engine for the Semantic Web.

[BibT_eX]

[DOI]

Proceedings of the EON2003, 2003

Description Logic Systems.

[BibT_eX]

Proceedings of the Description Logic Handbook: Theory, Implementation, and Applications, 2003

Graphical Interfaces for Racer: Querying DAML+OIL and RDF Documents.

[BibT_eX]

[DOI]

Ronald Cornet

Proceedings of the 2003 International Workshop on Description Logics (DL2003), 2003

Incremental Query Answering for Implementing Document Retrieval Services.

[BibT_eX]

[DOI]

Proceedings of the 2003 International Workshop on Description Logics (DL2003), 2003

The DIG Description Logic Interface.

[BibT_eX]

[DOI]

Sean Bechhofer

Peter Crowther

Proceedings of the 2003 International Workshop on Description Logics (DL2003), 2003

2002

Adding ternary complex roles to ALCRP(D).

[BibT_eX]

[DOI]

Proceedings of the 2002 International Workshop on Description Logics (DL2002), 2002

Practical Reasoning in RACER with a Concrete Domain for Linear Inequations.

[BibT_eX]

[DOI]

Proceedings of the 2002 International Workshop on Description Logics (DL2002), 2002

Optimization Strategies for Instance Retrieval.

[BibT_eX]

[DOI]

Proceedings of the 2002 International Workshop on Description Logics (DL2002), 2002

Visual Spatial Query Languages: A Semantics Using Description Logic.

[BibT_eX]

[DOI]

Proceedings of the Diagrammatic Representation and Reasoning, 2002

2001

High Performance Reasoning with Very Large Knowledge Bases: A Practical Case Study.

[BibT_eX]

Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001

Combining Tableaux and Algebraic Methods for Reasoning with Qualified Number Restrictions.

[BibT_eX]

[DOI]

Martina Timmann

Proceedings of the Working Notes of the 2001 International Description Logics Workshop (DL-2001), 2001

Optimizing Reasoning in Description Logics with Qualified Number Restrictions.

[BibT_eX]

[DOI]

Proceedings of the Working Notes of the 2001 International Description Logics Workshop (DL-2001), 2001

Description of the RACER System and its Applications.

[BibT_eX]

[DOI]

Proceedings of the Working Notes of the 2001 International Description Logics Workshop (DL-2001), 2001

The Description Logic ALCNH<sub>R+</sub> Extended with Concrete Domains: A Practically Motivated Approach.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning, First International Joint Conference, 2001

Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description Logics.

[BibT_eX]

[DOI]

Anni-Yasmin Turhan

Proceedings of the Automated Reasoning, First International Joint Conference, 2001

RACER System Description.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning, First International Joint Conference, 2001

2000

Consistency Testing: The RACE Experience.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2000

Expressive ABox Reasoning with Number Restrictions, Role Hierarchies, and Transitively Closed Roles.

[BibT_eX]

Proceedings of the KR 2000, 2000

ALCRA - ALC with Role Axioms.

[BibT_eX]

[DOI]

Proceedings of the 2000 International Workshop on Description Logics (DL2000), 2000

Optimizing TBox and ABox Reasoning with Pseudo Models.

[BibT_eX]

[DOI]

Proceedings of the 2000 International Workshop on Description Logics (DL2000), 2000

High Performance Reasoning with Very Large Knowledge Bases.

[BibT_eX]

[DOI]

Proceedings of the 2000 International Workshop on Description Logics (DL2000), 2000

1999

A Description Logic with Concrete Domains and a Role-forming Predicate Operator.

[BibT_eX]

[DOI]

Carsten Lutz

J. Log. Comput., 1999

On Specifying Semantics of Visual Spatial Query Languages.

[BibT_eX]

[DOI]

Proceedings of the 1999 IEEE Symposium on Visual Languages, 1999

Applying an ALC ABox Consistency Tester to Modal Logic SAT Problems.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 1999

Computing Probabilistic Least Common Subsumers in Description Logics.

[BibT_eX]

[DOI]

Thomas Mantay

Proceedings of the KI-99: Advances in Artificial Intelligence, 1999

On Terminological Default Reasoning about Spatial Information: Extended Abstract.

[BibT_eX]

[DOI]

Proceedings of the 1999 International Workshop on Description Logics (DL'99), Linköping, Sweden, July 30, 1999

RACE System Description.

[BibT_eX]

[DOI]

Proceedings of the 1999 International Workshop on Description Logics (DL'99), Linköping, Sweden, July 30, 1999

An Empirical Evaluation of Optimization Strategies for ABox Reasoning in Expressive Description Logics.

[BibT_eX]

[DOI]

Proceedings of the 1999 International Workshop on Description Logics (DL'99), Linköping, Sweden, July 30, 1999

Terminological Default Reasoning about Spatial Information: A First Step.

[BibT_eX]

[DOI]

Proceedings of the Spatial Information Theory: Cognitive and Computational Foundations of Geographic Information Science, 1999

1998

Foundations of Spatioterminological Reasoning with Description Logics.

[BibT_eX]

Carsten Lutz

Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), 1998

Implementing an ALCRP(D) ABox Reasoner - Progress Report.

[BibT_eX]

[DOI]

Anni-Yasmin Turhan

Proceedings of the 1998 International Workshop on Description Logics (DL'98), IRST, Povo, 1998

HAM-ALC.

[BibT_eX]

[DOI]

Anni-Yasmin Turhan

Proceedings of the 1998 International Workshop on Description Logics (DL'98), IRST, Povo, 1998

1997

Defined Topological Relations in Description Logics.

[BibT_eX]

[DOI]

Carsten Lutz

Proceedings of the 1997 International Workshop on Description Logics, 1997

Spatioterminological Reasoning: Subsumption Based on Geometrical Inferences.

[BibT_eX]

[DOI]

Proceedings of the 1997 International Workshop on Description Logics, 1997

1996

A Functional Layer for Description Logics: Knowledge Representation Meets Object-Oriented Programing.

[BibT_eX]

[DOI]

Proceedings of the 1996 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 1996

Avoiding Combinatorial Explosion in Automatic Test Generation: Reasoning about Measurements is the Key.

[BibT_eX]

[DOI]

Harald Lange

Bernd Neumann

Proceedings of the KI-96: Advances in Artificial Intelligence, 1996

HAMVIS: Generierung von Visualisierungen in einem Rahmensystem zur systematischen Entwicklung von Benutzungsschnittstellen.

[BibT_eX]

[DOI]

Proceedings of the Ausgezeichnete Informatikdissertationen 1996, 1996

Knowledge-Based Dialog Structuring for Graphics Interaction.

[BibT_eX]

Proceedings of the 12th European Conference on Artificial Intelligence, 1996

Object-Oriented Programming Support for CLASSIC.

[BibT_eX]

Proceedings of the 1996 International Workshop on Description Logics, 1996

HAMVIS: Generierung von Visualisierungen in einem Rahmensystem zur systematischen Entwicklung von Benutzungsschnittstellen.

[BibT_eX]

[DOI]

DISKI 149, Infix Verlag, St. Augustin, Germany, ISBN: 3-89601-149-9, 1996

1994

Combining Spatial and Terminological Reasoning.

[BibT_eX]

[DOI]

Carsten Schröder

Proceedings of the KI-94: Advances in Artificial Intelligence, 1994

1993

Visualisierung und Benutzungsschnittstellen: Anwendungen und Forschungsfragen.

[BibT_eX]

[DOI]

Proceedings of the Informatik - Wirtschaft - Gesellschaft, 23. Gi-Jahrestagung, Dresden, Germany, 27. September, 1993

1992

Visualization and graphical layout in object-oriented systems.

[BibT_eX]

[DOI]

J. Vis. Lang. Comput., 1992

1990

A Declarative Formalism for Specifying Graphical Layout.

[BibT_eX]

[DOI]

Proceedings of the 1990 IEEE Workshop on Visual Languages, 1990

A Framework for Visualizing Object-Oriented Systems.

[BibT_eX]

[DOI]

Proceedings of the Conference on Object-Oriented Programming Systems, 1990

Layoutspezifikationen für komplexe graphische Objekte.

[BibT_eX]

[DOI]

Proceedings of the Graphik und KI, 1990

1989

Visualisierungen beim Entwicklungsprozeß experimenteller Programmsysteme.

[BibT_eX]

[DOI]

Proceedings of the Software-Ergonomie '89, 1989

1988

Visualization of experimental systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE Workshop on Visual Languages, 1988

Visualisierung und Animation in der experimentellen Bildauswertung.

[BibT_eX]

[DOI]

Proceedings of the Visualisierungstechniken und Algorithmen, 1988

Eine graphische Umgebung zur experimentellen Bildverarbeitung.

[BibT_eX]

[DOI]