Ulrike Sattler

Available identifiers

zbMath Open sattler.ulrikeMaRDI QIDQ229742

List of research outcomes

Publication	Date of Publication	Type
Hybrid logics and ontology languages	2013-12-20	Paper
Automated Deduction – CADE-19	2010-04-20	Paper
Automated Deduction – CADE-19	2010-04-20	Paper
Conceptual Structures for Knowledge Creation and Communication	2010-03-31	Paper
BDD-based decision procedures for the modal logic K ★	2009-11-30	Paper
Representing ontologies using description logics, description graphs, and rules	2009-09-14	Paper
Extracting Modules from Ontologies: A Logic-Based Approach	2009-06-09	Paper
Reasoning in Description Logics: Basics, Extensions, and Relatives	2009-02-17	Paper
A Comparison of Reasoning Techniques for Querying Large Description Logic ABoxes	2008-05-27	Paper
Deciding expressive description logics in the framework of resolution	2008-05-19	Paper
How Many Legs Do I Have? Non-Simple Roles in Number Restrictions Revisited	2008-05-15	Paper
Reasoning in description logics by a reduction to disjunctive datalog	2007-12-03	Paper
A tableau decision procedure for \(\mathcal{SHOIQ}\)	2007-12-03	Paper
Decidability of SHIQ with complex role inclusion axioms	2006-02-07	Paper
Mechanizing Mathematical Reasoning	2006-01-10	Paper
Logic for Programming, Artificial Intelligence, and Reasoning	2005-11-10	Paper
The complexity of finite model reasoning in description logics	2005-08-05	Paper
https://portal.mardi4nfdi.de/entity/Q4809076	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4809040	2004-08-12	Paper
Description logics with aggregates and concrete domains.	2004-03-18	Paper
https://portal.mardi4nfdi.de/entity/Q4430407	2003-10-09	Paper
https://portal.mardi4nfdi.de/entity/Q4796537	2003-06-02	Paper
https://portal.mardi4nfdi.de/entity/Q4783312	2002-12-04	Paper
https://portal.mardi4nfdi.de/entity/Q2767029	2002-07-22	Paper
https://portal.mardi4nfdi.de/entity/Q4539599	2002-07-10	Paper
An overview of tableau algorithms for description logics	2002-02-14	Paper
Practical reasoning for very expressive description logics	2001-08-28	Paper
https://portal.mardi4nfdi.de/entity/Q2723446	2001-07-05	Paper
https://portal.mardi4nfdi.de/entity/Q2721180	2001-07-01	Paper
https://portal.mardi4nfdi.de/entity/Q4938424	2000-10-26	Paper
A description logic with transitive and inverse roles and role hierarchies	1999-09-07	Paper
Expressive number restrictions in description logics	1999-09-07	Paper
Constructible differentially finite algebraic series in several variables	1997-02-28	Paper

Research outcomes over time

This page was built for person: Ulrike Sattler