Search filters

List of works by Ulrike Sattler

4 Computational modal logic

A Little Semantic Web Goes a Long Way in Biology

article by K. Wolstencroft et al published 2005 in Lecture Notes in Computer Science

A Multi-reasoner, Justification-Based Approach to Reasoner Correctness

scientific article published at ISWC 2015

A Study on the Atomic Decomposition of Ontologies

scientific article published at ISWC 2014

A Tableau Decision Procedure for $\mathcal{SHOIQ}$

An Overview of Tableau Algorithms for Description Logics

Bridging the gap between OWL and relational databases

Bridging the gap between OWL and relational databases

Can OWL and Logic Programming Live Together Happily Ever After?

scientific article published in ISWC 2006

Chapter 3 Description Logics

Comparing Ontologies with ecco

scientific article published in proceedings of the iswc 2013 posters & demonstrations track

Concept-Based Semantic Difference in Expressive Description Logics

scientific article published at ISWC 2012

DNA damage response pathway uses histone modification to assemble a double-strand break-specific cohesin domain

scientific article

Decidability of SHIQ with complex role inclusion axioms

Decomposition and Modular Structure of BioPortal Ontologies

scientific article published in ISWC 2011

Description logics with aggregates and concrete domains

Detecting Influences of Ontology Design Patterns in Biomedical Ontologies

scientific article published at ISWC 2019

Empirical Study of Logic-Based Modules: Cheap Is Cheerful

scientific article published at ISWC 2013

Evaluating Modelling Approaches for Medical Image Annotations

scholarly article by Jasmin Opitz et al published 4 January 2013 in Proceedings of the Workshop on Semantic Web Applications and Tools for Life Sciences

Explanation of OWL Entailments in Protege 4

scientific article published in iswc2008 posters and demonstrations

Extracting Justifications from BioPortal Ontologies

scientific article published at ISWC 2012

Extracting Modules from Ontologies: A Logic-Based Approach

General Terminology Induction in OWL

scientific article published at ISWC 2015

Hybrid Logics and Ontology Languages

Introducing Defeasibility into OWL Ontologies

scientific article published at ISWC 2015

Just the right amount

JustBench: A Framework for OWL Benchmarking

scientific article published in ISWC 2010

Justification Oriented Proofs in OWL

scientific article published in ISWC 2010

Laconic and Precise Justifications in OWL

Long-patch DNA repair synthesis during base excision repair in mammalian cells

scientific article

Measuring Similarity in Ontologies: A New Family of Measures

scientific article published in proceedings of the iswc 2014 posters & demonstrations track

Mining Hypotheses from Data in OWL: Advanced Evaluation and Complete Construction

scientific article published at ISWC 2017

OWL 2: The next step for OWL

article by Bernardo Cuenca Grau et al published November 2008 in Journal of Web Semantics

Ontology-Based Multiple Choice Question Generation

Performance Heterogeneity and Approximate Reasoning in Description Logic Ontologies

scientific article published at ISWC 2012

Practical Reasoning for Expressive Description Logics

Query Answering for OWL-DL with Rules

scientific article published in ISWC 2004

Representing ontologies using description logics, description graphs, and rules

Safe and Economic Re-Use of Ontologies: A Logic-Based Methodology and Tool Support

Seven Bottlenecks to Workflow Reuse and Repurposing

article by Antoon Goderis et al published 2005 in Lecture Notes in Computer Science

Structured objects in owl

The Cognitive Complexity of OWL Justifications

scientific article published in ISWC 2011

The Empirical Robustness of Description Logic Classification

scientific article published in proceedings of the iswc 2013 posters & demonstrations track

The Justificatory Structure of the NCBO BioPortal Ontologies

The Manchester OWL Repository: System Description

scientific article published in proceedings of the iswc 2014 posters & demonstrations track

Understanding and using the meaning of statements in a bio-ontology: recasting the Gene Ontology in OWL

scientific article