Ulrike Sattler

Q: What Schools Are Affiliated With Ulrike Sattler

Ulrike Sattler is affiliated with the following schools: RWTH Aachen University, University of Manchester

Ulrike Sattler's AcademicInfluence.com Rankings

Ulrike Sattler

Computer Science

#2879

World Rank

#3013

Historical Rank

Database

#3371

World Rank

#3512

Historical Rank

computer-science Degrees

Download Badge

Computer Science

Ulrike Sattler's Degrees

PhD Computer Science University of Manchester
Masters Computer Science University of Manchester
Bachelors Computer Science University of Manchester

Similar Degrees You Can Earn

Why Is Ulrike Sattler Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Ulrike M. Sattler is a professor of computer science in the information management group of the Department of Computer Science at the University of Manchester and a visiting professor at the University of Oslo.

(See a Problem?)

Ulrike Sattler's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

OWL 2 Web Ontology Language: structural specification and functional-style syntax (2008) (1115)
The Even More Irresistible SROIQ (2006) (1068)
OWL 2: The next step for OWL (2008) (925)
Query Answering for OWL-DL with Rules (2004) (748)
Practical Reasoning for Expressive Description Logics (1999) (650)
Description Logics as Ontology Languages for the Semantic Web (2005) (503)
An Overview of Tableau Algorithms for Description Logics (2001) (495)
Description Logics (2009) (469)
A Tableaux Decision Procedure for SHOIQ (2005) (461)
Modular Reuse of Ontologies: Theory and Practice (2008) (438)
Practical Reasoning for Very Expressive Description Logics (2000) (425)
Ontology Reasoning in the SHOQ(D) Description Logic (2001) (404)
An Introduction to Description Logic (2017) (337)
Reasoning with Individuals for the Description Logic SHIQ (2000) (326)
A Description Logic with Transitive and Inverse Roles and Role Hierarchies (1999) (322)
Conjunctive Query Answering for the Description Logic SHIQ (2007) (308)
Bridging the gap between OWL and relational databases (2007) (295)
Reducing SHIQ-Description Logic to Disjunctive Datalog Programs (2004) (278)
Just the right amount: extracting modules from ontologies (2007) (269)
Data Complexity of Reasoning in Very Expressive Description Logics (2005) (267)
Laconic and Precise Justifications in OWL (2008) (258)
Integrating Description Logics and Action Formalisms: First Results (2005) (207)
Completing Description Logic Knowledge Bases Using Formal Concept Analysis (2007) (204)
Decidability of SHIQ with Complex Role Inclusion Axioms (2003) (199)
A Comparison of Reasoning Techniques for Querying Large Description Logic ABoxes (2006) (193)
Reasoning in Description Logics by a Reduction to Disjunctive Datalog (2007) (181)
A Logical Framework for Modularity of Ontologies (2007) (169)
Can OWL and Logic Programming Live Together Happily Ever After? (2006) (148)
A Tableau Decision Procedure for $\mathcal{SHOIQ}$ (2007) (146)
A Case for Abductive Reasoning over Ontologies (2006) (143)
A Concept Language Extended with Different Kinds of Transitive Roles (1996) (131)
A Systematic Review of Automatic Question Generation for Educational Purposes (2019) (129)
The Modular Structure of an Ontology: Atomic Decomposition (2011) (123)
Chapter 3 Description Logics (2008) (121)
Safe and Economic Re-Use of Ontologies: A Logic-Based Methodology and Tool Support (2008) (118)
Keys, Nominals, and Concrete Domains (2003) (110)
The Complexity of Reasoning with Boolean Modal Logics (2001) (109)
Explaining Inconsistencies in OWL Ontologies (2009) (108)
Using OWL to model biological knowledge (2007) (107)
How to Decide Query Containment Under Constraints Using a Description Logic (2000) (106)
The Hybrid µ-Calculus (2001) (106)
A Data Warehouse Conceptual Data Model for Multidimensional Aggregation (1999) (105)
Seven Bottlenecks to Workflow Reuse and Repurposing (2005) (99)
An Introduction to Description Logic by Franz Baader (2017) (98)
The Even More Irresistible $\mathcal{SROIQ}$ (2006) (95)
Which Kind of Module Should I Extract? (2009) (95)
Minimal Module Extraction from DL-Lite Ontologies Using QBF Solvers (2009) (86)
The Complexity of the Graded µ-Calculus (2002) (84)
Optimised Reasoning for SHIQ (2002) (83)
Structured objects in owl: representation and reasoning (2008) (83)
Description Logics for the Semantic Web (2002) (76)
State of the Art Survey (2006) (74)
A Little Semantic Web Goes a Long Way in Biology (2005) (72)
Extracting Modules from Ontologies: A Logic-based Approach (2009) (72)
The complexity of finite model reasoning in description logics (2005) (71)
Adding Integrity Constraints to OWL (2007) (70)
Representing ontologies using description logics, description graphs, and rules (2009) (69)
A Description Logic Based Approach to Reasoning about Web Services (2005) (69)
Deciding Semantic Matching of Stateless Services (2006) (64)
Reasoning for Description Logics aroundSHIQ in a Resolution Framework (2004) (62)
A Concept Language for an engineering application with part--whole relations (1995) (60)
Justification Oriented Proofs in OWL (2010) (59)
Computational modal logic (2007) (59)
Mary Likes all Cats (2000) (59)
BDD-based decision procedures for the modal logic K ★ (2006) (57)
The Cognitive Complexity of OWL Justifications (2011) (56)
Understanding and using the meaning of statements in a bio-ontology: recasting the Gene Ontology in OWL (2007) (56)
Relationships with other Formalisms (2003) (55)
Description Logics for the Representation of Aggregated Objects (2000) (55)
Performance Heterogeneity and Approximate Reasoning in Description Logic Ontologies (2012) (54)
Modal Logic and the Two-Variable Fragment (2001) (53)
BDD-Based Decision Procedures for K (2002) (53)
Terminological knowledge representation systems in a process engineering application (1998) (53)
Decomposition and Modular Structure of BioPortal Ontologies (2011) (51)
A Decomposition Rule for Decision Procedures by Resolution-Based Calculi (2005) (51)
Description Logics with Aggregates and Concrete Domains (2003) (49)
Description Logics with Concrete Domains and Aggregation (1998) (48)
Number Restrictions on Complex Roles in Description Logics: A Preliminary Report (1996) (47)
The Irresistible SRIQ (2005) (45)
Generating Multiple Choice Questions From Ontologies: Lessons Learnt (2014) (44)
Generating Multiple Choice Questions From Ontologies: Lessons Learnt (2014) (44)
A Description Logic with Transitive and Converse Roles, Role Hierarchies and Qualifying Number Restrictions (1999) (44)
Unions of Conjunctive Queries in SHOQ (2008) (43)
Integrating Description Logics and Action Formalisms for Reasoning about Web Services (2004) (42)
Next Steps for Description Logics of Minimal Knowledge and Negation as Failure (2008) (40)
Expressive Number Restrictions in Description Logics (1999) (40)
Reasoning in Description Logics with a Concrete Domain in the Framework of Resolution (2004) (39)
The modular structure of an ontology: an empirical study (2010) (38)
A proposal for describing services with DLs (2002) (37)
Will my Ontologies Fit Together? (2006) (34)
Extracting Justifications from BioPortal Ontologies (2012) (33)
Introducing Defeasibility into OWL Ontologies (2015) (33)
Ontology-Based Generation of Medical, Multi-term MCQs (2019) (33)
Description Logic, Theory Combination, and All That (2019) (33)
A PSPACE-algorithm for deciding ALCNIR+-satisfiability (1998) (32)
A Suggestion for an n-ary Description Logic (1999) (32)
A Survey of Current, Stand-alone OWL Reasoners (2015) (32)
An object-centered multi-dimensional data model with hierarchically structured dimensions (1997) (32)
Analysing the evolution of the NCI Thesaurus (2011) (32)
Empirical Study of Logic-Based Modules: Cheap Is Cheerful (2013) (31)
Deciding expressive description logics in the framework of resolution (2008) (31)
Lemmas for Justifications in OWL (2009) (30)
Next Steps for OWL (2006) (30)
Reducing {$\mathcal SHIQ^-$} Description Logic to Disjunctive Datalog Programs (2004) (29)
Categorising logical differences between OWL ontologies (2011) (29)
Explanation of OWL Entailments in Protege 4 (2008) (29)
JustBench: A Framework for OWL Benchmarking (2010) (29)
Description Logics with Symbolic Number Restrictions (1996) (28)
Toward cognitive support for OWL justifications (2013) (28)
A similarity-based theory of controlling MCQ difficulty (2013) (28)
A similarity-based theory of controlling MCQ difficulty (2013) (28)
How Many Legs Do I Have? Non-Simple Roles in Number Restrictions Revisited (2007) (28)
Representing Chemicals Using OWL, Description Graphs and Rules (2010) (26)
Analysing Multiple Versions of an Ontology: A Study of the NCI Thesaurus (2011) (26)
Knowledge Representation in Process Engineering (1996) (26)
The State of Bio-Medical Ontologies (2011) (26)
Ontology-Based Multiple Choice Question Generation (2015) (26)
The Hybrid mu-Calculus (2001) (26)
Conjunctive Query Entailment for SHOQ (2007) (26)
Ontology-Based Multiple Choice Question Generation (2015) (26)
Description Logics for Ontologies (2003) (25)
The Empirical Robustness of Description Logic Classification (2013) (25)
Representing Structured Objects using Description Graphs (2008) (25)
Web Semantics: Science, Services and Agents on the World Wide Web (2008) (25)
Conjunctive Query Answering for Description Logics with Transitive Roles (2006) (24)
A Logical Framework for Modular Integration of Ontologies (2006) (24)
Predicting Performance of OWL Reasoners: Locally or Globally? (2014) (23)
Description Logics and the Two-Variable Fragment (2001) (23)
The Justificatory Structure of the NCBO BioPortal Ontologies (2011) (21)
Rewriting Rules into SROIQ Axioms (2008) (21)
Explaining by Example: Model Exploration for Ontology Comprehension (2009) (19)
Automatic generation of analogy questions for student assessment: an Ontology-based approach (2012) (19)
Query Containment Using a DLR ABox (1999) (19)
Automatic generation of analogy questions for student assessment: an Ontology-based approach (2012) (19)
Hybrid Logics and Ontology Languages (2007) (18)
Principles of KLM-style Defeasible Description Logics (2020) (17)
Mining Ontologies for Analogy Questions: A Similarity-based Approach (2012) (17)
Mining Ontologies for Analogy Questions: A Similarity-based Approach (2012) (17)
Reasoning Support for Ontology Design (2006) (16)
Integrating Description Logics and Relational Databases (2006) (14)
Finding fault: detecting issues in a versioned ontology (2013) (14)
Measuring similarity in ontologies: a new family of measures (2014) (13)
Measuring similarity in ontologies: a new family of measures (2014) (13)
Reasoning in Description Logics: Basics, Extensions, and Relatives (2007) (13)
Ontology Reuse: Better Safe than Sorry (2007) (13)
Justification Masking in Ontologies (2012) (13)
Applying Description Logics for Workflow Reuse and Repurposing (2005) (13)
Easy Keys for OWL (2008) (13)
General Terminology Induction in OWL (2015) (12)
A Multi-reasoner, Justification-Based Approach to Reasoner Correctness (2015) (12)
A Translation of Looping Alternating Automata into Description Logics (2003) (12)
Extracting Finite Sets of Entailments from OWL Ontologies (2011) (12)
Syntactic vs. Semantic Locality: How Good Is a Cheap Approximation? (2012) (12)
A Review of Optimization Algorithms for University Timetable Scheduling (2020) (12)
Understanding Entailments in OWL (2008) (11)
Generating Multiple Choice Questions From Ontologies: How Far Can We Go? (2014) (11)
Concept-Based Semantic Difference in Expressive Description Logics (2012) (11)
Practical Reasoning for Description Logics with Functional Restrictions, Inverse and Transitive Roles, and Role Hierarchies (1999) (11)
Logo Detection Using Deep Learning with Pretrained CNN Models (2021) (11)
Modular Structures and Atomic Decomposition in Ontologies (2020) (11)
Using Ontologies for Medical Image Retrieval - An Experiment (2009) (11)
The Justificatory Structure of OWL Ontologies (2013) (11)
Generating Multiple Choice Questions From Ontologies: How Far Can We Go? (2014) (11)
Educational Data Mining Applications and Techniques (2020) (10)
Next generation of e-assessment: automatic generation of questions (2012) (10)
Arabic Tweets Sentiment Analysis about Online Learning during COVID-19 in Saudi Arabia (2021) (10)
Automata-Theoretic Decision Procedures for Information Logics (2002) (10)
From Justifications to Proofs for Entailments in OWL (2009) (10)
Next generation of e-assessment: automatic generation of questions (2012) (10)
The Manchester OWL Repository: System Description (2014) (10)
Data Mining for Student Advising (2020) (10)
Optimised Reasoning for {$\mathcal SHIQ$} (2002) (10)
On Correspondences between Probabilistic First-Order and Description Logics (2009) (10)
Applying DLs to workflow reuse and repurposing (2005) (10)
Decidability of {$\mathcal SHIQ$} with Complex Role Inclusion Axioms (2003) (9)
A Study on the Atomic Decomposition of Ontologies (2014) (9)
A Survey of Text Matching Techniques (2021) (9)
OWL Reasoning: Subsumption Test Hardness and Modularity (2017) (9)
An Overview of Tableau Algorithms for Description (2001) (9)
A Logic-Based Framework for Ontology Modularity (2007) (9)
Proceedings of the 2006 International Workshop on Description Logics (DL2006), Windermere, Lake District, UK, May 30 - June 1, 2006 (2006) (8)
Measuring Conceptual Similarity in Ontologies: How Bad is a Cheap Measure? (2014) (8)
Modeling multidimensional database: a formal object-oriented approach (1998) (8)
Justification Masking in OWL (2010) (8)
Measuring Conceptual Similarity in Ontologies: How Bad is a Cheap Measure? (2014) (8)
Reasoning with Individuals for the Description Logic (2000) (8)
The OWL Explanation Workbench : A toolkit for working with justifications for entailments in OWL ontologies (2015) (8)
Declutter Your Justifications: Determining Similarity Between OWL Explanations (2012) (8)
An Experimental Evaluation of Automatically Generated Multiple Choice Questions from Ontologies (2016) (7)
Modeling Ontologies using OWL, Description Graphs, and Rules (2008) (7)
Information system analysis (2010) (7)
A Basic Description Logic (2017) (7)
Logical Relevance in Ontologies (2012) (6)
Facilitating the analysis of ontology differences (2011) (6)
Description Logics with Aggregates and Concrete Domains, Part II (1998) (6)
A Solution for the Man-Man Problem in the Family History Knowledge Base (2009) (6)
DIP: A Defeasible-Inference Platform for OWL Ontologies (2014) (6)
ASLR: Arabic Sign Language Recognition Using Convolutional Neural Networks (2020) (6)
Mining Hypotheses from Data in OWL: Advanced Evaluation and Complete Construction (2017) (6)
Deciding SHOQ^cap Knowledge Base Consistency using Alternating Automata (2008) (6)
Avoiding Subsumption Tests During Classification Using the Atomic Decomposition (2019) (5)
Ontology-based n-ball Concept Embeddings Informing Few-shot Image Classification (2021) (5)
Representation of Part-Whole Relationships in SNOMED CT (2012) (5)
The logical diversity of explanations in OWL ontologies (2013) (5)
Being complex on the left-hand-side: General Concept Inclusions (2012) (5)
(I can’t get no) satisfiability (2013) (5)
Topicality in Logic-Based Ontologies (2011) (5)
Temporalising EL Concepts with Time Intervals (2014) (5)
Algorithm for Adapting Cases Represented in a Tractable Description Logic (2014) (5)
Computing Explanations for Entailments in Description Logic Based Ontologies Matthew Horridge ? Bijan Parsia ? (2009) (5)
Predicting OWL Reasoners: Locally or Globally? (2014) (4)
Evaluating Modelling Approaches for Medical Image Annotations (2010) (4)
Theoretical Foundations of Defeasible Description Logics (2019) (4)
Data Analytics of Student Learning Outcomes Using Abet Course Files (2020) (4)
Reasoning Web, Second International Summer School 2006 (2006) (4)
Post-coordination: Making things up as you go along (2013) (4)
Disjointness Between Classes in an Ontology (2012) (4)
Sentiment Analysis of Arabic Reviews for Saudi Hotels Using Unsupervised Machine Learning (2020) (4)
Using Semantic Web Technologies to Underpin the SNOMED CT Query Language (2017) (4)
How does a reasoner work (2014) (4)
Mooop - A Hybrid Integration of OWL and Java (2011) (4)
Constructible Differentially Finite Algebraic Series in Several Variables (1995) (4)
7th International Joint Conference on Automated Reasoning (2014) (4)
Comparison of Machine Learning Techniques for Cyberbullying Detection on YouTube Arabic Comments (2021) (4)
Modeling of Item-Difficulty for Ontology-based MCQs (2016) (4)
A Family History Knowledge Base in OWL 2 (2014) (3)
Detecting Influences of Ontology Design Patterns in Biomedical Ontologies (2019) (3)
Diversity of Reason: Equivalence Relations over Description Logic Explanations (2012) (3)
Model Exploration to Support Understanding of Ontologies (2009) (3)
An object lesson in choosing between a class and an object (2013) (3)
An Empirical Investigation of Difficulty of Subsets of Description Logic Ontologies (2014) (3)
Knowledge Engineering and Knowledge Management: EKAW 2014 Satellite Events, VISUAL, EKM1, and ARCOE-Logic, Linkping, Sweden, November 24-28, 2014 (2015) (3)
Verifying Reasoner Correctness - A Justication Based Method (2015) (3)
Proceedings of the 6th international joint conference on Automated Reasoning (2012) (3)
Visual-Semantic Embedding Model Informed by Structured Knowledge (2020) (2)
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 (2009) (2)
A comparative study of methods for a priori prediction of MCQ difficulty (2021) (2)
Lifting EMMeT to OWL Getting the Most from SKOS (2015) (2)
An ABox Revision Algorithm for the Description Logic EL_bot (2014) (2)
Practical defeasible reasoning for description logics (STAIRS) (2014) (2)
Generating Multiple Questions From Ontologies: How Far Can We Go? (2014) (2)
TBox Reasoning in the Probabilistic Description Logic SHIQp (2015) (2)
A Translation of Alternating Automata to Description Logics (2003) (2)
Preliminary programme (2004) (2)
Deciding $\mathcal{SHOQ}^\cap$ Knowledge Base Consistency using Alternating Automata (2008) (2)
OWL, an ontology language (2010) (2)
Optimised Reasoning for (2002) (2)
A Systematic Review of Automatic Question Generation for Educational Purposes (2019) (2)
Reasoning Web, Second International Summer School 2006, Lisbon, Portugal, September 4-8, 2006, Tutorial Lectures (2006) (2)
How to de ide Query Containment under Constraints using a Des ription Logi (2)
Modelling in multiple dimensions is great in so many ways (2013) (2)
Knowledge Engineering and Knowledge Management (2014) (2)
A Comparison of EDM Tools and Techniques (2020) (2)
Generating Multiple Questions From Ontologies: How Far Can We Go? (2014) (2)
ProSE: A Protege plugin for Reusing Ontologies, Safe and Economique (2008) (2)
Is Your RBox Safe ? Technical Report (2007) (1)
RoadNet: Efficient Model to Detect and Classify Road Damages (2022) (1)
Text Segmentation of Historical Arabic Handwritten Manuscripts Using Projection Profile (2021) (1)
A Similarity Based Approach to Omission Finding in Ontologies (2015) (1)
A Text Mining Model for Answering Checklist Questions Automatically from Parasitology Literature (2020) (1)
Reasoning in the EL Family of Description Logics (2017) (1)
A systematic survey of temporal requirements of bio-health ontologies (2020) (1)
State of the Art Survey Deliverable D 01 (2005) (1)
Syntactic Regularities Based on Language Abstractions (2021) (1)
Mechanisms for Importing Modules (2009) (1)
Walking your fingers through the trees in OWL: why there are things you want to say but can’t (2014) (1)
A Similarity Based Approach to Omission Finding in Ontologies (2015) (1)
Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, KR 2010, Toronto, Ontario, Canada, May 9-13, 2010 (2010) (1)
Complex Role Inclusion Axioms (1)
Money Laundering Detection using Machine Learning and Deep Learning (2022) (1)
Saturation-Based Uniform Interpolation for Multi-Modal Logics (2022) (1)
ReAD: AD-Based Modular Ontology Classification (2021) (1)
Generating Ontologies from Templates: A Rule-Based Approach for Capturing Regularity (2018) (1)
Foundations of Data Warehouse Quality MODELING MULTIDIMENSIONAL DATABASES: A FORMAL OBJECT-CENTERED APPROACH (1998) (1)
The Representation of Structured Objects in DLs using Description Graphs (2008) (1)
Foundations of Data Warehouse Quality MODELING MULTIDIMENSIONAL DATABASES: A FORMAL OBJECT-CENTERED APPROACH (1998) (1)
Reconciling the Semantics of DAG and OWL Ontology Representations (2005) (1)
DeMoSt : a Tool for Exploring the Decomposition and the Modular Structure of OWL Ontologies (2011) (1)
Des ription Logi s with Aggregates and Con rete Domains (2019) (1)
Combinatorial Proofs for Constructive Modal Logic (2022) (1)
Proceedings of the 2000 International Workshop on Description Logics (DL2000), Aachen, Germany, August 17-19, 2000 (2000) (1)
Empirical Investigation of Subsumption Test Hardness in Description Logic Classification (2015) (1)
Practical Defeasible Reasoning for Description Logics (2014) (1)
Towards Security Challenges to Internet-of-Things: Big Data, Networks, and Applications (2020) (1)
Tasks for Ontology Access , Processing , and Usage Deliverable TONES-D 10 (2006) (0)
Ontology-Based Generation of Medical, Multi-term MCQs (2019) (0)
Finite Model Reasoning in ALCQI is ExpTime-omplete (2019) (0)
A concept language extended with di erentkinds of transitive rolesUlrike Sattler ? (1996) (0)
Comparing Ontologies with ecco (2013) (0)
A Proposal for Des ribing Servi es with DLs (2002) (0)
Proceedings of the 10th International Workshop on Knowledge Representation meets Databases (KRDB 2003), Hamburg, Germany, September 15-16, 2003 (2003) (0)
Workshop Automated Deduction: Decidability, Complexity, Tractability (2007) (0)
A PSPACE-algorithm for deciding (2019) (0)
Proceedings of the 2005 International Workshop on Description Logics (DL2005), Edinburgh, Scotland, UK, July 26-28, 2005 (2005) (0)
Resolution-Based Uniform Interpolation for Multi-Agent Modal Logic Kn (2021) (0)
Ontology-Based Multiple Choice Question Generation (2015) (0)
Evaluating semantically enriched information systems (2011) (0)
ReAD: Delegate OWL Reasoners for Ontology Classification with Atomic Decomposition (2020) (0)
Composing and decomposing ontologies : a logic-based approach — A Case for Support (2006) (0)
Title, Program Committee, and Table of Contents (2003) (0)
Des ription Logi s for Ontologies (2019) (0)
Encoding Repetitive Structures in Ontologies (2021) (0)
Knowledge representation in process engineeringUlrike (1996) (0)
Extending the Synergies Between SAT and Description Logics (Dagstuhl Seminar 21361) (2021) (0)
Analysis of Test-Results on Individual Test Ontologies Deliverable TONES-D 23 (2007) (0)
D2.5.5 Next Steps for OWL (2006) (0)
The Complexity of Finite Model Reasoning in Des ription Logi s 1 (2019) (0)
Integrating Des ription Logi s and A tion Formalisms for Reasoning about Web (2019) (0)
Prevalence and Effects of Class Hierarchy Precompilation in Biomedical Ontologies (2020) (0)
Proceedings, Twelfth International Conference on Principles of Knowledge Representation and Reasoning (2010) (0)
Modal Logic and the two-variable fragment ( Revised Version ) (2019) (0)
Finite Model Reasoning in ALCQI is EXPTIME Logics (2003) (0)
Contributions to the Doctoral Programme of the 2nd International Joint Conference on Automated Reasoning, Cork, Ireland, July 4-8, 2004 (2004) (0)
Workshop: Complexity, Expressibility, and Decidability in Automated Reasoning - CEDAR'08 (2008) (0)
Next Steps for ReAD: Modules for Classification Optimisation (2022) (0)
A Tour of Franz Baader's Contributions to Knowledge Representation and Automated Deduction (2019) (0)
Automated Deduction : Decidability , Complexity , Tractability ( ADDCT ) 18 Ju ly 2014 (2014) (0)
Comparing Approaches for Capturing Repetitive Structures in Ontology Design Patterns (2019) (0)
The Hybrid-Cal ulus (2019) (0)
Proceedings of the 7th International Workshop on Knowledge Representation meets Databases (KRDB 2000), Berlin, Germany, August 21, 2000 (2000) (0)
Towards Knowledge-aware Few-shot Learning with Ontology-based n-ball Concept Embeddings (2021) (0)
Special issue on automated deduction: Decidability, complexity, tractability (2010) (0)
Foundations and Challenges of Change and Evolution in Ontologies (Dagstuhl Seminar 12441) (2012) (0)
Ontology Stratification Methods: A Comparative Study (2018) (0)
Clone Detection Techniques for JavaScript and Language Independence: Review (2020) (0)
Healthcare Analytics: A Comprehensive Review (2021) (0)
Classification of the Human Protein Atlas Single Cell Using Deep Learning (2022) (0)
Ontology-Based Multiple Choice Question Generation (2015) (0)
Cryptocurrency Price Prediction using Forecasting and Sentiment Analysis (2022) (0)
A Linked Data Approach to Know-How (2014) (0)
Digital Forensics and Machine Learning to Fraudulent Email Prediction (2022) (0)
Nine Variations on two Pictures: What’s in an Arrow Between two Nodes (2013) (0)
Reasoning in DLs with Tableau Algorithms (2017) (0)
Mining Hypotheses from Data in OWL (2017) (0)
Automated Localization and Accurate Segmentation of Optic Disc Based on Intensity within a Minimum Enclosing Circle (2018) (0)
The Green Green Grass of OWL (2014) (0)
Extracting Part-Whole Relations from Online Encyclopedia (2018) (0)
Automated Deduction: Decidability, Complexity, Tractability (2013) (0)
OWL Reasoning: Subsumption Test Hardness and Modularity (2017) (0)
A Little Bit of Model Theory (2017) (0)
Interview with Uli Sattler (2020) (0)
Is a class the same as its extent (2011) (0)
Pub Quiz for people who want to learn about OWL. (2015) (0)
Interview with Uli Sattler (2020) (0)
Why to use this L A T E Xfi le (2005) (0)
Ontology Languages and Applications (2017) (0)
Workshop Automated Deduction: Decidability, Complexity, Tractability (ADDCT'07) (2007) (0)

This paper list is powered by the following services:

Other Resources About Ulrike Sattler

What Schools Are Affiliated With Ulrike Sattler?

Ulrike Sattler is affiliated with the following schools:

Ulrike Sattler's Academic­Influence.com Rankings