Ulrike Sattler

According to our database1, Ulrike Sattler authored at least 183 papers between 1995 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2019
Theoretical Foundations of Defeasible Description Logics.
CoRR, 2019

Ontology-Based Generation of Medical, Multi-term MCQs.
I. J. Artificial Intelligence in Education, 2019

Comparing Approaches for Capturing Repetitive Structures in Ontology Design Patterns.
Proceedings of the 10th Workshop on Ontology Design and Patterns (WOP 2019) co-located with 18th International Semantic Web Conference (ISWC 2019), 2019

Detecting Influences of Ontology Design Patterns in Biomedical Ontologies.
Proceedings of the Semantic Web - ISWC 2019, 2019

Avoiding Subsumption Tests During Classification Using the Atomic Decomposition.
Proceedings of the 32nd International Workshop on Description Logics, 2019

A Tour of Franz Baader's Contributions to Knowledge Representation and Automated Deduction.
Proceedings of the Description Logic, Theory Combination, and All That, 2019

2018
OWL Reasoning: Subsumption Test Hardness and Modularity.
J. Autom. Reasoning, 2018

Generating Ontologies from Templates: A Rule-Based Approach for Capturing Regularity.
CoRR, 2018

Ontology Stratification Methods: A Comparative Study.
Proceedings of the Joint Proceedings of Reasoning with Ambiguous and Conflicting Evidence and Recommendations in Medicine (MedRACER 2018) and the 3rd International Workshop on Ontology Modularity, 2018

Generating Ontologies from Templates: A Rule-Based Approach for Capturing Regularity.
Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to, 2018

2017
Using Semantic Web Technologies to Underpin the SNOMED CT Query Language.
Proceedings of the Artificial Intelligence XXXIV, 2017

Mining Hypotheses from Data in OWL: Advanced Evaluation and Complete Construction.
Proceedings of the Semantic Web - ISWC 2017, 2017

An Introduction to Description Logic.
Cambridge University Press, ISBN: 978-0-521-69542-8, 2017

2016
Ontology-Based Multiple Choice Question Generation.
KI, 2016

An Experimental Evaluation of Automatically Generated Multiple Choice Questions from Ontologies.
Proceedings of the OWL: - Experiences and Directions - Reasoner Evaluation, 2016

2015
General Terminology Induction in OWL.
Proceedings of the Semantic Web - ISWC 2015, 2015

A Multi-reasoner, Justification-Based Approach to Reasoner Correctness.
Proceedings of the Semantic Web - ISWC 2015, 2015

Introducing Defeasibility into OWL Ontologies.
Proceedings of the Semantic Web - ISWC 2015, 2015

A Similarity Based Approach to Omission Finding in Ontologies.
Proceedings of the Ontology Engineering, 2015

A Survey of Current, Stand-alone OWL Reasoners.
Proceedings of the Informal Proceedings of the 4th International Workshop on OWL Reasoner Evaluation (ORE-2015) co-located with the 28th International Workshop on Description Logics (DL 2015), 2015

Verifying Reasoner Correctness - A Justication Based Method.
Proceedings of the Informal Proceedings of the 4th International Workshop on OWL Reasoner Evaluation (ORE-2015) co-located with the 28th International Workshop on Description Logics (DL 2015), 2015

TBox Reasoning in the Probabilistic Description Logic SHIQp.
Proceedings of the 28th International Workshop on Description Logics, 2015

Empirical Investigation of Subsumption Test Hardness in Description Logic Classification.
Proceedings of the 28th International Workshop on Description Logics, 2015

2014
Practical Defeasible Reasoning for Description Logics.
Proceedings of the STAIRS 2014, 2014

The Manchester OWL Repository: System Description.
Proceedings of the ISWC 2014 Posters & Demonstrations Track a track within the 13th International Semantic Web Conference, 2014

A Study on the Atomic Decomposition of Ontologies.
Proceedings of the Semantic Web - ISWC 2014, 2014

Measuring similarity in ontologies: a new family of measures.
Proceedings of the ISWC 2014 Posters & Demonstrations Track a track within the 13th International Semantic Web Conference, 2014

Generating Multiple Choice Questions From Ontologies: Lessons Learnt.
Proceedings of the 11th International Workshop on OWL: Experiences and Directions (OWLED 2014) co-located with 13th International Semantic Web Conference on (ISWC 2014), 2014

A Family History Knowledge Base in OWL 2.
Proceedings of the Informal Proceedings of the 3rd International Workshop on OWL Reasoner Evaluation (ORE 2014) co-located with the Vienna Summer of Logic (VSL 2014), 2014

Predicting Performance of OWL Reasoners: Locally or Globally?
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014

Algorithm for Adapting Cases Represented in a Tractable Description Logic.
Proceedings of the Case-Based Reasoning Research and Development, 2014

Generating Multiple Choice Questions From Ontologies: How Far Can We Go?
Proceedings of the Knowledge Engineering and Knowledge Management, 2014

Predicting OWL Reasoners: Locally or Globally?
Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

DIP: A Defeasible-Inference Platform for OWL Ontologies.
Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

An Empirical Investigation of Difficulty of Subsets of Description Logic Ontologies.
Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

Temporalising EL Concepts with Time Intervals.
Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

An ABox Revision Algorithm for the Description Logic EL_bot.
Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

Measuring Conceptual Similarity in Ontologies: How Bad is a Cheap Measure?
Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

2013
Toward cognitive support for OWL justifications.
Knowl.-Based Syst., 2013

Empirical Study of Logic-Based Modules: Cheap Is Cheerful.
Proceedings of the Semantic Web - ISWC 2013, 2013

Comparing Ontologies with ecco.
Proceedings of the ISWC 2013 Posters & Demonstrations Track, 2013

The Empirical Robustness of Description Logic Classification.
Proceedings of the ISWC 2013 Posters & Demonstrations Track, 2013

Finding Fault: Detecting Issues in a Versioned Ontology.
Proceedings of the Semantic Web: ESWC 2013 Satellite Events, 2013

The logical diversity of explanations in OWL ontologies.
Proceedings of the 22nd ACM International Conference on Information and Knowledge Management, 2013

2012
Foundations and Challenges of Change and Evolution in Ontologies (Dagstuhl Seminar 12441).
Dagstuhl Reports, 2012

Syntactic vs. Semantic Locality: How Good Is a Cheap Approximation?
Proceedings of the 6th International Workshop on Modular Ontologies, 2012

Extracting Justifications from BioPortal Ontologies.
Proceedings of the Semantic Web - ISWC 2012, 2012

Concept-Based Semantic Difference in Expressive Description Logics.
Proceedings of the Semantic Web - ISWC 2012, 2012

Performance Heterogeneity and Approximate Reasoning in Description Logic Ontologies.
Proceedings of the Semantic Web - ISWC 2012, 2012

Ecco: A Hybrid Diff Tool for OWL 2 ontologies.
Proceedings of OWL: Experiences and Directions Workshop 2012, 2012

Mining Ontologies for Analogy Questions: A Similarity-based Approach.
Proceedings of OWL: Experiences and Directions Workshop 2012, 2012

Justification Masking in Ontologies.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012

Representation of Part-Whole Relationships in SNOMED CT.
Proceedings of the 3rd International Conference on Biomedical Ontology (ICBO 2012), 2012

Declutter Your Justifications: Determining Similarity Between OWL Explanations.
Proceedings of the First International Workshop on Debugging Ontologies and Ontology Mappings, 2012

Logical Relevance in Ontologies.
Proceedings of the 2012 International Workshop on Description Logics, 2012

Diversity of Reason: Equivalence Relations over Description Logic Explanations.
Proceedings of the 2012 International Workshop on Description Logics, 2012

2011
The Modular Structure of an Ontology: Atomic Decomposition and Module Count.
Proceedings of the Modular Ontologies - Proceedings of the Fifth International Workshop, 2011

Decomposition and Modular Structure of BioPortal Ontologies.
Proceedings of the Semantic Web - ISWC 2011, 2011

The Cognitive Complexity of OWL Justifications.
Proceedings of the Semantic Web - ISWC 2011, 2011

The Justificatory Structure of the NCBO BioPortal Ontologies.
Proceedings of the Semantic Web - ISWC 2011, 2011

The Modular Structure of an Ontology: Atomic Decomposition.
Proceedings of the IJCAI 2011, 2011

Topicality in Logic-Based Ontologies.
Proceedings of the Conceptual Structures for Discovering Knowledge, 2011

Analysing Multiple Versions of an Ontology: A Study of the NCI Thesaurus.
Proceedings of the 24th International Workshop on Description Logics (DL 2011), 2011

Extracting Finite Sets of Entailments from OWL Ontologies.
Proceedings of the 24th International Workshop on Description Logics (DL 2011), 2011

Categorising logical differences between OWL ontologies.
Proceedings of the 20th ACM Conference on Information and Knowledge Management, 2011

Analysing the evolution of the NCI Thesaurus.
Proceedings of the 24th IEEE International Symposium on Computer-Based Medical Systems, 2011

Mooop - A Hybrid Integration of OWL and Java.
Proceedings of the Advanced Information Systems Engineering Workshops, 2011

2010
Special issue on automated deduction: Decidability, complexity, tractability.
J. Symb. Comput., 2010

The modular structure of an ontology: an empirical study.
Proceedings of the Modular Ontologies - Proceedings of the Fourth International Workshop, 2010

Evaluating Modelling Approaches for Medical Image Annotations.
Proceedings of the Workshop on Semantic Web Applications and Tools for Life Sciences, 2010

Information system analysis.
Proceedings of the International Workshop on Evaluation of Semantic Technologies (IWEST 2010), 2010

Justification Oriented Proofs in OWL.
Proceedings of the Semantic Web - ISWC 2010 - 9th International Semantic Web Conference, 2010

JustBench: A Framework for OWL Benchmarking.
Proceedings of the Semantic Web - ISWC 2010 - 9th International Semantic Web Conference, 2010

Representing Chemicals Using OWL, Description Graphs and Rules.
Proceedings of the 7th International Workshop on OWL: Experiences and Directions (OWLED 2010), 2010

The Justificatory Structure of OWL Ontologies.
Proceedings of the 7th International Workshop on OWL: Experiences and Directions (OWLED 2010), 2010

Justification Masking in OWL.
Proceedings of the 23rd International Workshop on Description Logics (DL 2010), 2010

2009
Extracting Modules from Ontologies: A Logic-Based Approach.
Proceedings of the Modular Ontologies: Concepts, 2009

Description Logics.
Proceedings of the Handbook on Ontologies, 2009

Bridging the gap between OWL and relational databases.
J. Web Semant., 2009

Representing ontologies using description logics, description graphs, and rules.
Artif. Intell., 2009

Explaining Inconsistencies in OWL Ontologies.
Proceedings of the Scalable Uncertainty Management, Third International Conference, 2009

A Solution for the Man-Man Problem in the Family History Knowledge Base.
Proceedings of the 5th International Workshop on OWL: Experiences and Directions (OWLED 2009), 2009

Mechanisms for Importing Modules.
Proceedings of the 5th International Workshop on OWL: Experiences and Directions (OWLED 2009), 2009

Using Ontologies for Medical Image Retrieval - An Experiment.
Proceedings of the 5th International Workshop on OWL: Experiences and Directions (OWLED 2009), 2009

From Justifications to Proofs for Entailments in OWL.
Proceedings of the 5th International Workshop on OWL: Experiences and Directions (OWLED 2009), 2009

Minimal Module Extraction from DL-Lite Ontologies Using QBF Solvers.
Proceedings of the IJCAI 2009, 2009

Which Kind of Module Should I Extract?
Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009

On Correspondences between Probabilistic First-Order and Description Logics.
Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009

Lemmas for Justifications in OWL.
Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009

Explaining by Example: Model Exploration for Ontology Comprehension.
Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009

2008
Description Logics.
Proceedings of the Handbook of Knowledge Representation, 2008

OWL 2: The next step for OWL.
J. Web Semant., 2008

Modular Reuse of Ontologies: Theory and Practice.
J. Artif. Intell. Res., 2008

Conjunctive Query Answering for the Description Logic SHIQ.
J. Artif. Intell. Res., 2008

Deciding expressive description logics in the framework of resolution.
Inf. Comput., 2008

Structured objects in owl: representation and reasoning.
Proceedings of the 17th International Conference on World Wide Web, 2008

Explanation of OWL Entailments in Protege 4.
Proceedings of the Poster and Demonstration Session at the 7th International Semantic Web Conference (ISWC2008), 2008

Laconic and Precise Justifications in OWL.
Proceedings of the Semantic Web - ISWC 2008, 7th International Semantic Web Conference, 2008

Easy Keys for OWL.
Proceedings of the Fifth OWLED Workshop on OWL: Experiences and Directions, 2008

Modeling Ontologies using OWL, Description Graphs, and Rules.
Proceedings of the Fifth OWLED Workshop on OWL: Experiences and Directions, 2008

Understanding Entailments in OWL.
Proceedings of the Fifth OWLED Workshop on OWL: Experiences and Directions, 2008

Representing Structured Objects using Description Graphs.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008

Unions of Conjunctive Queries in SHOQ.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008

Safe and Economic Re-Use of Ontologies: A Logic-Based Methodology and Tool Support.
Proceedings of the Semantic Web: Research and Applications, 2008

The Representation of Structured Objects in DLs using Description Graphs.
Proceedings of the 21st International Workshop on Description Logics (DL2008), 2008

Next Steps for Description Logics of Minimal Knowledge and Negation as Failure.
Proceedings of the 21st International Workshop on Description Logics (DL2008), 2008

Deciding SHOQ^cap Knowledge Base Consistency using Alternating Automata.
Proceedings of the 21st International Workshop on Description Logics (DL2008), 2008

Rewriting Rules into SROIQ Axioms.
Proceedings of the 21st International Workshop on Description Logics (DL2008), 2008

2007
Reasoning in Description Logics by a Reduction to Disjunctive Datalog.
J. Autom. Reasoning, 2007

A Tableau Decision Procedure for SHOIQ.
J. Autom. Reasoning, 2007

Using OWL to model biological knowledge.
Int. J. Hum.-Comput. Stud., 2007

Hybrid Logics and Ontology Languages.
Electr. Notes Theor. Comput. Sci., 2007

Understanding and using the meaning of statements in a bio-ontology: recasting the Gene Ontology in OWL.
BMC Bioinformatics, 2007

Just the right amount: extracting modules from ontologies.
Proceedings of the 16th International Conference on World Wide Web, 2007

Reasoning in Description Logics: Basics, Extensions, and Relatives.
Proceedings of the Reasoning Web, 2007

Adding Integrity Constraints to OWL.
Proceedings of the OWLED 2007 Workshop on OWL: Experiences and Directions, 2007

Extracting Modules from Ontologies: A Logic-based Approach.
Proceedings of the OWLED 2007 Workshop on OWL: Experiences and Directions, 2007

Completing Description Logic Knowledge Bases using Formal Concept Analysis.
Proceedings of the OWLED 2007 Workshop on OWL: Experiences and Directions, 2007

How Many Legs Do I Have? Non-Simple Roles in Number Restrictions Revisited.
Proceedings of the Logic for Programming, 2007

A Logical Framework for Modularity of Ontologies.
Proceedings of the IJCAI 2007, 2007

Ontology Reuse: Better Safe than Sorry.
Proceedings of the 2007 International Workshop on Description Logics (DL2007), 2007

Conjunctive Query Entailment for SHOQ.
Proceedings of the 2007 International Workshop on Description Logics (DL2007), 2007

Computational modal logic.
Proceedings of the Handbook of Modal Logic., 2007

2006
BDD-based decision procedures for the modal logic K.
Journal of Applied Non-Classical Logics, 2006

Can OWL and Logic Programming Live Together Happily Ever After?
Proceedings of the Semantic Web - ISWC 2006, 5th International Semantic Web Conference, 2006

Reasoning Support for Ontology Design.
Proceedings of the OWLED*06 Workshop on OWL: Experiences and Directions, 2006

Next Steps for OWL.
Proceedings of the OWLED*06 Workshop on OWL: Experiences and Directions, 2006

A Case for Abductive Reasoning over Ontologies.
Proceedings of the OWLED*06 Workshop on OWL: Experiences and Directions, 2006

A Comparison of Reasoning Techniques for Querying Large Description Logic ABoxes.
Proceedings of the Logic for Programming, 2006

The Even More Irresistible SROIQ.
Proceedings of the Proceedings, 2006

Will my Ontologies Fit Together?
Proceedings of the 2006 International Workshop on Description Logics (DL2006), Windermere, Lake District, UK, May 30, 2006

Conjunctive Query Answering for Description Logics with Transitive Roles.
Proceedings of the 2006 International Workshop on Description Logics (DL2006), Windermere, Lake District, UK, May 30, 2006

Deciding Semantic Matching of Stateless Services.
Proceedings of the Proceedings, 2006

2005
Query Answering for OWL-DL with rules.
J. Web Semant., 2005

Keys, Nominals, and Concrete Domains.
J. Artif. Intell. Res., 2005

The complexity of finite model reasoning in description logics.
Inf. Comput., 2005

A Little Semantic Web Goes a Long Way in Biology.
Proceedings of the Semantic Web, 2005

Seven Bottlenecks to Workflow Reuse and Repurposing.
Proceedings of the Semantic Web, 2005

The Irresistible SRIQ.
Proceedings of the OWLED*05 Workshop on OWL: Experiences and Directions, 2005

Data Complexity of Reasoning in Very Expressive Description Logics.
Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

A Tableaux Decision Procedure for SHOIQ.
Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

Applying Description Logics for Workflow Reuse and Repurposing.
Proceedings of the 2005 International Workshop on Description Logics (DL2005), 2005

Description Logics as Ontology Languages for the Semantic Web.
Proceedings of the Mechanizing Mathematical Reasoning, 2005

Integrating Description Logics and Action Formalisms: First Results.
Proceedings of the Proceedings, 2005

2004
Decidability of SHIQ with complex role inclusion axioms.
Artif. Intell., 2004

A Decomposition Rule for Decision Procedures by Resolution-Based Calculi.
Proceedings of the Logic for Programming, 2004

Reducing SHIQ-Description Logic to Disjunctive Datalog Programs.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), 2004

Reasoning in Description Logics with a Concrete Domain in the Framework of Resolution.
Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

Description Logics.
Proceedings of the Handbook on Ontologies, 2004

2003
Description logics with aggregates and concrete domains.
Inf. Syst., 2003

Relationships with other Formalisms.
Proceedings of the Description Logic Handbook: Theory, Implementation, and Applications, 2003

Finite Model Reasoning in ALCQI is EXPTIME Logics.
Proceedings of the 2003 International Workshop on Description Logics (DL2003), 2003

A Translation of Looping Alternating Automata into Description Logics.
Proceedings of the Automated Deduction - CADE-19, 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28, 2003

2002
Description Logics for the Semantic Web.
KI, 2002

Automata-Theoretic Decision Procedures for Information Logics.
Fundam. Inform., 2002

Optimised Reasoning for SHIQ.
Proceedings of the 15th Eureopean Conference on Artificial Intelligence, 2002

A proposal for describing services with DLs.
Proceedings of the 2002 International Workshop on Description Logics (DL2002), 2002

BDD-Based Decision Procedures for K.
Proceedings of the Automated Deduction, 2002

The Complexity of the Graded µ-Calculus.
Proceedings of the Automated Deduction, 2002

2001
An Overview of Tableau Algorithms for Description Logics.
Studia Logica, 2001

Ontology Reasoning in the SHOQ(D) Description Logic.
Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001

Description Logics and the Two-Variable Fragment.
Proceedings of the Working Notes of the 2001 International Description Logics Workshop (DL-2001), 2001

Modal Logic and the Two-Variable Fragment.
Proceedings of the Computer Science Logic, 15th International Workshop, 2001

The Hybrid µ-Calculus.
Proceedings of the Automated Reasoning, First International Joint Conference, 2001

2000
Practical Reasoning for Very Expressive Description Logics.
Logic Journal of the IGPL, 2000

How to Decide Query Containment Under Constraints Using a Description Logic.
Proceedings of the Logic for Programming and Automated Reasoning, 2000

Description Logics for the Representation of Aggregated Objects.
Proceedings of the ECAI 2000, 2000

Mary Likes all Cats.
Proceedings of the 2000 International Workshop on Description Logics (DL2000), 2000

Reasoning with Individuals for the Description Logic SHIQ.
Proceedings of the Automated Deduction, 2000

The Complexity of Reasoning with Boolean Modal Logics.
Proceedings of the Advances in Modal Logic 3, 2000

1999
A Description Logic with Transitive and Inverse Roles and Role Hierarchies.
J. Log. Comput., 1999

Expressive Number Restrictions in Description Logics.
J. Log. Comput., 1999

Practical Reasoning for Expressive Description Logics.
Proceedings of the Logic Programming and Automated Reasoning, 6th International Conference, 1999

A Data Warehouse Conceptual Data Model for Multidimensional Aggregation.
Proceedings of the Intl. Workshop on Design and Management of Data Warehouses, 1999

A Suggestion for an n-ary Description Logic.
Proceedings of the 1999 International Workshop on Description Logics (DL'99), Linköping, Sweden, July 30, 1999

1998
Modeling multidimensional database: a formal object-oriented approach.
Proceedings of the Sixth European Conference on Information Systems, 1998

Description Logics with Concrete Domains and Aggregation.
Proceedings of the 13th European Conference on Artificial Intelligence, 1998

Terminological knowledge representation systems in a process engineering application.
PhD thesis, 1998

1996
Number Restrictions on Complex Roles in Description Logics: A Preliminary Report.
Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning (KR'96), 1996

A Concept Language Extended with Different Kinds of Transitive Roles.
Proceedings of the KI-96: Advances in Artificial Intelligence, 1996

Description Logics with Symbolic Number Restrictions.
Proceedings of the 12th European Conference on Artificial Intelligence, 1996

Knowledge Representation in Process Engineering.
Proceedings of the 1996 International Workshop on Description Logics, 1996

1995
Constructible Differentially Finite Algebraic Series in Several Variables.
Theor. Comput. Sci., 1995


  Loading...