Similarity-based relaxed instance queries (Q901081): Difference between revisions

@@ Property / describes a project that uses @@
+Racer
@@ Property / describes a project that uses: Racer / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ELK
@@ Property / describes a project that uses: ELK / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+RacerPro
@@ Property / describes a project that uses: RacerPro / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.jal.2015.01.002
+Normal rank
@@ Property / OpenAlex ID @@
+W2046601421
@@ Property / OpenAlex ID: W2046601421 / rank @@
+Normal rank
@@ Property / cites work @@
+Description Logics
@@ Property / cites work: Description Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4406531
@@ Property / cites work: Q4406531 / rank @@
+Normal rank
@@ Property / cites work @@
+How Fuzzy Is My Fuzzy Description Logic?
@@ Property / cites work: How Fuzzy Is My Fuzzy Description Logic? / rank @@
+Normal rank
@@ Property / cites work @@
+On the (un)decidability of fuzzy description logics under Łukasiewicz t-norm
+Normal rank
@@ Property / cites work @@
+A Framework for Semantic-Based Similarity Measures for $\mathcal{ELH}$ -Concepts
+Normal rank
@@ Property / cites work @@
+Deciding inseparability and conservative extensions in the description logic
+Normal rank
@@ Property / cites work @@
+Automated Reasoning with Analytic Tableaux and Related Methods
+Normal rank
@@ Property / cites work @@
+Hypertableau Reasoning for Description Logics
@@ Property / cites work: Hypertableau Reasoning for Description Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Towards Top-k Query Answering in Description Logics: The Case of DL-Lite
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:901081