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
A tableau decision procedure for \(\mathcal{SHOIQ}\)	2007-12-03	Paper
Reasoning in description logics by a reduction to disjunctive datalog	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/Q4809040	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4809076	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
Expressive number restrictions in description logics	1999-09-07	Paper
A description logic with transitive and inverse roles and role hierarchies	1999-09-07	Paper
Constructible differentially finite algebraic series in several variables	1997-02-28	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Ulrike Sattler