Constructible Differentially Finite Algebraic Series in Several Variables. - François Bergeron; Ulrike Sattler (Theor. Comput. Sci., 1995)

Knowledge Representation in Process Engineering. - Franz Baader; Ulrike Sattler (Description Logics, 1996)

Description Logics with Symbolic Number Restrictions. - Franz Baader; Ulrike Sattler (ECAI, 1996)

A Concept Language Extended with Different Kinds of Transitive Roles. - Ulrike Sattler (KI, 1996)

Number Restrictions on Complex Roles in Description Logics: A Preliminary Report. - Franz Baader; Ulrike Sattler (KR, 1996)

Terminological knowledge representation systems in a process engineering application. - Ulrike Sattler (Mainz, 1998)

Description Logics with Concrete Domains and Aggregation. - Franz Baader; Ulrike Sattler (ECAI, 1998)

Modeling multidimensional database: a formal object-oriented approach. - Mohand-Said Hacid; Ulrike Sattler (ECIS, 1998)

A Suggestion for an n-ary Description Logic. - Carsten Lutz; Ulrike Sattler; Stephan Tobies (Description Logics, 1999)

A Data Warehouse Conceptual Data Model for Multidimensional Aggregation. - Enrico Franconi; Ulrike Sattler (DMDW, 1999)

Practical Reasoning for Expressive Description Logics. - Ian Horrocks 001; Ulrike Sattler; Stephan Tobies (LPAR, 1999)

Expressive Number Restrictions in Description Logics. - Franz Baader; Ulrike Sattler (J. Log. Comput., 1999)

A Description Logic with Transitive and Inverse Roles and Role Hierarchies. - Ian Horrocks 001; Ulrike Sattler (J. Log. Comput., 1999)

The Complexity of Reasoning with Boolean Modal Logics. - Carsten Lutz; Ulrike Sattler (Advances in Modal Logic, 2000)

Reasoning with Individuals for the Description Logic SHIQ. - Ian Horrocks 001; Ulrike Sattler; Stephan Tobies (CADE, 2000)

Mary Likes all Cats. - Carsten Lutz; Ulrike Sattler (Description Logics, 2000)

Description Logics for the Representation of Aggregated Objects. - Ulrike Sattler (ECAI, 2000)

How to decide Query Containment under Constraints using a Description Logic. - Ian Horrocks 001; Ulrike Sattler; Sergio Tessaris; Stephan Tobies (KRDB, 2000)

Practical Reasoning for Very Expressive Description Logics. - Ian Horrocks 001; Ulrike Sattler; Stephan Tobies (Log. J. IGPL, 2000)

The Hybrid µ-Calculus. - Ulrike Sattler; Moshe Y. Vardi (IJCAR, 2001)

Modal Logic and the Two-Variable Fragment. - Carsten Lutz; Ulrike Sattler; Frank Wolter (CSL, 2001)

Description Logics and the Two-Variable Fragment. - Carsten Lutz; Ulrike Sattler; Frank Wolter (Description Logics, 2001)

Ontology Reasoning in the SHOQ(D) Description Logic. - Ian Horrocks 001; Ulrike Sattler (IJCAI, 2001)

An Overview of Tableau Algorithms for Description Logics. - Franz Baader; Ulrike Sattler (Stud Logica, 2001)

The Complexity of the Graded µ-Calculus. - Orna Kupferman; Ulrike Sattler; Moshe Y. Vardi (CADE, 2002)

BDD-Based Decision Procedures for K. - Guoqiang Pan; Ulrike Sattler; Moshe Y. Vardi (CADE, 2002)

A proposal for describing services with DLs. - Carsten Lutz; Ulrike Sattler (Description Logics, 2002)

Optimised Reasoning for SHIQ. - Ian Horrocks 001; Ulrike Sattler (ECAI, 2002)

Automata-Theoretic Decision Procedures for Information Logics. - Stéphane Demri; Ulrike Sattler (Fundam. Informaticae, 2002)

Description Logics for the Semantic Web. - Franz Baader; Ian Horrocks 001; Ulrike Sattler (Künstliche Intell., 2002)

A Translation of Looping Alternating Automata into Description Logics. - Jan Hladik; Ulrike Sattler (CADE, 2003)

Finite Model Reasoning in ALCQI is EXPTIME Logics. - Carsten Lutz; Ulrike Sattler; Lidia Tendera (Description Logics, 2003)

Relationships with other Formalisms. - Ulrike Sattler; Diego Calvanese; Ralf Molitor (Description Logic Handbook, 2003)

Description logics with aggregates and concrete domains. - Franz Baader; Ulrike Sattler (Inf. Syst., 2003)

Description Logics. - Franz Baader; Ian Horrocks 001; Ulrike Sattler (Handbook on Ontologies, 2004)

Reasoning in Description Logics with a Concrete Domain in the Framework of Resolution. - Ullrich Hustadt; Boris Motik; Ulrike Sattler (ECAI, 2004)

Reducing SHIQ-Description Logic to Disjunctive Datalog Programs. - Ullrich Hustadt; Boris Motik; Ulrike Sattler (KR, 2004)

A Decomposition Rule for Decision Procedures by Resolution-Based Calculi. - Ullrich Hustadt; Boris Motik; Ulrike Sattler (LPAR, 2004)

Decidability of SHIQ with complex role inclusion axioms. - Ian Horrocks 001; Ulrike Sattler (Artif. Intell., 2004)

Integrating Description Logics and Action Formalisms: First Results. - Franz Baader; Carsten Lutz; Maja Milicic; Ulrike Sattler; Frank Wolter (AAAI, 2005)

Description Logics as Ontology Languages for the Semantic Web. - Franz Baader; Ian Horrocks 001; Ulrike Sattler (Mechanizing Mathematical Reasoning, 2005)

Applying Description Logics for Workflow Reuse and Repurposing. - Antoon Goderis; Ulrike Sattler; Carole A. Goble (Description Logics, 2005)

A Tableaux Decision Procedure for SHOIQ. - Ian Horrocks 001; Ulrike Sattler (IJCAI, 2005)

Data Complexity of Reasoning in Very Expressive Description Logics. - Ullrich Hustadt; Boris Motik; Ulrike Sattler (IJCAI, 2005)

The Irresistible SRIQ. - Ian Horrocks 001; Oliver Kutz; Ulrike Sattler (OWLED, 2005)

Seven Bottlenecks to Workflow Reuse and Repurposing. - Antoon Goderis; Ulrike Sattler; Phillip W. Lord; Carole A. Goble (ISWC, 2005)

A Little Semantic Web Goes a Long Way in Biology. - Katy Wolstencroft; Andy Brass; Ian Horrocks 001; Phillip W. Lord; Ulrike Sattler; Daniele Turi; Robert Stevens 001 (ISWC, 2005)

The complexity of finite model reasoning in description logics. - Carsten Lutz; Ulrike Sattler; Lidia Tendera (Inf. Comput., 2005)

Keys, Nominals, and Concrete Domains. - Carsten Lutz; Carlos Areces; Ian Horrocks 001; Ulrike Sattler (J. Artif. Intell. Res., 2005)

Query Answering for OWL-DL with rules. - Boris Motik; Ulrike Sattler; Rudi Studer (J. Web Semant., 2005)

Deciding Semantic Matching of Stateless Services. - Duncan Hull; Evgeny Zolin; Andrey Bovykin; Ian Horrocks 001; Ulrike Sattler; Robert Stevens 001 (AAAI, 2006)

Conjunctive Query Answering for Description Logics with Transitive Roles. - Birte Glimm; Ian Horrocks 001; Ulrike Sattler (Description Logics, 2006)

Will my Ontologies Fit Together? - Bernardo Cuenca Grau; Ian Horrocks 001; Oliver Kutz; Ulrike Sattler (Description Logics, 2006)

The Even More Irresistible SROIQ. - Ian Horrocks 001; Oliver Kutz; Ulrike Sattler (KR, 2006)

A Comparison of Reasoning Techniques for Querying Large Description Logic ABoxes. - Boris Motik; Ulrike Sattler (LPAR, 2006)

A Case for Abductive Reasoning over Ontologies. - Corinna Elsenbroich; Oliver Kutz; Ulrike Sattler (OWLED, 2006)

Next Steps for OWL. - Bernardo Cuenca Grau; Ian Horrocks 001; Bijan Parsia; Peter F. Patel-Schneider; Ulrike Sattler (OWLED, 2006)

Reasoning Support for Ontology Design. - Carsten Lutz; Franz Baader; Enrico Franconi; Domenico Lembo; Ralf Möller 001; Riccardo Rosati 001; Ulrike Sattler; Boontawee Suntisrivaraporn; Sergio Tessaris (OWLED, 2006)

Can OWL and Logic Programming Live Together Happily Ever After? - Boris Motik; Ian Horrocks 001; Riccardo Rosati 001; Ulrike Sattler (ISWC, 2006)

Hybrid Logics and Ontology Languages. - Ian Horrocks 001; Birte Glimm; Ulrike Sattler (HyLo@FLoC, 2006)

BDD-based decision procedures for the modal logic K. - Guoqiang Pan; Ulrike Sattler; Moshe Y. Vardi (J. Appl. Non Class. Logics, 2006)

Computational modal logic. - Ian Horrocks 001; Ullrich Hustadt; Ulrike Sattler; Renate A. Schmidt (Handbook of Modal Logic, 2007)

Conjunctive Query Entailment for SHOQ. - Birte Glimm; Ian Horrocks 001; Ulrike Sattler (Description Logics, 2007)

Ontology Reuse: Better Safe than Sorry. - Bernardo Cuenca Grau; Ian Horrocks 001; Yevgeny Kazakov; Ulrike Sattler (Description Logics, 2007)

Completing Description Logic Knowledge Bases Using Formal Concept Analysis. - Franz Baader; Bernhard Ganter; Baris Sertkaya; Ulrike Sattler (IJCAI, 2007)

A Logical Framework for Modularity of Ontologies. - Bernardo Cuenca Grau; Ian Horrocks 001; Yevgeny Kazakov; Ulrike Sattler (IJCAI, 2007)

How Many Legs Do I Have? Non-Simple Roles in Number Restrictions Revisited. - Yevgeny Kazakov; Ulrike Sattler; Evgeny Zolin (LPAR, 2007)

Extracting Modules from Ontologies: A Logic-based Approach. - Bernardo Cuenca Grau; Ian Horrocks 001; Yevgeny Kazakov; Ulrike Sattler (OWLED, 2007)

Adding Integrity Constraints to OWL. - Boris Motik; Ian Horrocks 001; Ulrike Sattler (OWLED, 2007)

Reasoning in Description Logics: Basics, Extensions, and Relatives. - Ulrike Sattler (Reasoning Web, 2007)

Just the right amount: extracting modules from ontologies. - Bernardo Cuenca Grau; Ian Horrocks 001; Yevgeny Kazakov; Ulrike Sattler (WWW, 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 001 (BMC Bioinform., 2007)

Using OWL to model biological knowledge. - Robert Stevens 001; Mikel Egaña Aranguren; Katy Wolstencroft; Ulrike Sattler; Nick Drummond; Matthew Horridge; Alan L. Rector (Int. J. Hum. Comput. Stud., 2007)

A Tableau Decision Procedure for SHOIQ. - Ian Horrocks 001; Ulrike Sattler (J. Autom. Reason., 2007)

Reasoning in Description Logics by a Reduction to Disjunctive Datalog. - Ullrich Hustadt; Boris Motik; Ulrike Sattler (J. Autom. Reason., 2007)

Rewriting Rules into SROIQ Axioms. - Francis Gasse; Ulrike Sattler; Volker Haarslev (Description Logics, 2008)

Deciding SHOQ^cap Knowledge Base Consistency using Alternating Automata. - Birte Glimm; Ian Horrocks 001; Ulrike Sattler (Description Logics, 2008)

Next Steps for Description Logics of Minimal Knowledge and Negation as Failure. - Peihong Ke; Ulrike Sattler (Description Logics, 2008)

The Representation of Structured Objects in DLs using Description Graphs. - Boris Motik; Bernardo Cuenca Grau; Ulrike Sattler (Description Logics, 2008)

Unions of Conjunctive Queries in SHOQ. - Birte Glimm; Ian Horrocks 001; Ulrike Sattler (KR, 2008)

Representing Structured Objects using Description Graphs. - Boris Motik; Bernardo Cuenca Grau; Ian Horrocks 001; Ulrike Sattler (KR, 2008)

Understanding Entailments in OWL. - Matthew Horridge; Johannes Bauer 002; Bijan Parsia; Ulrike Sattler (OWLED, 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 002; Rafael Berlanga Llavori (OWLED (Spring), 2008)

Modeling Ontologies using OWL, Description Graphs, and Rules. - Boris Motik; Bernardo Cuenca Grau; Ian Horrocks 001; Ulrike Sattler (OWLED, 2008)

Easy Keys for OWL. - Bijan Parsia; Ulrike Sattler; Thomas Schneider 002 (OWLED, 2008)

Laconic and Precise Justifications in OWL. - Matthew Horridge; Bijan Parsia; Ulrike Sattler (ISWC, 2008)

Explanation of OWL Entailments in Protege 4. - Matthew Horridge; Bijan Parsia; Ulrike Sattler (ISWC (Posters & Demos), 2008)

Structured objects in owl: representation and reasoning. - Boris Motik; Bernardo Cuenca Grau; Ulrike Sattler (WWW, 2008)

Deciding expressive description logics in the framework of resolution. - Ullrich Hustadt; Boris Motik; Ulrike Sattler (Inf. Comput., 2008)

Conjunctive Query Answering for the Description Logic SHIQ. - Birte Glimm; Carsten Lutz; Ian Horrocks 001; Ulrike Sattler (J. Artif. Intell. Res., 2008)

Modular Reuse of Ontologies: Theory and Practice. - Bernardo Cuenca Grau; Ian Horrocks 001; Yevgeny Kazakov; Ulrike Sattler (J. Artif. Intell. Res., 2008)

OWL 2: The next step for OWL. - Bernardo Cuenca Grau; Ian Horrocks 001; Boris Motik; Bijan Parsia; Peter F. Patel-Schneider; Ulrike Sattler (J. Web Semant., 2008)

Description Logics. - Franz Baader; Ian Horrocks 001; Ulrike Sattler (Handbook of Knowledge Representation, 2008)

Explaining by Example: Model Exploration for Ontology Comprehension. - Johannes Bauer 002; Ulrike Sattler; Bijan Parsia (Description Logics, 2009)

Lemmas for Justifications in OWL. - Matthew Horridge; Bijan Parsia; Ulrike Sattler (Description Logics, 2009)

On Correspondences between Probabilistic First-Order and Description Logics. - Pavel Klinov; Bijan Parsia; Ulrike Sattler (Description Logics, 2009)

Which Kind of Module Should I Extract? - Ulrike Sattler; Thomas Schneider 002; Michael Zakharyaschev (Description Logics, 2009)

Minimal Module Extraction from DL-Lite Ontologies Using QBF Solvers. - Roman Kontchakov; Luca Pulina; Ulrike Sattler; Thomas Schneider 002; Petra Selmer; Frank Wolter; Michael Zakharyaschev (IJCAI, 2009)

From Justifications to Proofs for Entailments in OWL. - Matthew Horridge; Bijan Parsia; Ulrike Sattler (OWLED, 2009)

Using Ontologies for Medical Image Retrieval - An Experiment. - Jasmin Opitz; Bijan Parsia; Ulrike Sattler (OWLED, 2009)

Mechanisms for Importing Modules. - Bijan Parsia; Ulrike Sattler; Thomas Schneider 002 (OWLED, 2009)

A Solution for the Man-Man Problem in the Family History Knowledge Base. - Dmitry Tsarkov; Ulrike Sattler; Robert Stevens 001 (OWLED, 2009)

Explaining Inconsistencies in OWL Ontologies. - Matthew Horridge; Bijan Parsia; Ulrike Sattler (SUM, 2009)

Representing ontologies using description logics, description graphs, and rules. - Boris Motik; Bernardo Cuenca Grau; Ian Horrocks 001; Ulrike Sattler (Artif. Intell., 2009)

Bridging the gap between OWL and relational databases. - Boris Motik; Ian Horrocks 001; Ulrike Sattler (J. Web Semant., 2009)

Description Logics. - Franz Baader; Ian Horrocks 001; Ulrike Sattler (Handbook on Ontologies, 2009)

Extracting Modules from Ontologies: A Logic-Based Approach. - Bernardo Cuenca Grau; Ian Horrocks 001; Yevgeny Kazakov; Ulrike Sattler (Modular Ontologies, 2009)

Justification Masking in OWL. - Matthew Horridge; Bijan Parsia; Ulrike Sattler (Description Logics, 2010)

The modular structure of an ontology: an empirical study. - Chiara Del Vescovo; Bijan Parsia; Ulrike Sattler; Thomas Schneider 002 (Description Logics, 2010)

The Justificatory Structure of OWL Ontologies. - Samantha Bail; Bijan Parsia; Ulrike Sattler (OWLED, 2010)

Representing Chemicals Using OWL, Description Graphs and Rules. - Janna Hastings; Michel Dumontier; Duncan Hull; Matthew Horridge; Christoph Steinbeck; Robert Stevens 001; Ulrike Sattler; Tertia Hörne; Katarina Britz (OWLED, 2010)

JustBench: A Framework for OWL Benchmarking. - Samantha Bail; Bijan Parsia; Ulrike Sattler (ISWC (1), 2010)

Justification Oriented Proofs in OWL. - Matthew Horridge; Bijan Parsia; Ulrike Sattler (ISWC (1), 2010)

Information system analysis. - Jasmin Opitz; Bijan Parsia; Ulrike Sattler (IWEST@ISWC, 2010)

Evaluating Modelling Approaches for Medical Image Annotations. - Jasmin Opitz; Bijan Parsia; Ulrike Sattler (SWAT4LS, 2010)

Special issue on automated deduction: Decidability, complexity, tractability. - Silvio Ghilardi; Viorica Sofronie-Stokkermans; Ulrike Sattler; Ashish Tiwari 001 (J. Symb. Comput., 2010)

Mooop - A Hybrid Integration of OWL and Java. - Christoph Frenzel; Bijan Parsia; Ulrike Sattler; Bernhard Bauer 001 (CAiSE Workshops, 2011)

Analysing the evolution of the NCI Thesaurus. - Rafael S. Gonçalves 001; Bijan Parsia; Ulrike Sattler (CBMS, 2011)

Categorising logical differences between OWL ontologies. - Rafael S. Gonçalves 001; Bijan Parsia; Ulrike Sattler (CIKM, 2011)

Extracting Finite Sets of Entailments from OWL Ontologies. - Samantha Bail; Bijan Parsia; Ulrike Sattler (Description Logics, 2011)

Analysing Multiple Versions of an Ontology: A Study of the NCI Thesaurus. - Rafael S. Gonçalves 001; Bijan Parsia; Ulrike Sattler (Description Logics, 2011)

Topicality in Logic-Based Ontologies. - Chiara Del Vescovo; Bijan Parsia; Ulrike Sattler (ICCS, 2011)

The Modular Structure of an Ontology: Atomic Decomposition. - Chiara Del Vescovo; Bijan Parsia; Ulrike Sattler; Thomas Schneider 002 (IJCAI, 2011)

The Justificatory Structure of the NCBO BioPortal Ontologies. - Samantha Bail; Matthew Horridge; Bijan Parsia; Ulrike Sattler (ISWC (1), 2011)

The Cognitive Complexity of OWL Justifications. - Matthew Horridge; Samantha Bail; Bijan Parsia; Ulrike Sattler (ISWC (1), 2011)

Decomposition and Modular Structure of BioPortal Ontologies. - Chiara Del Vescovo; Damian Gessler; Pavel Klinov; Bijan Parsia; Ulrike Sattler; Thomas Schneider 002; Andrew Winget (ISWC (1), 2011)

The Modular Structure of an Ontology: Atomic Decomposition and Module Count. - Chiara Del Vescovo; Bijan Parsia; Ulrike Sattler; Thomas Schneider 002 (WoMO, 2011)

Diversity of Reason: Equivalence Relations over Description Logic Explanations. - Samantha Bail; Bijan Parsia; Ulrike Sattler (Description Logics, 2012)

Logical Relevance in Ontologies. - Chiara Del Vescovo; Bijan Parsia; Ulrike Sattler (Description Logics, 2012)

Declutter Your Justifications: Determining Similarity Between OWL Explanations. - Samantha Bail; Bijan Parsia; Ulrike Sattler (WoDOOM@EKAW, 2012)

Representation of Part-Whole Relationships in SNOMED CT. - Patrice Seyed; Alan L. Rector; Uli Sattler; Bijan Parsia; Robert Stevens 001 (ICBO, 2012)

Justification Masking in Ontologies. - Matthew Horridge; Bijan Parsia; Ulrike Sattler (KR, 2012)

Mining Ontologies for Analogy Questions: A Similarity-based Approach. - Tahani Alsubait; Bijan Parsia; Ulrike Sattler (OWLED, 2012)

Ecco: A Hybrid Diff Tool for OWL 2 ontologies. - Rafael S. Gonçalves 001; Bijan Parsia; Ulrike Sattler (OWLED, 2012)

Performance Heterogeneity and Approximate Reasoning in Description Logic Ontologies. - Rafael S. Gonçalves 001; Bijan Parsia; Ulrike Sattler (ISWC (1), 2012)

Concept-Based Semantic Difference in Expressive Description Logics. - Rafael S. Gonçalves 001; Bijan Parsia; Ulrike Sattler (ISWC (1), 2012)

Extracting Justifications from BioPortal Ontologies. - Matthew Horridge; Bijan Parsia; Ulrike Sattler (ISWC (2), 2012)

Syntactic vs. Semantic Locality: How Good Is a Cheap Approximation? - Chiara Del Vescovo; Pavel Klinov; Bijan Parsia; Ulrike Sattler; Thomas Schneider 002; Dmitry Tsarkov (WoMO, 2012)

Foundations and Challenges of Change and Evolution in Ontologies (Dagstuhl Seminar 12441). - James P. Delgrande; Thomas Meyer 002; Ulrike Sattler (Dagstuhl Reports, 2012)

The logical diversity of explanations in OWL ontologies. - Samantha Bail; Bijan Parsia; Ulrike Sattler (CIKM, 2013)

Finding Fault: Detecting Issues in a Versioned Ontology. - Maria Copeland; Rafael S. Gonçalves 001; Bijan Parsia; Uli Sattler; Robert Stevens 001 (ESWC (Satellite Events), 2013)

The Empirical Robustness of Description Logic Classification. - Rafael S. Gonçalves 001; Nicolas Matentzoglu; Bijan Parsia; Uli Sattler (ISWC (Posters & Demos), 2013)

Comparing Ontologies with ecco. - Rafael S. Gonçalves 001; Bijan Parsia; Uli Sattler (ISWC (Posters & Demos), 2013)

Empirical Study of Logic-Based Modules: Cheap Is Cheerful. - Chiara Del Vescovo; Pavel Klinov; Bijan Parsia; Ulrike Sattler; Thomas Schneider 002; Dmitry Tsarkov (ISWC (1), 2013)

Toward cognitive support for OWL justifications. - Matthew Horridge; Samantha Bail; Bijan Parsia; Uli Sattler (Knowl. Based Syst., 2013)

Measuring Conceptual Similarity in Ontologies: How Bad is a Cheap Measure? - Tahani Alsubait; Bijan Parsia; Uli Sattler (Description Logics, 2014)

An ABox Revision Algorithm for the Description Logic EL_bot. - Liang Chang 003; Uli Sattler; Tianlong Gu (Description Logics, 2014)

Temporalising EL Concepts with Time Intervals. - Jared Leo; Ulrike Sattler; Bijan Parsia (Description Logics, 2014)

An Empirical Investigation of Difficulty of Subsets of Description Logic Ontologies. - Nicolas Matentzoglu; Bijan Parsia; Uli Sattler (Description Logics, 2014)

DIP: A Defeasible-Inference Platform for OWL Ontologies. - Kodylan Moodley; Thomas Meyer 002; Uli Sattler (Description Logics, 2014)

Predicting OWL Reasoners: Locally or Globally? - Viachaslau Sazonau; Uli Sattler; Gavin Brown 001 (Description Logics, 2014)

Measuring Similarity in Ontologies: A New Family of Measures. - Tahani Alsubait; Bijan Parsia; Uli Sattler (EKAW, 2014)

Generating Multiple Choice Questions From Ontologies: How Far Can We Go? - Tahani Alsubait; Bijan Parsia; Uli Sattler (EKAW (Satellite Events), 2014)

Algorithm for Adapting Cases Represented in a Tractable Description Logic. - Liang Chang 003; Uli Sattler; Tianlong Gu (ICCBR, 2014)

Predicting Performance of OWL Reasoners: Locally or Globally? - Viachaslau Sazonau; Uli Sattler; Gavin Brown 001 (KR, 2014)

A Family History Knowledge Base in OWL 2. - Robert Stevens 001; Nicolas Matentzoglu; Uli Sattler; Margaret Stevens (ORE, 2014)

Generating Multiple Choice Questions From Ontologies: Lessons Learnt. - Tahani Alsubait; Bijan Parsia; Uli Sattler (OWLED, 2014)

A Study on the Atomic Decomposition of Ontologies. - Matthew Horridge; Jonathan Mortensen; Bijan Parsia; Ulrike Sattler; Mark A. Musen (ISWC (2), 2014)

The Manchester OWL Repository: System Description. - Nicolas Matentzoglu; Daniel Tang; Bijan Parsia; Uli Sattler (ISWC (Posters & Demos), 2014)

Practical Defeasible Reasoning for Description Logics. - Kodylan Moodley; Thomas Meyer 002; Uli Sattler (STAIRS, 2014)

Empirical Investigation of Subsumption Test Hardness in Description Logic Classification. - Nicolas Matentzoglu; Uli Sattler; Bijan Parsia (Description Logics, 2015)

TBox Reasoning in the Probabilistic Description Logic SHIQp. - Viachaslau Sazonau; Uli Sattler (Description Logics, 2015)

Verifying Reasoner Correctness - A Justication Based Method. - Michael Lee; Nicolas Matentzoglu; Uli Sattler; Bijan Parsia (ORE, 2015)

A Survey of Current, Stand-alone OWL Reasoners. - Nicolas Matentzoglu; Jared Leo; Valentino Hudhra; Uli Sattler; Bijan Parsia (ORE, 2015)

A Similarity Based Approach to Omission Finding in Ontologies. - Tahani Alsubait; Bijan Parsia; Uli Sattler (OWLED, 2015)

General Terminology Induction in OWL. - Viachaslau Sazonau; Uli Sattler; Gavin Brown 001 (OWLED, 2015)

Introducing Defeasibility into OWL Ontologies. - Giovanni Casini; Thomas Andreas Meyer; Kodylan Moodley; Uli Sattler; Ivan Varzinczak (ISWC (2), 2015)

A Multi-reasoner, Justification-Based Approach to Reasoner Correctness. - Michael Lee; Nicolas Matentzoglu; Bijan Parsia; Uli Sattler (ISWC (2), 2015)

An Experimental Evaluation of Automatically Generated Multiple Choice Questions from Ontologies. - Ghader Kurdi; Bijan Parsia; Uli Sattler (OWLED, 2016)

Ontology-Based Multiple Choice Question Generation. - Tahani Alsubait; Bijan Parsia; Ulrike Sattler (Künstliche Intell., 2016)

An Introduction to Description Logic. - Franz Baader; Ian Horrocks 001; Carsten Lutz; Ulrike Sattler (Cambridge University Press, 2017)

Mining Hypotheses from Data in OWL: Advanced Evaluation and Complete Construction. - Viachaslau Sazonau; Uli Sattler (ISWC (1), 2017)

Using Semantic Web Technologies to Underpin the SNOMED CT Query Language. - Mercedes Argüello Casteleiro; Dmitry Tsarkov; Bijan Parsia; Ulrike Sattler (SGAI Conf., 2017)

Generating Ontologies from Templates: A Rule-Based Approach for Capturing Regularity. - Christian Kindermann; Daniel P. Lupp; Uli Sattler; Evgenij Thorstensen (Description Logics, 2018)

Ontology Stratification Methods: A Comparative Study. - Ricardo Guimarães 001; Uli Sattler; Renata Wassermann (MedRACER+WOMoCoE@KR, 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)

OWL Reasoning: Subsumption Test Hardness and Modularity. - Nicolas Matentzoglu; Bijan Parsia; Uli Sattler (J. Autom. Reason., 2018)

A Tour of Franz Baader's Contributions to Knowledge Representation and Automated Deduction. - Carsten Lutz; Uli Sattler; Cesare Tinelli; Anni-Yasmin Turhan; Frank Wolter (Description Logic, Theory Combination, and All That, 2019)

Avoiding Subsumption Tests During Classification Using the Atomic Decomposition. - Haoruo Zhao; Uli Sattler; Bijan Parsia (Description Logics, 2019)

Detecting Influences of Ontology Design Patterns in Biomedical Ontologies. - Christian Kindermann; Bijan Parsia; Uli Sattler (ISWC (1), 2019)

Comparing Approaches for Capturing Repetitive Structures in Ontology Design Patterns. - Christian Kindermann; Bijan Parsia; Uli Sattler (WOP@ISWC, 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)

Theoretical Foundations of Defeasible Description Logics. - Katarina Britz; Giovanni Casini; Thomas Meyer 002; Kody Moodley; Uli Sattler; Ivan Varzinczak (CoRR, 2019)

Visual-Semantic Embedding Model Informed by Structured Knowledge. - Mirantha Jayathilaka; Tingting Mu; Uli Sattler (STAIRS@ECAI, 2020)

ReAD: Delegate OWL Reasoners for Ontology Classification with Atomic Decomposition. - Haoruo Zhao; Bijan Parsia; Uli Sattler (JOWO, 2020)

Prevalence and Effects of Class Hierarchy Precompilation in Biomedical Ontologies. - Christian Kindermann; Bijan Parsia; Uli Sattler (ISWC (1), 2020)

A Systematic Review of Automatic Question Generation for Educational Purposes. - Ghader Kurdi; Jared Leo; Bijan Parsia; Uli Sattler; Salam Al-E'mari (Int. J. Artif. Intell. Educ., 2020)

Modular Structures and Atomic Decomposition in Ontologies. - Chiara Del Vescovo; Matthew Horridge; Bijan Parsia; Uli Sattler; Thomas Schneider 002; Haoruo Zhao (J. Artif. Intell. Res., 2020)

Interview with Uli Sattler. - Uli Sattler; Thomas Schneider 002 (Künstliche Intell., 2020)

A systematic survey of temporal requirements of bio-health ontologies. - Jared Leo; Nicolas Matentzoglu; Uli Sattler; Bijan Parsia (Semantic Web, 2020)

Towards Knowledge-aware Few-shot Learning with Ontology-based n-ball Concept Embeddings. - Mirantha Jayathilaka; Tingting Mu; Uli Sattler (ICMLA, 2021)

ReAD: AD-Based Modular Ontology Classification. - Haoruo Zhao; Bijan Parsia; Uli Sattler (JELIA, 2021)

Resolution-Based Uniform Interpolation for Multi-Agent Modal Logic Kn. - Ruba Alassaf; Renate A. Schmidt; Uli Sattler (SOQE@KR, 2021)

Ontology-based n-ball Concept Embeddings Informing Few-shot Image Classification. - Mirantha Jayathilaka; Tingting Mu; Uli Sattler (MLSMKG@PKDD/ECML, 2021)

Encoding Repetitive Structures in Ontologies. - Christian Kindermann; Bijan Parsia; Uli Sattler (WOP (Book), 2021)

Syntactic Regularities Based on Language Abstractions. - Christian Kindermann; Bijan Parsia; Uli Sattler (WOP (Book), 2021)

Extending the Synergies Between SAT and Description Logics (Dagstuhl Seminar 21361). - João Marques-Silva 001; Rafael Peñaloza; Uli Sattler (Dagstuhl Reports, 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)

Principles of KLM-style Defeasible Description Logics. - Katarina Britz; Giovanni Casini; Thomas Meyer 002; Kody Moodley; Uli Sattler; Ivan Varzinczak (ACM Trans. Comput. Log., 2021)

Saturation-Based Uniform Interpolation for Multi-Modal Logics. - Ruba Alassaf; Renate A. Schmidt; Uli Sattler (AiML, 2022)

Next Steps for ReAD: Modules for Classification Optimisation. - Haoruo Zhao; Bijan Parsia; Uli Sattler (Description Logics, 2022)

Minimal Macro-Based Rewritings of Formal Languages: Theory and Applications in Ontology Engineering (and Beyond). - Christian Kindermann; Anne-Marie George; Bijan Parsia; Uli Sattler (AAAI, 2024)

TransBox: EL++-closed Ontology Embedding. - Hui Yang; Jiaoyan Chen; Uli Sattler (CoRR, 2024)

Resources for Graph Data and Knowledge. - Aidan Hogan; Ian Horrocks 001; Andreas Hotho; Lalana Kagal; Uli Sattler (TGDK, 2024)

TransBox: EL++-closed Ontology Embedding. - Hui Yang; Jiaoyan Chen; Uli Sattler (WWW, 2025)