The following pages link to Ulrike Sattler (Q229742):
Displaying 33 items.
- Constructible differentially finite algebraic series in several variables (Q672982) (← links)
- Decidability of SHIQ with complex role inclusion axioms (Q814639) (← links)
- Representing ontologies using description logics, description graphs, and rules (Q840831) (← links)
- Deciding expressive description logics in the framework of resolution (Q924723) (← links)
- Description logics with aggregates and concrete domains. (Q1425804) (← links)
- A tableau decision procedure for \(\mathcal{SHOIQ}\) (Q2462647) (← links)
- Reasoning in description logics by a reduction to disjunctive datalog (Q2462648) (← links)
- The complexity of finite model reasoning in description logics (Q2486582) (← links)
- (Q2721180) (← links)
- (Q2723446) (← links)
- (Q2767029) (← links)
- Hybrid Logics and Ontology Languages (Q2867944) (← links)
- How Many Legs Do I Have? Non-Simple Roles in Number Restrictions Revisited (Q3498475) (← links)
- Reasoning in Description Logics: Basics, Extensions, and Relatives (Q3603502) (← links)
- Extracting Modules from Ontologies: A Logic-Based Approach (Q3631357) (← links)
- BDD-based decision procedures for the modal logic K ★ (Q3647260) (← links)
- Expressive number restrictions in description logics (Q4260085) (← links)
- A description logic with transitive and inverse roles and role hierarchies (Q4260087) (← links)
- (Q4430407) (← links)
- Practical reasoning for very expressive description logics (Q4487262) (← links)
- (Q4539599) (← links)
- (Q4783312) (← links)
- (Q4796537) (← links)
- (Q4809040) (← links)
- (Q4809076) (← links)
- (Q4938424) (← links)
- A Comparison of Reasoning Techniques for Querying Large Description Logic ABoxes (Q5387895) (← links)
- Logic for Programming, Artificial Intelligence, and Reasoning (Q5705930) (← links)
- Mechanizing Mathematical Reasoning (Q5717442) (← links)
- Conceptual Structures for Knowledge Creation and Communication (Q5900603) (← links)
- Automated Deduction – CADE-19 (Q5900710) (← links)
- Automated Deduction – CADE-19 (Q5900712) (← links)
- An overview of tableau algorithms for description logics (Q5955620) (← links)
