Ulrike Sattler

181 papers A* 22A 13B 9Misc 8Journal 32Unranked 79

Year	Rank	Type	Title / Venue / Authors
2022	Misc	`ed.`	The Semantic Web - ISWC 2022 - 21st International Semantic Web Conference, Virtual Event, October 23-27, 2022, Proceedings ISWC Ulrike Sattler, Aidan Hogan, C. Maria Keet, Valentina Presutti, João Paulo A. Almeida, Hideaki Takeda, Pierre Monnin, Giuseppe Pirrò, Claudia d'Amato
2019	J	`jnl`	Ontology-Based Generation of Medical, Multi-term MCQs. Int. J. Artif. Intell. Educ. Jared Leo, Ghader Kurdi, Nicolas Matentzoglu, Bijan Parsia, Ulrike Sattler, Sophie Forge, Gina Donato, Will Dowling
2017	—	`book`	An Introduction to Description Logic. Franz Baader, Ian Horrocks, Carsten Lutz, Ulrike Sattler
2017	—	`conf`	Using Semantic Web Technologies to Underpin the SNOMED CT Query Language. SGAI Conf. Mercedes Argüello Casteleiro, Dmitry Tsarkov, Bijan Parsia, Ulrike Sattler
2016	J	`jnl`	Ontology-Based Multiple Choice Question Generation. Künstliche Intell. Tahani Alsubait, Bijan Parsia, Ulrike Sattler
2014	—	`conf`	A Study on the Atomic Decomposition of Ontologies. ISWC (2) Matthew Horridge, Jonathan Mortensen, Bijan Parsia, Ulrike Sattler, Mark A. Musen
2014	—	`conf`	Temporalising EL Concepts with Time Intervals. Description Logics Jared Leo, Ulrike Sattler, Bijan Parsia
2013	—	`conf`	Empirical Study of Logic-Based Modules: Cheap Is Cheerful. Description Logics Chiara Del Vescovo, Pavel Klinov, Bijan Parsia, Ulrike Sattler, Thomas Schneider, Dmitry Tsarkov
2013	—	`conf`	Empirical Study of Logic-Based Modules: Cheap Is Cheerful. ISWC (1) Chiara Del Vescovo, Pavel Klinov, Bijan Parsia, Ulrike Sattler, Thomas Schneider, Dmitry Tsarkov
2013	A	`conf`	The logical diversity of explanations in OWL ontologies. CIKM Samantha Bail, Bijan Parsia, Ulrike Sattler
2012	—	`conf`	Concept-Based Semantic Difference in Expressive Description Logics. Description Logics Rafael S. Gonçalves, Bijan Parsia, Ulrike Sattler
2012	—	`conf`	Concept-Based Semantic Difference in Expressive Description Logics. ISWC (1) Rafael S. Gonçalves, Bijan Parsia, Ulrike Sattler
2012	—	`conf`	Declutter Your Justifications: Determining Similarity Between OWL Explanations. WoDOOM@EKAW Samantha Bail, Bijan Parsia, Ulrike Sattler
2012	—	`conf`	Diversity of Reason: Equivalence Relations over Description Logic Explanations. Description Logics Samantha Bail, Bijan Parsia, Ulrike Sattler
2012	—	`conf`	Ecco: A Hybrid Diff Tool for OWL 2 ontologies. OWLED Rafael S. Gonçalves, Bijan Parsia, Ulrike Sattler
2012	—	`conf`	Extracting Justifications from BioPortal Ontologies. ISWC (2) Matthew Horridge, Bijan Parsia, Ulrike Sattler
2012	J	`jnl`	Foundations and Challenges of Change and Evolution in Ontologies (Dagstuhl Seminar 12441). Dagstuhl Reports James P. Delgrande, Thomas Meyer, Ulrike Sattler
2012	A*	`conf`	Justification Masking in Ontologies. KR Matthew Horridge, Bijan Parsia, Ulrike Sattler
2012	—	`conf`	Logical Relevance in Ontologies. Description Logics Chiara Del Vescovo, Bijan Parsia, Ulrike Sattler
2012	—	`conf`	Mining Ontologies for Analogy Questions: A Similarity-based Approach. OWLED Tahani Alsubait, Bijan Parsia, Ulrike Sattler
2012	—	`conf`	Performance Heterogeneity and Approximate Reasoning in Description Logic Ontologies. ISWC (1) Rafael S. Gonçalves, Bijan Parsia, Ulrike Sattler
2012	—	`conf`	Syntactic vs. Semantic Locality: How Good Is a Cheap Approximation? WoMO Chiara Del Vescovo, Pavel Klinov, Bijan Parsia, Ulrike Sattler, Thomas Schneider, Dmitry Tsarkov
2011	—	`conf`	Analysing Multiple Versions of an Ontology: A Study of the NCI Thesaurus. Description Logics Rafael S. Gonçalves, Bijan Parsia, Ulrike Sattler
2011	B	`conf`	Analysing the evolution of the NCI Thesaurus. CBMS Rafael S. Gonçalves, Bijan Parsia, Ulrike Sattler
2011	A	`conf`	Categorising logical differences between OWL ontologies. CIKM Rafael S. Gonçalves, Bijan Parsia, Ulrike Sattler
2011	J	`jnl`	Conjunctive Query Answering for the Description Logic SHIQ CoRR Birte Glimm, Ian Horrocks, Carsten Lutz, Ulrike Sattler
2011	—	`conf`	Decomposition and Modular Structure of BioPortal Ontologies. ISWC (1) Chiara Del Vescovo, Damian Gessler, Pavel Klinov, Bijan Parsia, Ulrike Sattler, Thomas Schneider, Andrew Winget
2011	—	`conf`	Extracting Finite Sets of Entailments from OWL Ontologies. Description Logics Samantha Bail, Bijan Parsia, Ulrike Sattler
2011	—	`conf`	Mooop - A Hybrid Integration of OWL and Java. CAiSE Workshops Christoph Frenzel, Bijan Parsia, Ulrike Sattler, Bernhard Bauer
2011	—	`conf`	The Cognitive Complexity of OWL Justifications. Description Logics Matthew Horridge, Samantha Bail, Bijan Parsia, Ulrike Sattler
2011	—	`conf`	The Cognitive Complexity of OWL Justifications. ISWC (1) Matthew Horridge, Samantha Bail, Bijan Parsia, Ulrike Sattler
2011	—	`conf`	The Justificatory Structure of the NCBO BioPortal Ontologies. ISWC (1) Samantha Bail, Matthew Horridge, Bijan Parsia, Ulrike Sattler
2011	—	`conf`	The Modular Structure of an Ontology: Atomic Decomposition and Module Count. WoMO Chiara Del Vescovo, Bijan Parsia, Ulrike Sattler, Thomas Schneider
2011	A*	`conf`	The Modular Structure of an Ontology: Atomic Decomposition. IJCAI Chiara Del Vescovo, Bijan Parsia, Ulrike Sattler, Thomas Schneider
2011	Misc	`conf`	Topicality in Logic-Based Ontologies. ICCS Chiara Del Vescovo, Bijan Parsia, Ulrike Sattler
2010	J	`jnl`	Evaluating Modelling Approaches for Medical Image Annotations CoRR Jasmin Opitz, Bijan Parsia, Ulrike Sattler
2010	—	`conf`	Evaluating Modelling Approaches for Medical Image Annotations. SWAT4LS Jasmin Opitz, Bijan Parsia, Ulrike Sattler
2010	—	`conf`	Information system analysis. IWEST@ISWC Jasmin Opitz, Bijan Parsia, Ulrike Sattler
2010	—	`conf`	JustBench: A Framework for OWL Benchmarking. ISWC (1) Samantha Bail, Bijan Parsia, Ulrike Sattler
2010	—	`conf`	Justification Masking in OWL. Description Logics Matthew Horridge, Bijan Parsia, Ulrike Sattler
2010	—	`conf`	Justification Oriented Proofs in OWL. ISWC (1) Matthew Horridge, Bijan Parsia, Ulrike Sattler
2010	A*	`ed.`	Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, KR 2010, Toronto, Ontario, Canada, May 9-13, 2010 KR Fangzhen Lin, Ulrike Sattler, Miroslaw Truszczynski
2010	—	`conf`	Representing Chemicals Using OWL, Description Graphs and Rules. OWLED Janna Hastings, Michel Dumontier, Duncan Hull, Matthew Horridge, Christoph Steinbeck, Robert Stevens, Ulrike Sattler, Tertia Hörne, Katarina Britz
2010	J	`jnl`	Special issue on automated deduction: Decidability, complexity, tractability. J. Symb. Comput. Silvio Ghilardi, Viorica Sofronie-Stokkermans, Ulrike Sattler, Ashish Tiwari
2010	—	`conf`	The Justificatory Structure of OWL Ontologies. OWLED Samantha Bail, Bijan Parsia, Ulrike Sattler
2010	—	`conf`	The modular structure of an ontology: an empirical study. Description Logics Chiara Del Vescovo, Bijan Parsia, Ulrike Sattler, Thomas Schneider
2010	—	`conf`	The modular structure of an ontology: an empirical study. WoMO Chiara Del Vescovo, Bijan Parsia, Ulrike Sattler, Thomas Schneider
2009	—	`conf`	A Solution for the Man-Man Problem in the Family History Knowledge Base. OWLED Dmitry Tsarkov, Ulrike Sattler, Robert Stevens
2009	J	`jnl`	Bridging the gap between OWL and relational databases. J. Web Semant. Boris Motik, Ian Horrocks, Ulrike Sattler
2009	—	`ch.`	Description Logics. Handbook on Ontologies Franz Baader, Ian Horrocks, Ulrike Sattler
2009	—	`conf`	Explaining Inconsistencies in OWL Ontologies. SUM Matthew Horridge, Bijan Parsia, Ulrike Sattler
2009	—	`conf`	Explaining by Example: Model Exploration for Ontology Comprehension. Description Logics Johannes Bauer, Ulrike Sattler, Bijan Parsia
2009	—	`ch.`	Extracting Modules from Ontologies: A Logic-Based Approach. Modular Ontologies Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler
2009	—	`conf`	From Justifications to Proofs for Entailments in OWL. OWLED Matthew Horridge, Bijan Parsia, Ulrike Sattler
2009	—	`conf`	Lemmas for Justifications in OWL. Description Logics Matthew Horridge, Bijan Parsia, Ulrike Sattler
2009	—	`conf`	Mechanisms for Importing Modules. OWLED Bijan Parsia, Ulrike Sattler, Thomas Schneider
2009	A*	`conf`	Minimal Module Extraction from DL-Lite Ontologies Using QBF Solvers. IJCAI Roman Kontchakov, Luca Pulina, Ulrike Sattler, Thomas Schneider, Petra Selmer, Frank Wolter, Michael Zakharyaschev
2009	—	`conf`	On Correspondences between Probabilistic First-Order and Description Logics. Description Logics Pavel Klinov, Bijan Parsia, Ulrike Sattler
2009	—	`ed.`	Proceedings of the 22nd International Workshop on Description Logics (DL 2009), Oxford, UK, July 27-30, 2009 Description Logics Bernardo Cuenca Grau, Ian Horrocks, Boris Motik, Ulrike Sattler
2009	—	`ed.`	Proceedings of the Fifth OWLED Workshop on OWL: Experiences and Directions, collocated with the 7th International Semantic Web Conference (ISWC-2008), Karlsruhe, Germany, October 26-27, 2008 OWLED Catherine Dolbear, Alan Ruttenberg, Ulrike Sattler
2009	J	`jnl`	Representing ontologies using description logics, description graphs, and rules. Artif. Intell. Boris Motik, Bernardo Cuenca Grau, Ian Horrocks, Ulrike Sattler
2009	—	`conf`	Using Ontologies for Medical Image Retrieval - An Experiment. OWLED Jasmin Opitz, Bijan Parsia, Ulrike Sattler
2009	—	`conf`	Which Kind of Module Should I Extract? Description Logics Ulrike Sattler, Thomas Schneider, Michael Zakharyaschev
2008	J	`jnl`	Conjunctive Query Answering for the Description Logic SHIQ. J. Artif. Intell. Res. Birte Glimm, Carsten Lutz, Ian Horrocks, Ulrike Sattler
2008	—	`conf`	Deciding SHOQ^cap Knowledge Base Consistency using Alternating Automata. Description Logics Birte Glimm, Ian Horrocks, Ulrike Sattler
2008	J	`jnl`	Deciding expressive description logics in the framework of resolution. Inf. Comput. Ullrich Hustadt, Boris Motik, Ulrike Sattler
2008	—	`ch.`	Description Logics. Handbook of Knowledge Representation Franz Baader, Ian Horrocks, Ulrike Sattler
2008	—	`conf`	Easy Keys for OWL. OWLED Bijan Parsia, Ulrike Sattler, Thomas Schneider
2008	—	`conf`	Explanation of OWL Entailments in Protege 4. ISWC (Posters & Demos) Matthew Horridge, Bijan Parsia, Ulrike Sattler
2008	Misc	`conf`	Laconic and Precise Justifications in OWL. ISWC Matthew Horridge, Bijan Parsia, Ulrike Sattler
2008	—	`conf`	Modeling Ontologies using OWL, Description Graphs, and Rules. OWLED Boris Motik, Bernardo Cuenca Grau, Ian Horrocks, Ulrike Sattler
2008	J	`jnl`	Modular Reuse of Ontologies: Theory and Practice. J. Artif. Intell. Res. Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler
2008	—	`conf`	Next Steps for Description Logics of Minimal Knowledge and Negation as Failure. Description Logics Peihong Ke, Ulrike Sattler
2008	J	`jnl`	OWL 2: The next step for OWL. J. Web Semant. Bernardo Cuenca Grau, Ian Horrocks, Boris Motik, Bijan Parsia, Peter F. Patel-Schneider, Ulrike Sattler
2008	—	`ed.`	Proceedings of the Workshop on Ontologies: Reasoning and Modularity, WoMO 2008, Tenerife, Spain, June 2, 2008. WoMO Ulrike Sattler, Andrei Tamilin
2008	A*	`conf`	Representing Structured Objects using Description Graphs. KR Boris Motik, Bernardo Cuenca Grau, Ian Horrocks, Ulrike Sattler
2008	—	`conf`	Rewriting Rules into SROIQ Axioms. Description Logics Francis Gasse, Ulrike Sattler, Volker Haarslev
2008	—	`conf`	Safe and Economic Re-Use of Ontologies: A Logic-Based Methodology and Tool Support. Description Logics Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Ulrike Sattler, Thomas Schneider, Rafael Berlanga Llavori
2008	B	`conf`	Safe and Economic Re-Use of Ontologies: A Logic-Based Methodology and Tool Support. ESWC Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Ulrike Sattler, Thomas Schneider, Rafael Berlanga Llavori
2008	—	`conf`	Safe and Economic Re-Use of Ontologies: A Logic-Based Methodology and Tool Support. OWLED (Spring) Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Ulrike Sattler, Thomas Schneider, Rafael Berlanga Llavori
2008	A*	`conf`	Structured objects in owl: representation and reasoning. WWW Boris Motik, Bernardo Cuenca Grau, Ulrike Sattler
2008	—	`conf`	The Representation of Structured Objects in DLs using Description Graphs. Description Logics Boris Motik, Bernardo Cuenca Grau, Ulrike Sattler
2008	—	`conf`	Understanding Entailments in OWL. OWLED Matthew Horridge, Johannes Bauer, Bijan Parsia, Ulrike Sattler
2008	A*	`conf`	Unions of Conjunctive Queries in SHOQ. KR Birte Glimm, Ian Horrocks, Ulrike Sattler
2007	A*	`conf`	A Logical Framework for Modularity of Ontologies. IJCAI Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler
2007	J	`jnl`	A Tableau Decision Procedure for J. Autom. Reason. Ian Horrocks, Ulrike Sattler
2007	—	`conf`	Adding Integrity Constraints to OWL. OWLED Boris Motik, Ian Horrocks, Ulrike Sattler
2007	A*	`conf`	Bridging the gap between OWL and relational databases. WWW Boris Motik, Ian Horrocks, Ulrike Sattler
2007	A*	`conf`	Completing Description Logic Knowledge Bases Using Formal Concept Analysis. IJCAI Franz Baader, Bernhard Ganter, Baris Sertkaya, Ulrike Sattler
2007	—	`conf`	Completing Description Logic Knowledge Bases using Formal Concept Analysis. OWLED Franz Baader, Bernhard Ganter, Ulrike Sattler, Baris Sertkaya
2007	—	`ch.`	Computational modal logic. Handbook of Modal Logic Ian Horrocks, Ullrich Hustadt, Ulrike Sattler, Renate A. Schmidt
2007	A*	`conf`	Conjunctive Query Answering for the Description Logic SHIQ. IJCAI Birte Glimm, Ian Horrocks, Carsten Lutz, Ulrike Sattler
2007	—	`conf`	Conjunctive Query Entailment for SHOQ. Description Logics Birte Glimm, Ian Horrocks, Ulrike Sattler
2007	—	`conf`	Extracting Modules from Ontologies: A Logic-based Approach. OWLED Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler
2007	B	`conf`	How Many Legs Do I Have? Non-Simple Roles in Number Restrictions Revisited. LPAR Yevgeny Kazakov, Ulrike Sattler, Evgeny Zolin
2007	A*	`conf`	Just the right amount: extracting modules from ontologies. WWW Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler
2007	—	`conf`	Ontology Reuse: Better Safe than Sorry. Description Logics Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler
2007	J	`jnl`	Reasoning in Description Logics by a Reduction to Disjunctive Datalog. J. Autom. Reason. Ullrich Hustadt, Boris Motik, Ulrike Sattler
2007	—	`conf`	Reasoning in Description Logics: Basics, Extensions, and Relatives. Reasoning Web Ulrike Sattler
2007	J	`jnl`	Understanding and using the meaning of statements in a bio-ontology: recasting the Gene Ontology in OWL. BMC Bioinform. Mikel Egaña Aranguren, Sean Bechhofer, Phillip W. Lord, Ulrike Sattler, Robert D. Stevens
2007	J	`jnl`	Using OWL to model biological knowledge. Int. J. Hum. Comput. Stud. Robert Stevens, Mikel Egaña Aranguren, Katy Wolstencroft, Ulrike Sattler, Nick Drummond, Matthew Horridge, Alan L. Rector
2006	—	`conf`	A Case for Abductive Reasoning over Ontologies. OWLED Corinna Elsenbroich, Oliver Kutz, Ulrike Sattler
2006	B	`conf`	A Comparison of Reasoning Techniques for Querying Large Description Logic ABoxes. LPAR Boris Motik, Ulrike Sattler
2006	J	`jnl`	BDD-based decision procedures for the modal logic K. J. Appl. Non Class. Logics Guoqiang Pan, Ulrike Sattler, Moshe Y. Vardi
2006	Misc	`conf`	Can OWL and Logic Programming Live Together Happily Ever After? ISWC Boris Motik, Ian Horrocks, Riccardo Rosati, Ulrike Sattler
2006	—	`conf`	Conjunctive Query Answering for Description Logics with Transitive Roles. Description Logics Birte Glimm, Ian Horrocks, Ulrike Sattler
2006	A*	`conf`	Deciding Semantic Matching of Stateless Services. AAAI Duncan Hull, Evgeny Zolin, Andrey Bovykin, Ian Horrocks, Ulrike Sattler, Robert Stevens
2006	—	`conf`	Hybrid Logics and Ontology Languages. HyLo@FLoC Ian Horrocks, Birte Glimm, Ulrike Sattler
2006	—	`conf`	Next Steps for OWL. OWLED Bernardo Cuenca Grau, Ian Horrocks, Bijan Parsia, Peter F. Patel-Schneider, Ulrike Sattler
2006	—	`ed.`	Proceedings of the 2006 International Workshop on Description Logics (DL2006), Windermere, Lake District, UK, May 30 - June 1, 2006 Description Logics Bijan Parsia, Ulrike Sattler, David Toman
2006	—	`conf`	Reasoning Support for Ontology Design. OWLED Carsten Lutz, Franz Baader, Enrico Franconi, Domenico Lembo, Ralf Möller, Riccardo Rosati, Ulrike Sattler, Boontawee Suntisrivaraporn, Sergio Tessaris
2006	—	`ed.`	Reasoning Web, Second International Summer School 2006, Lisbon, Portugal, September 4-8, 2006, Tutorial Lectures Reasoning Web Pedro Barahona, François Bry, Enrico Franconi, Nicola Henze, Ulrike Sattler
2006	A*	`conf`	The Even More Irresistible SROIQ. KR Ian Horrocks, Oliver Kutz, Ulrike Sattler
2006	—	`conf`	Will my Ontologies Fit Together? Description Logics Bernardo Cuenca Grau, Ian Horrocks, Oliver Kutz, Ulrike Sattler
2005	Misc	`conf`	A Little Semantic Web Goes a Long Way in Biology. ISWC Katy Wolstencroft, Andy Brass, Ian Horrocks, Phillip W. Lord, Ulrike Sattler, Daniele Turi, Robert Stevens
2005	A*	`conf`	A Tableaux Decision Procedure for SHOIQ. IJCAI Ian Horrocks, Ulrike Sattler
2005	—	`conf`	Applying Description Logics for Workflow Reuse and Repurposing. Description Logics Antoon Goderis, Ulrike Sattler, Carole A. Goble
2005	A*	`conf`	Data Complexity of Reasoning in Very Expressive Description Logics. IJCAI Ullrich Hustadt, Boris Motik, Ulrike Sattler
2005	—	`conf`	Description Logics as Ontology Languages for the Semantic Web. Mechanizing Mathematical Reasoning Franz Baader, Ian Horrocks, Ulrike Sattler
2005	A*	`conf`	Integrating Description Logics and Action Formalisms: First Results. AAAI Franz Baader, Carsten Lutz, Maja Milicic, Ulrike Sattler, Frank Wolter
2005	—	`conf`	Integrating Description Logics and Action Formalisms: First Results. Description Logics Franz Baader, Maja Milicic, Carsten Lutz, Ulrike Sattler, Frank Wolter
2005	J	`jnl`	Keys, Nominals, and Concrete Domains. J. Artif. Intell. Res. Carsten Lutz, Carlos Areces, Ian Horrocks, Ulrike Sattler
2005	—	`ed.`	Proceedings of the 2005 International Workshop on Description Logics (DL2005), Edinburgh, Scotland, UK, July 26-28, 2005 Description Logics Ian Horrocks, Ulrike Sattler, Frank Wolter
2005	J	`jnl`	Query Answering for OWL-DL with rules. J. Web Semant. Boris Motik, Ulrike Sattler, Rudi Studer
2005	Misc	`conf`	Seven Bottlenecks to Workflow Reuse and Repurposing. ISWC Antoon Goderis, Ulrike Sattler, Phillip W. Lord, Carole A. Goble
2005	—	`conf`	The Irresistible SRIQ. OWLED Ian Horrocks, Oliver Kutz, Ulrike Sattler
2005	J	`jnl`	The complexity of finite model reasoning in description logics. Inf. Comput. Carsten Lutz, Ulrike Sattler, Lidia Tendera
2004	B	`conf`	A Decomposition Rule for Decision Procedures by Resolution-Based Calculi. LPAR Ullrich Hustadt, Boris Motik, Ulrike Sattler
2004	—	`ed.`	Contributions to the Doctoral Programme of the 2nd International Joint Conference on Automated Reasoning, Cork, Ireland, July 4-8, 2004. IJCAR Doctoral Programme Ulrike Sattler
2004	J	`jnl`	Decidability of SHIQ with complex role inclusion axioms. Artif. Intell. Ian Horrocks, Ulrike Sattler
2004	—	`ch.`	Description Logics. Handbook on Ontologies Franz Baader, Ian Horrocks, Ulrike Sattler
2004	Misc	`conf`	Query Answering for OWL-DL with Rules. ISWC Boris Motik, Ulrike Sattler, Rudi Studer
2004	A	`conf`	Reasoning in Description Logics with a Concrete Domain in the Framework of Resolution. ECAI Ullrich Hustadt, Boris Motik, Ulrike Sattler
2004	A*	`conf`	Reducing SHIQ-Description Logic to Disjunctive Datalog Programs. KR Ullrich Hustadt, Boris Motik, Ulrike Sattler
2003	A	`conf`	A Translation of Looping Alternating Automata into Description Logics. CADE Jan Hladik, Ulrike Sattler
2003	A*	`conf`	Decidability of SHIQ with Complex Role Inclusion Axioms. IJCAI Ian Horrocks, Ulrike Sattler
2003	J	`jnl`	Description logics with aggregates and concrete domains. Inf. Syst. Franz Baader, Ulrike Sattler
2003	—	`conf`	Finite Model Reasoning in ALCQI is EXPTIME Logics. Description Logics Carsten Lutz, Ulrike Sattler, Lidia Tendera
2003	A*	`conf`	Keys, Nominals, and Concrete Domains. IJCAI Carsten Lutz, Carlos Areces, Ian Horrocks, Ulrike Sattler
2003	—	`ed.`	Proceedings of the 10th International Workshop on Knowledge Representation meets Databases (KRDB 2003), Hamburg, Germany, September 15-16, 2003 François Bry, Carsten Lutz, Ulrike Sattler, Mareike Schoop
2003	—	`ch.`	Relationships with other Formalisms. Description Logic Handbook Ulrike Sattler, Diego Calvanese, Ralf Molitor
2003	A	`conf`	The Complexity of Finite Model Reasoning in Description Logics. CADE Carsten Lutz, Ulrike Sattler, Lidia Tendera
2002	—	`conf`	A proposal for describing services with DLs. Description Logics Carsten Lutz, Ulrike Sattler
2002	J	`jnl`	Automata-Theoretic Decision Procedures for Information Logics. Fundam. Informaticae Stéphane Demri, Ulrike Sattler
2002	A	`conf`	BDD-Based Decision Procedures for K. CADE Guoqiang Pan, Ulrike Sattler, Moshe Y. Vardi
2002	J	`jnl`	Description Logics for the Semantic Web. Künstliche Intell. Franz Baader, Ian Horrocks, Ulrike Sattler
2002	A	`conf`	Optimised Reasoning for SHIQ. ECAI Ian Horrocks, Ulrike Sattler
2002	A	`conf`	The Complexity of the Graded µ-Calculus. CADE Orna Kupferman, Ulrike Sattler, Moshe Y. Vardi
2001	J	`jnl`	An Overview of Tableau Algorithms for Description Logics. Stud Logica Franz Baader, Ulrike Sattler
2001	—	`conf`	Description Logics and the Two-Variable Fragment. Description Logics Carsten Lutz, Ulrike Sattler, Frank Wolter
2001	B	`conf`	Modal Logic and the Two-Variable Fragment. CSL Carsten Lutz, Ulrike Sattler, Frank Wolter
2001	A*	`conf`	Ontology Reasoning in the SHOQ(D) Description Logic. IJCAI Ian Horrocks, Ulrike Sattler
2001	A	`conf`	The Hybrid µ-Calculus. IJCAR Ulrike Sattler, Moshe Y. Vardi
2000	A	`conf`	Description Logics for the Representation of Aggregated Objects. ECAI Ulrike Sattler
2000	B	`conf`	How to Decide Query Containment Under Constraints Using a Description Logic. LPAR Ian Horrocks, Ulrike Sattler, Sergio Tessaris, Stephan Tobies
2000	—	`conf`	How to decide Query Containment under Constraints using a Description Logic. KRDB Ian Horrocks, Ulrike Sattler, Sergio Tessaris, Stephan Tobies
2000	—	`conf`	Mary Likes all Cats. Description Logics Carsten Lutz, Ulrike Sattler
2000	J	`jnl`	Practical Reasoning for Expressive Description Logics CoRR Ian Horrocks, Ulrike Sattler, Stephan Tobies
2000	J	`jnl`	Practical Reasoning for Very Expressive Description Logics CoRR Ian Horrocks, Ulrike Sattler, Stephan Tobies
2000	J	`jnl`	Practical Reasoning for Very Expressive Description Logics. Log. J. IGPL Ian Horrocks, Ulrike Sattler, Stephan Tobies
2000	—	`ed.`	Proceedings of the 2000 International Workshop on Description Logics (DL2000), Aachen, Germany, August 17-19, 2000 Description Logics Franz Baader, Ulrike Sattler
2000	—	`ed.`	Proceedings of the 7th International Workshop on Knowledge Representation meets Databases (KRDB 2000), Berlin, Germany, August 21, 2000 Mokrane Bouzeghoub, Matthias Klusch, Werner Nutt, Ulrike Sattler
2000	J	`jnl`	Reasoning with Individuals for the Description Logic SHIQ CoRR Ian Horrocks, Ulrike Sattler, Stephan Tobies
2000	A	`conf`	Reasoning with Individuals for the Description Logic SHIQ. CADE Ian Horrocks, Ulrike Sattler, Stephan Tobies
2000	B	`conf`	The Complexity of Reasoning with Boolean Modal Logics. Advances in Modal Logic Carsten Lutz, Ulrike Sattler
1999	—	`conf`	A Data Warehouse Conceptual Data Model for Multidimensional Aggregation. DMDW Enrico Franconi, Ulrike Sattler
1999	J	`jnl`	A Description Logic with Transitive and Inverse Roles and Role Hierarchies. J. Log. Comput. Ian Horrocks, Ulrike Sattler
1999	—	`conf`	A Suggestion for an n-ary Description Logic. Description Logics Carsten Lutz, Ulrike Sattler, Stephan Tobies
1999	J	`jnl`	Expressive Number Restrictions in Description Logics. J. Log. Comput. Franz Baader, Ulrike Sattler
1999	B	`conf`	Practical Reasoning for Expressive Description Logics. LPAR Ian Horrocks, Ulrike Sattler, Stephan Tobies
1998	—	`conf`	A Description Logic with Transitive and Inverse Roles and Role Hierarchies. Description Logics Ian Horrocks, Ulrike Sattler
1998	A	`conf`	Description Logics with Concrete Domains and Aggregation. ECAI Franz Baader, Ulrike Sattler
1998	—	`conf`	Modeling multidimensional database: a formal object-oriented approach. ECIS Mohand-Said Hacid, Ulrike Sattler
1998	—	`—`	Terminological knowledge representation systems in a process engineering application. Ulrike Sattler
1997	—	`conf`	Description Logics with Aggregates and Concrete Domains. Description Logics Franz Baader, Ulrike Sattler
1996	Misc	`conf`	A Concept Language Extended with Different Kinds of Transitive Roles. KI Ulrike Sattler
1996	A	`conf`	Description Logics with Symbolic Number Restrictions. ECAI Franz Baader, Ulrike Sattler
1996	—	`conf`	Knowledge Representation in Process Engineering. Description Logics Franz Baader, Ulrike Sattler
1996	—	`conf`	Number Restrictions on Complex Roles in Description Logics: A Preliminary Report. Description Logics Franz Baader, Ulrike Sattler
1996	A*	`conf`	Number Restrictions on Complex Roles in Description Logics: A Preliminary Report. KR Franz Baader, Ulrike Sattler
1995	J	`jnl`	Constructible Differentially Finite Algebraic Series in Several Variables. Theor. Comput. Sci. François Bergeron, Ulrike Sattler