The following pages link to Anni-Yasmin Turhan (Q465594):
Displayed 17 items.
- Completion-based generalization inferences for the description logic \(\mathcal{ELOR}\) with subjective probabilities (Q465595) (← links)
- Similarity-based relaxed instance queries (Q901081) (← links)
- Using ontologies to query probabilistic numerical data (Q1687542) (← links)
- Reasoning in the defeasible description logic \(\mathcal{EL}_{\bot}\) -- computing standard inferences under rational and relevant semantics (Q1726275) (← links)
- Enhancing probabilistic model checking with ontologies (Q2065528) (← links)
- A tour of Franz Baader's contributions to knowledge representation and automated deduction (Q2185456) (← links)
- Computing the least common subsumer w.r.t. a background terminology (Q2372193) (← links)
- Including quantification in defeasible reasoning for the description logic \(\mathcal{EL}_{\bot}\) (Q2401927) (← links)
- A Framework for Semantic-Based Similarity Measures for $\mathcal{ELH}$ -Concepts (Q2915081) (← links)
- (Q3408134) (← links)
- (Q4412237) (← links)
- (Q4539598) (← links)
- (Q4576256) (← links)
- Automated Reasoning (Q5307068) (← links)
- Logics in Artificial Intelligence (Q5394140) (← links)
- Instance-Based Non-standard Inferences in $\mathcal{EL}$ with Subjective Probabilities (Q5507386) (← links)
- Efficient TBox Reasoning with Value Restrictions using the <i>wer</i> Reasoner (Q6063879) (← links)