The following pages link to Franz Baader (Q171404):
Displaying 50 items.
- Solving Language Equations and Disequations with Applications to Disunification in Description Logics and Monadic Set Constraints (Q2891443) (← links)
- SAT Encoding of Unification in $\mathcal{ELH}_{{R}^+}$ w.r.t. Cycle-Restricted Ontologies (Q2908475) (← links)
- UEL: Unification Solver for the Description Logic $\mathcal{EL}$ – System Description (Q2908476) (← links)
- LTL over description logic axioms (Q2946670) (← links)
- Adding Threshold Concepts to the Description Logic $\mathcal{EL}$ (Q2964451) (← links)
- An Introduction to Description Logic (Q2974769) (← links)
- Extending Unification in $\mathcal{EL}$ to Disunification: The Case of Dismatching and Local Disunification (Q2974785) (← links)
- Unification in a Description Logic with Transitive Closure of Roles (Q2996164) (← links)
- Verifying Properties of Infinite Sequences of Description Logic Actions (Q2999106) (← links)
- Unification in commutative theories, Hilbert's basis theorem, and Gröbner bases (Q3140014) (← links)
- On the Undecidability of Fuzzy Description Logics with GCIs and Product T-norm (Q3172882) (← links)
- Axiom Pinpointing in General Tableaux (Q3406682) (← links)
- (Q3408128) (← links)
- Automata-Based Axiom Pinpointing (Q3541704) (← links)
- Matching Trace Patterns with Regular Policies (Q3618572) (← links)
- Usability Issues in Description Logic Knowledge Base Completion (Q3630233) (← links)
- Exploring Finite Models in the Description Logic ${\mathcal {EL}}_{\rm gfp}$ (Q3630241) (← links)
- Unification in the Description Logic $\mathcal{EL}$ (Q3636834) (← links)
- Description Logics (Q3638996) (← links)
- Runtime Verification Using a Temporal Description Logic (Q3655197) (← links)
- Putting ABox Updates into Action (Q3655202) (← links)
- (Q4012241) (← links)
- (Q4012242) (← links)
- (Q4028805) (← links)
- (Q4218267) (← links)
- Expressive number restrictions in description logics (Q4260085) (← links)
- Matching in description logics (Q4260088) (← links)
- (Q4264733) (← links)
- (Q4266517) (← links)
- (Q4412237) (← links)
- (Q4460678) (← links)
- (Q4518874) (← links)
- (Q4524788) (← links)
- (Q4533343) (← links)
- (Q4539600) (← links)
- (Q4576238) (← links)
- Term Rewriting and All That (Q4702972) (← links)
- (Q4808735) (← links)
- (Q4808758) (← links)
- A multi-dimensional terminological knowledge representation language (Q4868227) (← links)
- A Formal Definition for the Expressive Power of Terminological Knowledge Representation Languages (Q4870066) (← links)
- Temporalizing Ontology-Based Data Access (Q4928450) (← links)
- Using Causal Relationships to Deal with the Ramification Problem in Action Formalisms Based on Description Logics (Q4933297) (← links)
- SAT Encoding of Unification in $\mathcal{EL}$ (Q4933298) (← links)
- (Q4938605) (← links)
- (Q4938748) (← links)
- (Q4941839) (← links)
- (Q4999259) (← links)
- Characterizations of unification type zero (Q5055707) (← links)
- Unification, weak unification, upper bound, lower bound, and generalization problems (Q5055751) (← links)
