The following pages link to Stefan Borgwardt (Q465590):
Displaying 26 items.
- Consistency reasoning in lattice-based fuzzy description logics (Q465592) (← links)
- Algorithms for reasoning in very expressive description logics under infinitely valued Gödel semantics (Q518606) (← links)
- Reasoning in fuzzy description logics using automata (Q1677933) (← links)
- The complexity of fuzzy \(\mathcal{EL}\) under the Łukasiewicz t-norm (Q1679661) (← links)
- Metric temporal description logics with interval-rigid names (Q1687541) (← links)
- Finding good proofs for description logic entailments using recursive quality measures (Q2055864) (← links)
- Evonne: interactive proof visualization for description logics (system description) (Q2104515) (← links)
- Closed-world semantics for conjunctive queries with negation over \(\mathcal{ELH}_\bot\) ontologies (Q2296721) (← links)
- On the decidability status of fuzzy \(\mathcal {A}\mathcal {L}\mathcal {C}\) with general concept inclusions (Q2341257) (← links)
- Deciding unifiability and computing local unifiers in the description logic \(\mathcal{EL}\) without top constructor (Q2374390) (← links)
- The limits of decidability in fuzzy description logics with general concept inclusions (Q2512986) (← links)
- Temporal Query Answering in the Description Logic DL-Lite (Q2849488) (← links)
- Finding Finite Herbrand Models (Q2891445) (← links)
- SAT Encoding of Unification in $\mathcal{ELH}_{{R}^+}$ w.r.t. Cycle-Restricted Ontologies (Q2908475) (← links)
- How Fuzzy Is My Fuzzy Description Logic? (Q2908480) (← links)
- The Fuzzy Description Logic $\mathsf{G}\text{-}{\mathcal{F\!L}_0} $ with Greatest Fixed-Point Semantics (Q2938484) (← links)
- Reasoning in Expressive Description Logics under Infinitely Valued Gödel Semantics (Q2964452) (← links)
- Extending Unification in $\mathcal{EL}$ to Disunification: The Case of Dismatching and Local Disunification (Q2974785) (← links)
- Temporalizing Ontology-Based Data Access (Q4928450) (← links)
- Fuzzy Description Logics – A Survey (Q5045302) (← links)
- Metric Temporal Description Logics with Interval-Rigid Names (Q5121281) (← links)
- Unification in the Description Logic $\mathcal{EL}$ without the Top Concept (Q5200016) (← links)
- (Q5277870) (← links)
- (Q5419868) (← links)
- (Q5740415) (← links)
- Temporal Minimal-World Query Answering over Sparse ABoxes (Q6063880) (← links)
