Ulrike Sattler

ORCID

Publication Activity (10 Years)

Years Active: 1995-2019
Publications (10 Years): 3

Top Venues

RWTH Aachen University, Germany (PHD)

Education History

RWTH Aachen University, Germany

PHD

Publications

Jared Leo, Ghader Kurdi, Nicolas Matentzoglu, Bijan Parsia, Ulrike Sattler, Sophie Forge, Gina Donato, Will Dowling
Ontology-Based Generation of Medical, Multi-term MCQs. Int. J. Artif. Intell. Educ. 29 (2) (2019)
Mercedes Argüello Casteleiro, Dmitry Tsarkov, Bijan Parsia, Ulrike Sattler
Using Semantic Web Technologies to Underpin the SNOMED CT Query Language. SGAI Conf. (2017)
Tahani Alsubait, Bijan Parsia, Ulrike Sattler
Ontology-Based Multiple Choice Question Generation. Künstliche Intell. 30 (2) (2016)
Matthew Horridge, Jonathan Mortensen, Bijan Parsia, Ulrike Sattler, Mark A. Musen
A Study on the Atomic Decomposition of Ontologies. ISWC (2) (2014)
Jared Leo, Ulrike Sattler, Bijan Parsia
Temporalising EL Concepts with Time Intervals. Description Logics (2014)
Samantha Bail, Bijan Parsia, Ulrike Sattler
The logical diversity of explanations in OWL ontologies. CIKM (2013)
Chiara Del Vescovo, Pavel Klinov, Bijan Parsia, Ulrike Sattler, Thomas Schneider, Dmitry Tsarkov
Empirical Study of Logic-Based Modules: Cheap Is Cheerful. Description Logics (2013)
Chiara Del Vescovo, Pavel Klinov, Bijan Parsia, Ulrike Sattler, Thomas Schneider, Dmitry Tsarkov
Empirical Study of Logic-Based Modules: Cheap Is Cheerful. ISWC (1) (2013)
Matthew Horridge, Bijan Parsia, Ulrike Sattler
Justification Masking in Ontologies. KR (2012)
Rafael S. Gonçalves, Bijan Parsia, Ulrike Sattler
Ecco: A Hybrid Diff Tool for OWL 2 ontologies. OWLED (2012)
Tahani Alsubait, Bijan Parsia, Ulrike Sattler
Mining Ontologies for Analogy Questions: A Similarity-based Approach. OWLED (2012)
Chiara Del Vescovo, Bijan Parsia, Ulrike Sattler
Logical Relevance in Ontologies. Description Logics (2012)
Rafael S. Gonçalves, Bijan Parsia, Ulrike Sattler
Concept-Based Semantic Difference in Expressive Description Logics. Description Logics (2012)
Samantha Bail, Bijan Parsia, Ulrike Sattler
Declutter Your Justifications: Determining Similarity Between OWL Explanations. WoDOOM@EKAW (2012)
James P. Delgrande, Thomas Meyer, Ulrike Sattler
Foundations and Challenges of Change and Evolution in Ontologies (Dagstuhl Seminar 12441). Dagstuhl Reports 2 (10) (2012)
Samantha Bail, Bijan Parsia, Ulrike Sattler
Diversity of Reason: Equivalence Relations over Description Logic Explanations. Description Logics (2012)
Matthew Horridge, Bijan Parsia, Ulrike Sattler
Extracting Justifications from BioPortal Ontologies. ISWC (2) (2012)
Rafael S. Gonçalves, Bijan Parsia, Ulrike Sattler
Performance Heterogeneity and Approximate Reasoning in Description Logic Ontologies. ISWC (1) (2012)
Chiara Del Vescovo, Pavel Klinov, Bijan Parsia, Ulrike Sattler, Thomas Schneider, Dmitry Tsarkov
Syntactic vs. Semantic Locality: How Good Is a Cheap Approximation? WoMO (2012)
Rafael S. Gonçalves, Bijan Parsia, Ulrike Sattler
Concept-Based Semantic Difference in Expressive Description Logics. ISWC (1) (2012)
Chiara Del Vescovo, Bijan Parsia, Ulrike Sattler, Thomas Schneider
The Modular Structure of an Ontology: Atomic Decomposition and Module Count. WoMO (2011)
Rafael S. Gonçalves, Bijan Parsia, Ulrike Sattler
Categorising logical differences between OWL ontologies. CIKM (2011)
Rafael S. Gonçalves, Bijan Parsia, Ulrike Sattler
Analysing Multiple Versions of an Ontology: A Study of the NCI Thesaurus. Description Logics (2011)
Rafael S. Gonçalves, Bijan Parsia, Ulrike Sattler
Analysing the evolution of the NCI Thesaurus. CBMS (2011)
Chiara Del Vescovo, Bijan Parsia, Ulrike Sattler, Thomas Schneider
The Modular Structure of an Ontology: Atomic Decomposition. IJCAI (2011)
Chiara Del Vescovo, Damian Gessler, Pavel Klinov, Bijan Parsia, Ulrike Sattler, Thomas Schneider, Andrew Winget
Decomposition and Modular Structure of BioPortal Ontologies. ISWC (1) (2011)
Matthew Horridge, Samantha Bail, Bijan Parsia, Ulrike Sattler
The Cognitive Complexity of OWL Justifications. ISWC (1) (2011)
Birte Glimm, Ian Horrocks, Carsten Lutz, Ulrike Sattler
Conjunctive Query Answering for the Description Logic SHIQ CoRR (2011)
Matthew Horridge, Samantha Bail, Bijan Parsia, Ulrike Sattler
The Cognitive Complexity of OWL Justifications. Description Logics (2011)
Samantha Bail, Matthew Horridge, Bijan Parsia, Ulrike Sattler
The Justificatory Structure of the NCBO BioPortal Ontologies. ISWC (1) (2011)
Chiara Del Vescovo, Bijan Parsia, Ulrike Sattler
Topicality in Logic-Based Ontologies. ICCS (2011)
Samantha Bail, Bijan Parsia, Ulrike Sattler
Extracting Finite Sets of Entailments from OWL Ontologies. Description Logics (2011)
Christoph Frenzel, Bijan Parsia, Ulrike Sattler, Bernhard Bauer
Mooop - A Hybrid Integration of OWL and Java. CAiSE Workshops (2011)
Chiara Del Vescovo, Bijan Parsia, Ulrike Sattler, Thomas Schneider
The modular structure of an ontology: an empirical study. WoMO (2010)
Samantha Bail, Bijan Parsia, Ulrike Sattler
The Justificatory Structure of OWL Ontologies. OWLED (2010)
Samantha Bail, Bijan Parsia, Ulrike Sattler
JustBench: A Framework for OWL Benchmarking. ISWC (1) (2010)
Jasmin Opitz, Bijan Parsia, Ulrike Sattler
Evaluating Modelling Approaches for Medical Image Annotations. SWAT4LS (2010)
Matthew Horridge, Bijan Parsia, Ulrike Sattler
Justification Oriented Proofs in OWL. ISWC (1) (2010)
Janna Hastings, Michel Dumontier, Duncan Hull, Matthew Horridge, Christoph Steinbeck, Robert Stevens, Ulrike Sattler, Tertia Hörne, Katarina Britz
Representing Chemicals Using OWL, Description Graphs and Rules. OWLED (2010)
Jasmin Opitz, Bijan Parsia, Ulrike Sattler
Information system analysis. IWEST@ISWC (2010)
Silvio Ghilardi, Viorica Sofronie-Stokkermans, Ulrike Sattler, Ashish Tiwari
Special issue on automated deduction: Decidability, complexity, tractability. J. Symb. Comput. 45 (2) (2010)
Matthew Horridge, Bijan Parsia, Ulrike Sattler
Justification Masking in OWL. Description Logics (2010)
Jasmin Opitz, Bijan Parsia, Ulrike Sattler
Evaluating Modelling Approaches for Medical Image Annotations CoRR (2010)
Chiara Del Vescovo, Bijan Parsia, Ulrike Sattler, Thomas Schneider
The modular structure of an ontology: an empirical study. Description Logics (2010)
Boris Motik, Bernardo Cuenca Grau, Ian Horrocks, Ulrike Sattler
Representing ontologies using description logics, description graphs, and rules. Artif. Intell. 173 (14) (2009)
Boris Motik, Ian Horrocks, Ulrike Sattler
Bridging the gap between OWL and relational databases. J. Web Semant. 7 (2) (2009)
Matthew Horridge, Bijan Parsia, Ulrike Sattler
Lemmas for Justifications in OWL. Description Logics (2009)
Ulrike Sattler, Thomas Schneider, Michael Zakharyaschev
Which Kind of Module Should I Extract? Description Logics (2009)
Roman Kontchakov, Luca Pulina, Ulrike Sattler, Thomas Schneider, Petra Selmer, Frank Wolter, Michael Zakharyaschev
Minimal Module Extraction from DL-Lite Ontologies Using QBF Solvers. IJCAI (2009)
Pavel Klinov, Bijan Parsia, Ulrike Sattler
On Correspondences between Probabilistic First-Order and Description Logics. Description Logics (2009)
Matthew Horridge, Bijan Parsia, Ulrike Sattler
Explaining Inconsistencies in OWL Ontologies. SUM (2009)
Dmitry Tsarkov, Ulrike Sattler, Robert Stevens
A Solution for the Man-Man Problem in the Family History Knowledge Base. OWLED (2009)
Bijan Parsia, Ulrike Sattler, Thomas Schneider
Mechanisms for Importing Modules. OWLED (2009)
Johannes Bauer, Ulrike Sattler, Bijan Parsia
Explaining by Example: Model Exploration for Ontology Comprehension. Description Logics (2009)
Matthew Horridge, Bijan Parsia, Ulrike Sattler
From Justifications to Proofs for Entailments in OWL. OWLED (2009)
Jasmin Opitz, Bijan Parsia, Ulrike Sattler
Using Ontologies for Medical Image Retrieval - An Experiment. OWLED (2009)
Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Ulrike Sattler, Thomas Schneider, Rafael Berlanga Llavori
Safe and Economic Re-Use of Ontologies: A Logic-Based Methodology and Tool Support. Description Logics (2008)
Birte Glimm, Ian Horrocks, Ulrike Sattler
Unions of Conjunctive Queries in SHOQ. KR (2008)
Bernardo Cuenca Grau, Ian Horrocks, Boris Motik, Bijan Parsia, Peter F. Patel-Schneider, Ulrike Sattler
OWL 2: The next step for OWL. J. Web Semant. 6 (4) (2008)
Francis Gasse, Ulrike Sattler, Volker Haarslev
Rewriting Rules into SROIQ Axioms. Description Logics (2008)
Ullrich Hustadt, Boris Motik, Ulrike Sattler
Deciding expressive description logics in the framework of resolution. Inf. Comput. 206 (5) (2008)
Matthew Horridge, Johannes Bauer, Bijan Parsia, Ulrike Sattler
Understanding Entailments in OWL. OWLED (2008)
Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler
Modular Reuse of Ontologies: Theory and Practice. J. Artif. Intell. Res. 31 (2008)
Birte Glimm, Carsten Lutz, Ian Horrocks, Ulrike Sattler
Conjunctive Query Answering for the Description Logic SHIQ. J. Artif. Intell. Res. 31 (2008)
Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Ulrike Sattler, Thomas Schneider, Rafael Berlanga Llavori
Safe and Economic Re-Use of Ontologies: A Logic-Based Methodology and Tool Support. ESWC (2008)
Bijan Parsia, Ulrike Sattler, Thomas Schneider
Easy Keys for OWL. OWLED (2008)
Boris Motik, Bernardo Cuenca Grau, Ian Horrocks, Ulrike Sattler
Modeling Ontologies using OWL, Description Graphs, and Rules. OWLED (2008)
Matthew Horridge, Bijan Parsia, Ulrike Sattler
Explanation of OWL Entailments in Protege 4. ISWC (Posters & Demos) (2008)
Matthew Horridge, Bijan Parsia, Ulrike Sattler
Laconic and Precise Justifications in OWL. ISWC (2008)
Boris Motik, Bernardo Cuenca Grau, Ian Horrocks, Ulrike Sattler
Representing Structured Objects using Description Graphs. KR (2008)
Boris Motik, Bernardo Cuenca Grau, Ulrike Sattler
Structured objects in owl: representation and reasoning. WWW (2008)
Boris Motik, Bernardo Cuenca Grau, Ulrike Sattler
The Representation of Structured Objects in DLs using Description Graphs. Description Logics (2008)
Birte Glimm, Ian Horrocks, Ulrike Sattler
Deciding SHOQ^cap Knowledge Base Consistency using Alternating Automata. Description Logics (2008)
Peihong Ke, Ulrike Sattler
Next Steps for Description Logics of Minimal Knowledge and Negation as Failure. Description Logics (2008)
Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Ulrike Sattler, Thomas Schneider, Rafael Berlanga Llavori
Safe and Economic Re-Use of Ontologies: A Logic-Based Methodology and Tool Support. OWLED (Spring) (2008)
Boris Motik, Ian Horrocks, Ulrike Sattler
Bridging the gap between OWL and relational databases. WWW (2007)
Ulrike Sattler
Reasoning in Description Logics: Basics, Extensions, and Relatives. Reasoning Web (2007)
Mikel Egaña Aranguren, Sean Bechhofer, Phillip W. Lord, Ulrike Sattler, Robert D. Stevens
Understanding and using the meaning of statements in a bio-ontology: recasting the Gene Ontology in OWL. BMC Bioinform. 8 (2007)
Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler
Just the right amount: extracting modules from ontologies. WWW (2007)
Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler
Ontology Reuse: Better Safe than Sorry. Description Logics (2007)
Ullrich Hustadt, Boris Motik, Ulrike Sattler
Reasoning in Description Logics by a Reduction to Disjunctive Datalog. J. Autom. Reason. 39 (3) (2007)
Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler
Extracting Modules from Ontologies: A Logic-based Approach. OWLED (2007)
Franz Baader, Bernhard Ganter, Ulrike Sattler, Baris Sertkaya
Completing Description Logic Knowledge Bases using Formal Concept Analysis. OWLED (2007)
Robert Stevens, Mikel Egaña Aranguren, Katy Wolstencroft, Ulrike Sattler, Nick Drummond, Matthew Horridge, Alan L. Rector
Using OWL to model biological knowledge. Int. J. Hum. Comput. Stud. 65 (7) (2007)
Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler
A Logical Framework for Modularity of Ontologies. IJCAI (2007)
Ian Horrocks, Birte Glimm, Ulrike Sattler
Hybrid Logics and Ontology Languages. Electron. Notes Theor. Comput. Sci. 174 (6) (2007)
Birte Glimm, Ian Horrocks, Carsten Lutz, Ulrike Sattler
Conjunctive Query Answering for the Description Logic SHIQ. IJCAI (2007)
Ian Horrocks, Ulrike Sattler
. J. Autom. Reason. 39 (3) (2007)
Birte Glimm, Ian Horrocks, Ulrike Sattler
Conjunctive Query Entailment for SHOQ. Description Logics (2007)
Boris Motik, Ian Horrocks, Ulrike Sattler
Adding Integrity Constraints to OWL. OWLED (2007)
Yevgeny Kazakov, Ulrike Sattler, Evgeny Zolin
How Many Legs Do I Have? Non-Simple Roles in Number Restrictions Revisited. LPAR (2007)
Franz Baader, Bernhard Ganter, Baris Sertkaya, Ulrike Sattler
Completing Description Logic Knowledge Bases Using Formal Concept Analysis. IJCAI (2007)
Corinna Elsenbroich, Oliver Kutz, Ulrike Sattler
A Case for Abductive Reasoning over Ontologies. OWLED (2006)
Boris Motik, Ulrike Sattler
A Comparison of Reasoning Techniques for Querying Large Description Logic ABoxes. LPAR (2006)
Birte Glimm, Ian Horrocks, Ulrike Sattler
Conjunctive Query Answering for Description Logics with Transitive Roles. Description Logics (2006)
Boris Motik, Ian Horrocks, Riccardo Rosati, Ulrike Sattler
Can OWL and Logic Programming Live Together Happily Ever After? ISWC (2006)
Ian Horrocks, Oliver Kutz, Ulrike Sattler
The Even More Irresistible SROIQ. KR (2006)
Bernardo Cuenca Grau, Ian Horrocks, Bijan Parsia, Peter F. Patel-Schneider, Ulrike Sattler
Next Steps for OWL. OWLED (2006)
Guoqiang Pan, Ulrike Sattler, Moshe Y. Vardi
BDD-based decision procedures for the modal logic K. J. Appl. Non Class. Logics 16 (1-2) (2006)
Carsten Lutz, Franz Baader, Enrico Franconi, Domenico Lembo, Ralf Möller, Riccardo Rosati, Ulrike Sattler, Boontawee Suntisrivaraporn, Sergio Tessaris
Reasoning Support for Ontology Design. OWLED (2006)

Ulrike Sattler.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Ulrike Sattler