Ulrike Sattler

According to our database, Ulrike Sattler authored at least 203 papers between 1995 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

TransBox: EL++-closed Ontology Embedding.

Hui Yang, Jiaoyan Chen, Uli Sattler

CoRR, 2024

Minimal Macro-Based Rewritings of Formal Languages: Theory and Applications in Ontology Engineering (and Beyond).

Christian Kindermann, Anne-Marie George, Bijan Parsia, Uli Sattler

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2022

Next Steps for ReAD: Modules for Classification Optimisation.

Haoruo Zhao, Bijan Parsia, Uli Sattler

Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), 2022

Saturation-Based Uniform Interpolation for Multi-Modal Logics.

Ruba Alassaf, Renate A. Schmidt, Uli Sattler

Proceedings of the Advances in Modal Logic, AiML 2022, Rennes, France, 2022

2021

Principles of KLM-style Defeasible Description Logics.

Katarina Britz, Giovanni Casini, Thomas Meyer, Kody Moodley, Uli Sattler, Ivan Varzinczak

ACM Trans. Comput. Log., 2021

A comparative study of methods for a priori prediction of MCQ difficulty.

Ghader Kurdi, Jared Leo, Nicolas Matentzoglu, Bijan Parsia, Uli Sattler, Sophie Forge, Gina Donato, Will Dowling

Semantic Web, 2021

Extending the Synergies Between SAT and Description Logics (Dagstuhl Seminar 21361).

João Marques-Silva, Rafael Peñaloza, Uli Sattler

Dagstuhl Reports, 2021

Syntactic Regularities Based on Language Abstractions.

Christian Kindermann, Bijan Parsia, Uli Sattler

Proceedings of the Advances in Pattern-Based Ontology Engineering, 2021

Encoding Repetitive Structures in Ontologies.

Christian Kindermann, Bijan Parsia, Uli Sattler

Proceedings of the Advances in Pattern-Based Ontology Engineering, 2021

Ontology-based n-ball Concept Embeddings Informing Few-shot Image Classification.

Mirantha Jayathilaka, Tingting Mu, Uli Sattler

Proceedings of the Machine Learning with Symbolic Methods and Knowledge Graphs co-located with European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases (ECML PKDD 2021), 2021

Resolution-Based Uniform Interpolation for Multi-Agent Modal Logic K_n.

Ruba Alassaf, Renate A. Schmidt, Uli Sattler

Proceedings of the Second Workshop on Second-Order Quantifier Elimination and Related Topics (SOQE 2021) associated with the 18th International Conference on Principles of Knowledge Representation and Reasoning (KR 2021), 2021

ReAD: AD-Based Modular Ontology Classification.

Haoruo Zhao, Bijan Parsia, Uli Sattler

Proceedings of the Logics in Artificial Intelligence - 17th European Conference, 2021

Towards Knowledge-aware Few-shot Learning with Ontology-based n-ball Concept Embeddings.

Mirantha Jayathilaka, Tingting Mu, Uli Sattler

Proceedings of the 20th IEEE International Conference on Machine Learning and Applications, 2021

2020

A systematic survey of temporal requirements of bio-health ontologies.

Jared Leo, Nicolas Matentzoglu, Uli Sattler, Bijan Parsia

Semantic Web, 2020

Interview with Uli Sattler.

Uli Sattler, Thomas Schneider

Künstliche Intell., 2020

Modular Structures and Atomic Decomposition in Ontologies.

Chiara Del Vescovo, Matthew Horridge, Bijan Parsia, Uli Sattler, Thomas Schneider, Haoruo Zhao

J. Artif. Intell. Res., 2020

A Systematic Review of Automatic Question Generation for Educational Purposes.

Ghader Kurdi, Jared Leo, Bijan Parsia, Uli Sattler, Salam Al-Emari

Int. J. Artif. Intell. Educ., 2020

Prevalence and Effects of Class Hierarchy Precompilation in Biomedical Ontologies.

Christian Kindermann, Bijan Parsia, Uli Sattler

Proceedings of the Semantic Web - ISWC 2020, 2020

ReAD: Delegate OWL Reasoners for Ontology Classification with Atomic Decomposition.

Haoruo Zhao, Bijan Parsia, Uli Sattler

Proceedings of the Joint Ontology Workshops co-located with the Bolzano Summer of Knowledge (BOSK 2020), 2020

Visual-Semantic Embedding Model Informed by Structured Knowledge.

Mirantha Jayathilaka, Tingting Mu, Uli Sattler

Proceedings of the 9th European Starting AI Researchers' Symposium 2020 co-located with 24th European Conference on Artificial Intelligence (ECAI 2020), 2020

2019

Theoretical Foundations of Defeasible Description Logics.

Katarina Britz, Giovanni Casini, Thomas Meyer, Kody Moodley, Uli Sattler, Ivan Varzinczak

CoRR, 2019

Ontology-Based Generation of Medical, Multi-term MCQs.

Jared Leo, Ghader Kurdi, Nicolas Matentzoglu, Bijan Parsia, Ulrike Sattler, Sophie Forge, Gina Donato, Will Dowling

Int. J. Artif. Intell. Educ., 2019

Comparing Approaches for Capturing Repetitive Structures in Ontology Design Patterns.

Christian Kindermann, Bijan Parsia, Uli Sattler

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.

Christian Kindermann, Bijan Parsia, Uli Sattler

Proceedings of the Semantic Web - ISWC 2019, 2019

Avoiding Subsumption Tests During Classification Using the Atomic Decomposition.

Haoruo Zhao, Uli Sattler, Bijan Parsia

Proceedings of the 32nd International Workshop on Description Logics, 2019

A Tour of Franz Baader's Contributions to Knowledge Representation and Automated Deduction.

Carsten Lutz, Uli Sattler, Cesare Tinelli, Anni-Yasmin Turhan, Frank Wolter

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

2018

OWL Reasoning: Subsumption Test Hardness and Modularity.

Nicolas Matentzoglu, Bijan Parsia, Uli Sattler

J. Autom. Reason., 2018

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

Henrik Forssell, Christian Kindermann, Daniel P. Lupp, Uli Sattler, Evgenij Thorstensen

CoRR, 2018

Ontology Stratification Methods: A Comparative Study.

Ricardo Guimarães, Uli Sattler, Renata Wassermann

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.

Christian Kindermann, Daniel P. Lupp, Uli Sattler, Evgenij Thorstensen

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.

Mercedes Argüello Casteleiro, Dmitry Tsarkov, Bijan Parsia, Ulrike Sattler

Proceedings of the Artificial Intelligence XXXIV, 2017

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

Viachaslau Sazonau, Uli Sattler

Proceedings of the Semantic Web - ISWC 2017, 2017

An Introduction to Description Logic.

Franz Baader, Ian Horrocks, Carsten Lutz, Ulrike Sattler

Cambridge University Press, ISBN: 978-0-521-69542-8, 2017

2016

Ontology-Based Multiple Choice Question Generation.

Tahani Alsubait, Bijan Parsia, Ulrike Sattler

Künstliche Intell., 2016

An Experimental Evaluation of Automatically Generated Multiple Choice Questions from Ontologies.

Ghader Kurdi, Bijan Parsia, Uli Sattler

Proceedings of the OWL: - Experiences and Directions - Reasoner Evaluation, 2016

2015

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

Michael Lee, Nicolas Matentzoglu, Bijan Parsia, Uli Sattler

Proceedings of the Semantic Web - ISWC 2015, 2015

Introducing Defeasibility into OWL Ontologies.

Giovanni Casini, Thomas Andreas Meyer, Kodylan Moodley, Uli Sattler, Ivan Varzinczak

Proceedings of the Semantic Web - ISWC 2015, 2015

General Terminology Induction in OWL.

Viachaslau Sazonau, Uli Sattler, Gavin Brown

Proceedings of the Ontology Engineering, 2015

A Similarity Based Approach to Omission Finding in Ontologies.

Tahani Alsubait, Bijan Parsia, Uli Sattler

Proceedings of the Ontology Engineering, 2015

A Survey of Current, Stand-alone OWL Reasoners.

Nicolas Matentzoglu, Jared Leo, Valentino Hudhra, Uli Sattler, Bijan Parsia

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.

Michael Lee, Nicolas Matentzoglu, Uli Sattler, Bijan Parsia

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.

Viachaslau Sazonau, Uli Sattler

Proceedings of the 28th International Workshop on Description Logics, 2015

Empirical Investigation of Subsumption Test Hardness in Description Logic Classification.

Nicolas Matentzoglu, Uli Sattler, Bijan Parsia

Proceedings of the 28th International Workshop on Description Logics, 2015

2014

Practical Defeasible Reasoning for Description Logics.

Kodylan Moodley, Thomas Meyer, Uli Sattler

Proceedings of the STAIRS 2014, 2014

The Manchester OWL Repository: System Description.

Nicolas Matentzoglu, Daniel Tang, Bijan Parsia, Uli Sattler

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.

Matthew Horridge, Jonathan Mortensen, Bijan Parsia, Ulrike Sattler, Mark A. Musen

Proceedings of the Semantic Web - ISWC 2014, 2014

Generating Multiple Choice Questions From Ontologies: Lessons Learnt.

Tahani Alsubait, Bijan Parsia, Uli Sattler

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.

Robert Stevens, Nicolas Matentzoglu, Uli Sattler, Margaret Stevens

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?

Viachaslau Sazonau, Uli Sattler, Gavin Brown

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.

Liang Chang, Uli Sattler, Tianlong Gu

Proceedings of the Case-Based Reasoning Research and Development, 2014

Generating Multiple Choice Questions From Ontologies: How Far Can We Go?

Tahani Alsubait, Bijan Parsia, Uli Sattler

Proceedings of the Knowledge Engineering and Knowledge Management, 2014

Measuring Similarity in Ontologies: A New Family of Measures.

Tahani Alsubait, Bijan Parsia, Uli Sattler

Proceedings of the Knowledge Engineering and Knowledge Management, 2014

Predicting OWL Reasoners: Locally or Globally?

Viachaslau Sazonau, Uli Sattler, Gavin Brown

Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

DIP: A Defeasible-Inference Platform for OWL Ontologies.

Kodylan Moodley, Thomas Meyer, Uli Sattler

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.

Nicolas Matentzoglu, Bijan Parsia, Uli Sattler

Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

Temporalising EL Concepts with Time Intervals.

Jared Leo, Ulrike Sattler, Bijan Parsia

Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

An ABox Revision Algorithm for the Description Logic EL_bot.

Liang Chang, Uli Sattler, Tianlong Gu

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?

Tahani Alsubait, Bijan Parsia, Uli Sattler

Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

2013

Toward cognitive support for OWL justifications.

Matthew Horridge, Samantha Bail, Bijan Parsia, Uli Sattler

Knowl. Based Syst., 2013

Empirical Study of Logic-Based Modules: Cheap Is Cheerful.

Chiara Del Vescovo, Pavel Klinov, Bijan Parsia, Ulrike Sattler, Thomas Schneider, Dmitry Tsarkov

Proceedings of the Semantic Web - ISWC 2013, 2013

Comparing Ontologies with ecco.

Rafael S. Gonçalves, Bijan Parsia, Uli Sattler

Proceedings of the ISWC 2013 Posters & Demonstrations Track, 2013

The Empirical Robustness of Description Logic Classification.

Rafael S. Gonçalves, Nicolas Matentzoglu, Bijan Parsia, Uli Sattler

Proceedings of the ISWC 2013 Posters & Demonstrations Track, 2013

Finding Fault: Detecting Issues in a Versioned Ontology.

Maria Copeland, Rafael S. Gonçalves, Bijan Parsia, Uli Sattler, Robert Stevens

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

The logical diversity of explanations in OWL ontologies.

Samantha Bail, Bijan Parsia, Ulrike Sattler

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).

James P. Delgrande, Thomas Meyer, Ulrike Sattler

Dagstuhl Reports, 2012

Syntactic vs. Semantic Locality: How Good Is a Cheap Approximation?

Chiara Del Vescovo, Pavel Klinov, Bijan Parsia, Ulrike Sattler, Thomas Schneider, Dmitry Tsarkov

Proceedings of the 6th International Workshop on Modular Ontologies, 2012

Extracting Justifications from BioPortal Ontologies.

Matthew Horridge, Bijan Parsia, Ulrike Sattler

Proceedings of the Semantic Web - ISWC 2012, 2012

Concept-Based Semantic Difference in Expressive Description Logics.

Rafael S. Gonçalves, Bijan Parsia, Ulrike Sattler

Proceedings of the Semantic Web - ISWC 2012, 2012

Performance Heterogeneity and Approximate Reasoning in Description Logic Ontologies.

Rafael S. Gonçalves, Bijan Parsia, Ulrike Sattler

Proceedings of the Semantic Web - ISWC 2012, 2012

Ecco: A Hybrid Diff Tool for OWL 2 ontologies.

Rafael S. Gonçalves, Bijan Parsia, Ulrike Sattler

Proceedings of OWL: Experiences and Directions Workshop 2012, 2012

Mining Ontologies for Analogy Questions: A Similarity-based Approach.

Tahani Alsubait, Bijan Parsia, Ulrike Sattler

Proceedings of OWL: Experiences and Directions Workshop 2012, 2012

Justification Masking in Ontologies.

Matthew Horridge, Bijan Parsia, Ulrike Sattler

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012

Representation of Part-Whole Relationships in SNOMED CT.

Patrice Seyed, Alan L. Rector, Uli Sattler, Bijan Parsia, Robert Stevens

Proceedings of the 3rd International Conference on Biomedical Ontology (ICBO 2012), 2012

Declutter Your Justifications: Determining Similarity Between OWL Explanations.

Samantha Bail, Bijan Parsia, Ulrike Sattler

Proceedings of the First International Workshop on Debugging Ontologies and Ontology Mappings, 2012

Logical Relevance in Ontologies.

Chiara Del Vescovo, Bijan Parsia, Ulrike Sattler

Proceedings of the 2012 International Workshop on Description Logics, 2012

Diversity of Reason: Equivalence Relations over Description Logic Explanations.

Samantha Bail, Bijan Parsia, Ulrike Sattler

Proceedings of the 2012 International Workshop on Description Logics, 2012

2011

The Modular Structure of an Ontology: Atomic Decomposition and Module Count.

Chiara Del Vescovo, Bijan Parsia, Ulrike Sattler, Thomas Schneider

Proceedings of the Modular Ontologies - Proceedings of the Fifth International Workshop, 2011

Decomposition and Modular Structure of BioPortal Ontologies.

Chiara Del Vescovo, Damian Gessler, Pavel Klinov, Bijan Parsia, Ulrike Sattler, Thomas Schneider, Andrew Winget

Proceedings of the Semantic Web - ISWC 2011, 2011

The Cognitive Complexity of OWL Justifications.

Matthew Horridge, Samantha Bail, Bijan Parsia, Ulrike Sattler

Proceedings of the Semantic Web - ISWC 2011, 2011

The Justificatory Structure of the NCBO BioPortal Ontologies.

Samantha Bail, Matthew Horridge, Bijan Parsia, Ulrike Sattler

Proceedings of the Semantic Web - ISWC 2011, 2011

The Modular Structure of an Ontology: Atomic Decomposition.

Chiara Del Vescovo, Bijan Parsia, Ulrike Sattler, Thomas Schneider

Proceedings of the IJCAI 2011, 2011

Topicality in Logic-Based Ontologies.

Chiara Del Vescovo, Bijan Parsia, Ulrike Sattler

Proceedings of the Conceptual Structures for Discovering Knowledge, 2011

Analysing Multiple Versions of an Ontology: A Study of the NCI Thesaurus.

Rafael S. Gonçalves, Bijan Parsia, Ulrike Sattler

Proceedings of the 24th International Workshop on Description Logics (DL 2011), 2011

Extracting Finite Sets of Entailments from OWL Ontologies.

Samantha Bail, Bijan Parsia, Ulrike Sattler

Proceedings of the 24th International Workshop on Description Logics (DL 2011), 2011

Categorising logical differences between OWL ontologies.

Rafael S. Gonçalves, Bijan Parsia, Ulrike Sattler

Proceedings of the 20th ACM Conference on Information and Knowledge Management, 2011

Analysing the evolution of the NCI Thesaurus.

Rafael S. Gonçalves, Bijan Parsia, Ulrike Sattler

Proceedings of the 24th IEEE International Symposium on Computer-Based Medical Systems, 2011

Mooop - A Hybrid Integration of OWL and Java.

Christoph Frenzel, Bijan Parsia, Ulrike Sattler, Bernhard Bauer

Proceedings of the Advanced Information Systems Engineering Workshops, 2011

2010

Special issue on automated deduction: Decidability, complexity, tractability.

Silvio Ghilardi, Viorica Sofronie-Stokkermans, Ulrike Sattler, Ashish Tiwari

J. Symb. Comput., 2010

Evaluating Modelling Approaches for Medical Image Annotations.

Jasmin Opitz, Bijan Parsia, Ulrike Sattler

Proceedings of the Workshop on Semantic Web Applications and Tools for Life Sciences, 2010

Information system analysis.

Jasmin Opitz, Bijan Parsia, Ulrike Sattler

Proceedings of the International Workshop on Evaluation of Semantic Technologies (IWEST 2010), 2010

Justification Oriented Proofs in OWL.

Matthew Horridge, Bijan Parsia, Ulrike Sattler

Proceedings of the Semantic Web - ISWC 2010 - 9th International Semantic Web Conference, 2010

JustBench: A Framework for OWL Benchmarking.

Samantha Bail, Bijan Parsia, Ulrike Sattler

Proceedings of the Semantic Web - ISWC 2010 - 9th International Semantic Web Conference, 2010

Representing Chemicals Using OWL, Description Graphs and Rules.

Janna Hastings, Michel Dumontier, Duncan Hull, Matthew Horridge, Christoph Steinbeck, Robert Stevens, Ulrike Sattler, Tertia Hörne, Katarina Britz

Proceedings of the 7th International Workshop on OWL: Experiences and Directions (OWLED 2010), 2010

The Justificatory Structure of OWL Ontologies.

Samantha Bail, Bijan Parsia, Ulrike Sattler

Proceedings of the 7th International Workshop on OWL: Experiences and Directions (OWLED 2010), 2010

The modular structure of an ontology: an empirical study.

Chiara Del Vescovo, Bijan Parsia, Ulrike Sattler, Thomas Schneider

Proceedings of the 23rd International Workshop on Description Logics (DL 2010), 2010

Justification Masking in OWL.

Matthew Horridge, Bijan Parsia, Ulrike Sattler

Proceedings of the 23rd International Workshop on Description Logics (DL 2010), 2010

2009

Extracting Modules from Ontologies: A Logic-Based Approach.

Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler

Proceedings of the Modular Ontologies: Concepts, 2009

Description Logics.

Franz Baader, Ian Horrocks, Ulrike Sattler

Proceedings of the Handbook on Ontologies, 2009

Bridging the gap between OWL and relational databases.

Boris Motik, Ian Horrocks, Ulrike Sattler

J. Web Semant., 2009

Representing ontologies using description logics, description graphs, and rules.

Boris Motik, Bernardo Cuenca Grau, Ian Horrocks, Ulrike Sattler

Artif. Intell., 2009

Explaining Inconsistencies in OWL Ontologies.

Matthew Horridge, Bijan Parsia, Ulrike Sattler

Proceedings of the Scalable Uncertainty Management, Third International Conference, 2009

A Solution for the Man-Man Problem in the Family History Knowledge Base.

Dmitry Tsarkov, Ulrike Sattler, Robert Stevens

Proceedings of the 5th International Workshop on OWL: Experiences and Directions (OWLED 2009), 2009

Mechanisms for Importing Modules.

Bijan Parsia, Ulrike Sattler, Thomas Schneider

Proceedings of the 5th International Workshop on OWL: Experiences and Directions (OWLED 2009), 2009

Using Ontologies for Medical Image Retrieval - An Experiment.

Jasmin Opitz, Bijan Parsia, Ulrike Sattler

Proceedings of the 5th International Workshop on OWL: Experiences and Directions (OWLED 2009), 2009

From Justifications to Proofs for Entailments in OWL.

Matthew Horridge, Bijan Parsia, Ulrike Sattler

Proceedings of the 5th International Workshop on OWL: Experiences and Directions (OWLED 2009), 2009

Minimal Module Extraction from DL-Lite Ontologies Using QBF Solvers.

Roman Kontchakov, Luca Pulina, Ulrike Sattler, Thomas Schneider, Petra Selmer, Frank Wolter, Michael Zakharyaschev

Proceedings of the IJCAI 2009, 2009

Which Kind of Module Should I Extract?

Ulrike Sattler, Thomas Schneider, Michael Zakharyaschev

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

On Correspondences between Probabilistic First-Order and Description Logics.

Pavel Klinov, Bijan Parsia, Ulrike Sattler

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

Lemmas for Justifications in OWL.

Matthew Horridge, Bijan Parsia, Ulrike Sattler

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

Explaining by Example: Model Exploration for Ontology Comprehension.

Johannes Bauer, Ulrike Sattler, Bijan Parsia

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

2008

Description Logics.

Franz Baader, Ian Horrocks, Ulrike Sattler

Proceedings of the Handbook of Knowledge Representation, 2008

OWL 2: The next step for OWL.

Bernardo Cuenca Grau, Ian Horrocks, Boris Motik, Bijan Parsia, Peter F. Patel-Schneider, Ulrike Sattler

J. Web Semant., 2008

Modular Reuse of Ontologies: Theory and Practice.

Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler

J. Artif. Intell. Res., 2008

Conjunctive Query Answering for the Description Logic SHIQ.

Birte Glimm, Carsten Lutz, Ian Horrocks, Ulrike Sattler

J. Artif. Intell. Res., 2008

Deciding expressive description logics in the framework of resolution.

Ullrich Hustadt, Boris Motik, Ulrike Sattler

Inf. Comput., 2008

Structured objects in owl: representation and reasoning.

Boris Motik, Bernardo Cuenca Grau, Ulrike Sattler

Proceedings of the 17th International Conference on World Wide Web, 2008

Explanation of OWL Entailments in Protege 4.

Matthew Horridge, Bijan Parsia, Ulrike Sattler

Proceedings of the Poster and Demonstration Session at the 7th International Semantic Web Conference (ISWC2008), 2008

Laconic and Precise Justifications in OWL.

Matthew Horridge, Bijan Parsia, Ulrike Sattler

Proceedings of the Semantic Web - ISWC 2008, 7th International Semantic Web Conference, 2008

Easy Keys for OWL.

Bijan Parsia, Ulrike Sattler, Thomas Schneider

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

Modeling Ontologies using OWL, Description Graphs, and Rules.

Boris Motik, Bernardo Cuenca Grau, Ian Horrocks, Ulrike Sattler

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

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

Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Ulrike Sattler, Thomas Schneider, Rafael Berlanga Llavori

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

Understanding Entailments in OWL.

Matthew Horridge, Johannes Bauer, Bijan Parsia, Ulrike Sattler

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

Representing Structured Objects using Description Graphs.

Boris Motik, Bernardo Cuenca Grau, Ian Horrocks, Ulrike Sattler

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008

Unions of Conjunctive Queries in SHOQ.

Birte Glimm, Ian Horrocks, Ulrike Sattler

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008

The Representation of Structured Objects in DLs using Description Graphs.

Boris Motik, Bernardo Cuenca Grau, Ulrike Sattler

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

Next Steps for Description Logics of Minimal Knowledge and Negation as Failure.

Peihong Ke, Ulrike Sattler

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

Deciding SHOQ^cap Knowledge Base Consistency using Alternating Automata.

Birte Glimm, Ian Horrocks, Ulrike Sattler

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

Rewriting Rules into SROIQ Axioms.

Francis Gasse, Ulrike Sattler, Volker Haarslev

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

2007

Reasoning in Description Logics by a Reduction to Disjunctive Datalog.

Ullrich Hustadt, Boris Motik, Ulrike Sattler

J. Autom. Reason., 2007

A Tableau Decision Procedure for <i>SHOIQ</i>.

Ian Horrocks, Ulrike Sattler

J. Autom. Reason., 2007

Using OWL to model biological knowledge.

Robert Stevens, Mikel Egaña Aranguren, Katy Wolstencroft, Ulrike Sattler, Nick Drummond, Matthew Horridge, Alan L. Rector

Int. J. Hum. Comput. Stud., 2007

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

Mikel Egaña Aranguren, Sean Bechhofer, Phillip W. Lord, Ulrike Sattler, Robert D. Stevens

BMC Bioinform., 2007

Just the right amount: extracting modules from ontologies.

Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler

Proceedings of the 16th International Conference on World Wide Web, 2007

Reasoning in Description Logics: Basics, Extensions, and Relatives.

Ulrike Sattler

Proceedings of the Reasoning Web, 2007

Adding Integrity Constraints to OWL.

Boris Motik, Ian Horrocks, Ulrike Sattler

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

Extracting Modules from Ontologies: A Logic-based Approach.

Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler

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.

Yevgeny Kazakov, Ulrike Sattler, Evgeny Zolin

Proceedings of the Logic for Programming, 2007

A Logical Framework for Modularity of Ontologies.

Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler

Proceedings of the IJCAI 2007, 2007

Completing Description Logic Knowledge Bases Using Formal Concept Analysis.

Franz Baader, Bernhard Ganter, Baris Sertkaya, Ulrike Sattler

Proceedings of the IJCAI 2007, 2007

Ontology Reuse: Better Safe than Sorry.

Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler

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

Conjunctive Query Entailment for SHOQ.

Birte Glimm, Ian Horrocks, Ulrike Sattler

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

Computational modal logic.

Ian Horrocks, Ullrich Hustadt, Ulrike Sattler, Renate A. Schmidt

Proceedings of the Handbook of Modal Logic., 2007

2006

BDD-based decision procedures for the modal logic K.

Guoqiang Pan, Ulrike Sattler, Moshe Y. Vardi

J. Appl. Non Class. Logics, 2006

Hybrid Logics and Ontology Languages.

Ian Horrocks, Birte Glimm, Ulrike Sattler

Proceedings of the International Workshop on Hybrid Logic, 2006

Can OWL and Logic Programming Live Together Happily Ever After?

Boris Motik, Ian Horrocks, Riccardo Rosati, Ulrike Sattler

Proceedings of the Semantic Web - ISWC 2006, 5th International Semantic Web Conference, 2006

Reasoning Support for Ontology Design.

Carsten Lutz, Franz Baader, Enrico Franconi, Domenico Lembo, Ralf Möller, Riccardo Rosati, Ulrike Sattler, Boontawee Suntisrivaraporn, Sergio Tessaris

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

Next Steps for OWL.

Bernardo Cuenca Grau, Ian Horrocks, Bijan Parsia, Peter F. Patel-Schneider, Ulrike Sattler

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

A Case for Abductive Reasoning over Ontologies.

Corinna Elsenbroich, Oliver Kutz, Ulrike Sattler

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

A Comparison of Reasoning Techniques for Querying Large Description Logic ABoxes.

Boris Motik, Ulrike Sattler

Proceedings of the Logic for Programming, 2006

The Even More Irresistible SROIQ.

Ian Horrocks, Oliver Kutz, Ulrike Sattler

Proceedings of the Proceedings, 2006

Will my Ontologies Fit Together?

Bernardo Cuenca Grau, Ian Horrocks, Oliver Kutz, Ulrike Sattler

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.

Birte Glimm, Ian Horrocks, Ulrike Sattler

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

Deciding Semantic Matching of Stateless Services.

Duncan Hull, Evgeny Zolin, Andrey Bovykin, Ian Horrocks, Ulrike Sattler, Robert Stevens

Proceedings of the Proceedings, 2006

2005

Query Answering for OWL-DL with rules.

Boris Motik, Ulrike Sattler, Rudi Studer

J. Web Semant., 2005

Keys, Nominals, and Concrete Domains.

Carsten Lutz, Carlos Areces, Ian Horrocks, Ulrike Sattler

J. Artif. Intell. Res., 2005

The complexity of finite model reasoning in description logics.

Carsten Lutz, Ulrike Sattler, Lidia Tendera

Inf. Comput., 2005

A Little Semantic Web Goes a Long Way in Biology.

Katy Wolstencroft, Andy Brass, Ian Horrocks, Phillip W. Lord, Ulrike Sattler, Daniele Turi, Robert Stevens

Proceedings of the Semantic Web - ISWC 2005, 4th International Semantic Web Conference, 2005

Seven Bottlenecks to Workflow Reuse and Repurposing.

Antoon Goderis, Ulrike Sattler, Phillip W. Lord, Carole A. Goble

Proceedings of the Semantic Web - ISWC 2005, 4th International Semantic Web Conference, 2005

The Irresistible SRIQ.

Ian Horrocks, Oliver Kutz, Ulrike Sattler

Proceedings of the OWLED*05 Workshop on OWL: Experiences and Directions, 2005

Data Complexity of Reasoning in Very Expressive Description Logics.

Ullrich Hustadt, Boris Motik, Ulrike Sattler

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.

Ian Horrocks, Ulrike Sattler

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.

Antoon Goderis, Ulrike Sattler, Carole A. Goble

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

Description Logics as Ontology Languages for the Semantic Web.

Franz Baader, Ian Horrocks, Ulrike Sattler

Proceedings of the Mechanizing Mathematical Reasoning, 2005

Integrating Description Logics and Action Formalisms: First Results.

Franz Baader, Carsten Lutz, Maja Milicic, Ulrike Sattler, Frank Wolter

Proceedings of the Proceedings, 2005

2004

Decidability of SHIQ with complex role inclusion axioms.

Ian Horrocks, Ulrike Sattler

Artif. Intell., 2004

A Decomposition Rule for Decision Procedures by Resolution-Based Calculi.

Ullrich Hustadt, Boris Motik, Ulrike Sattler

Proceedings of the Logic for Programming, 2004

Reducing SHIQ-Description Logic to Disjunctive Datalog Programs.

Ullrich Hustadt, Boris Motik, Ulrike Sattler

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.

Ullrich Hustadt, Boris Motik, Ulrike Sattler

Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

Description Logics.

Franz Baader, Ian Horrocks, Ulrike Sattler

Proceedings of the Handbook on Ontologies, 2004

2003

Description logics with aggregates and concrete domains.

Franz Baader, Ulrike Sattler

Inf. Syst., 2003

Relationships with other Formalisms.

Ulrike Sattler, Diego Calvanese, Ralf Molitor

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

Finite Model Reasoning in ALCQI is EXPTIME Logics.

Carsten Lutz, Ulrike Sattler, Lidia Tendera

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

A Translation of Looping Alternating Automata into Description Logics.

Jan Hladik, Ulrike Sattler

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.

Franz Baader, Ian Horrocks, Ulrike Sattler

Künstliche Intell., 2002

Automata-Theoretic Decision Procedures for Information Logics.

Stéphane Demri, Ulrike Sattler

Fundam. Informaticae, 2002

Optimised Reasoning for SHIQ.

Ian Horrocks, Ulrike Sattler

Proceedings of the 15th European Conference on Artificial Intelligence, 2002

A proposal for describing services with DLs.

Carsten Lutz, Ulrike Sattler

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

BDD-Based Decision Procedures for K.

Guoqiang Pan, Ulrike Sattler, Moshe Y. Vardi

Proceedings of the Automated Deduction, 2002

The Complexity of the Graded µ-Calculus.

Orna Kupferman, Ulrike Sattler, Moshe Y. Vardi

Proceedings of the Automated Deduction, 2002

2001

An Overview of Tableau Algorithms for Description Logics.

Franz Baader, Ulrike Sattler

Stud Logica, 2001

Ontology Reasoning in the SHOQ(D) Description Logic.

Ian Horrocks, Ulrike Sattler

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

Description Logics and the Two-Variable Fragment.

Carsten Lutz, Ulrike Sattler, Frank Wolter

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

Modal Logic and the Two-Variable Fragment.

Carsten Lutz, Ulrike Sattler, Frank Wolter

Proceedings of the Computer Science Logic, 15th International Workshop, 2001

The Hybrid µ-Calculus.

Ulrike Sattler, Moshe Y. Vardi

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

2000

Practical Reasoning for Very Expressive Description Logics.

Ian Horrocks, Ulrike Sattler, Stephan Tobies

Log. J. IGPL, 2000

How to decide Query Containment under Constraints using a Description Logic.

Ian Horrocks, Ulrike Sattler, Sergio Tessaris, Stephan Tobies

Proceedings of the 7th International Workshop on Knowledge Representation meets Databases (KRDB 2000), 2000

Description Logics for the Representation of Aggregated Objects.

Ulrike Sattler

Proceedings of the ECAI 2000, 2000

Mary Likes all Cats.

Carsten Lutz, Ulrike Sattler

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

Reasoning with Individuals for the Description Logic SHIQ.

Ian Horrocks, Ulrike Sattler, Stephan Tobies

Proceedings of the Automated Deduction, 2000

The Complexity of Reasoning with Boolean Modal Logics.

Carsten Lutz, Ulrike Sattler

Proceedings of the Advances in Modal Logic 3, 2000

1999

A Description Logic with Transitive and Inverse Roles and Role Hierarchies.

Ian Horrocks, Ulrike Sattler

J. Log. Comput., 1999

Expressive Number Restrictions in Description Logics.

Franz Baader, Ulrike Sattler

J. Log. Comput., 1999

Practical Reasoning for Expressive Description Logics.

Ian Horrocks, Ulrike Sattler, Stephan Tobies

Proceedings of the Logic Programming and Automated Reasoning, 6th International Conference, 1999

A Data Warehouse Conceptual Data Model for Multidimensional Aggregation.

Enrico Franconi, Ulrike Sattler

Proceedings of the Intl. Workshop on Design and Management of Data Warehouses, 1999

A Suggestion for an n-ary Description Logic.

Carsten Lutz, Ulrike Sattler, Stephan Tobies

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.

Mohand-Said Hacid, Ulrike Sattler

Proceedings of the Sixth European Conference on Information Systems, 1998

Description Logics with Concrete Domains and Aggregation.

Franz Baader, Ulrike Sattler

Proceedings of the 13th European Conference on Artificial Intelligence, 1998

Terminological knowledge representation systems in a process engineering application.

Ulrike Sattler

PhD thesis, 1998

1996

Number Restrictions on Complex Roles in Description Logics: A Preliminary Report.

Franz Baader, Ulrike Sattler

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.

Ulrike Sattler

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

Description Logics with Symbolic Number Restrictions.

Franz Baader, Ulrike Sattler

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

Knowledge Representation in Process Engineering.

Franz Baader, Ulrike Sattler

Proceedings of the 1996 International Workshop on Description Logics, 1996

1995

Constructible Differentially Finite Algebraic Series in Several Variables.

François Bergeron, Ulrike Sattler

Theor. Comput. Sci., 1995