Extending the description logic $\mathcal{EL}$ with threshold concepts induced by concept measures (Q6152660): Difference between revisions

@@ Property / cites work @@
+Q4406531
@@ Property / cites work: Q4406531 / rank @@
+Normal rank
@@ Property / cites work @@
+An Introduction to Description Logic
@@ Property / cites work: An Introduction to Description Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Attributive concept descriptions with complements
@@ Property / cites work: Attributive concept descriptions with complements / rank @@
+Normal rank
@@ Property / cites work @@
+Q3624077
@@ Property / cites work: Q3624077 / rank @@
+Normal rank
@@ Property / cites work @@
+Adding Threshold Concepts to the Description Logic $\mathcal{EL}$
+Normal rank
@@ Property / cites work @@
+Similarity-based relaxed instance queries
@@ Property / cites work: Similarity-based relaxed instance queries / rank @@
+Normal rank
@@ Property / cites work @@
+A Framework for Semantic-Based Similarity Measures for $\mathcal{ELH}$ -Concepts
+Normal rank
@@ Property / cites work @@
+Approximation in Description Logics: How Weighted Tree Automata Can Help to Define the Required Concept Comparison Measures in $$\mathcal {FL}_0$$
+Normal rank
@@ Property / cites work @@
+Efficient TBox Reasoning with Value Restrictions using the <i>wer</i> Reasoner
+Normal rank
@@ Property / cites work @@
+Q4576238
@@ Property / cites work: Q4576238 / rank @@
+Normal rank
@@ Property / cites work @@
+Personalizing a Concept Similarity Measure in the Description Logic DLELH with Preference Profile
+Normal rank
@@ Property / cites work @@
+Q4003161
@@ Property / cites work: Q4003161 / rank @@
+Normal rank
@@ Property / cites work @@
+Computing the least common subsumer w.r.t. a background terminology
+Normal rank
@@ Property / cites work @@
+Non-standard inferences in description logics
@@ Property / cites work: Non-standard inferences in description logics / rank @@
+Normal rank
@@ Property / cites work @@
+Unification in the Description Logic $\mathcal{EL}$
+Normal rank
@@ Property / cites work @@
+Data complexity of query answering in description logics
+Normal rank
@@ Property / cites work @@
+Deduction in Concept Languages: from Subsumption to Instance Checking
+Normal rank
@@ Property / cites work @@
+Terminological reasoning is inherently intractable
+Normal rank
@@ Property / cites work @@
+Relationships between nondeterministic and deterministic tape complexities
+Normal rank
@@ Property / cites work @@
+Q4012244
@@ Property / cites work: Q4012244 / rank @@
+Normal rank
@@ Property / cites work @@
+Provably Difficult Combinatorial Games
@@ Property / cites work: Provably Difficult Combinatorial Games / rank @@
+Normal rank
@@ Property / cites work @@
+Data Complexity in the $\mathcal{EL}$ Family of Description Logics
+Normal rank
@@ Property / cites work @@
+Fuzzy sets
@@ Property / cites work: Fuzzy sets / rank @@
+Normal rank
@@ Property / cites work @@
+Q4012245
@@ Property / cites work: Q4012245 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2717787
@@ Property / cites work: Q2717787 / rank @@
+Normal rank
@@ Property / cites work @@
+Making fuzzy description logic more general
@@ Property / cites work: Making fuzzy description logic more general / rank @@
+Normal rank
@@ Property / cites work @@
+On the decidability status of fuzzy \(\mathcal {A}\mathcal {L}\mathcal {C}\) with general concept inclusions
+Normal rank
@@ Property / cites work @@
+The limits of decidability in fuzzy description logics with general concept inclusions
+Normal rank
@@ Property / cites work @@
+Reasoning with Prototypes in the Description Logic $${\mathcal {ALC}}$$ ALC Using Weighted Tree Automata
+Normal rank
@@ Property / cites work @@
+Automated Reasoning with Analytic Tableaux and Related Methods
+Normal rank
@@ Property / cites work @@
+A Logic for Concepts and Similarity
@@ Property / cites work: A Logic for Concepts and Similarity / rank @@
+Normal rank
@@ Property / cites work @@
+Optimizing terminological reasoning for expressive description logics
+Normal rank
@@ Property / cites work @@
+HermiT: an OWL 2 reasoner
@@ Property / cites work: HermiT: an OWL 2 reasoner / rank @@
+Normal rank

Extending the description logic \(\mathcal{EL}\) with threshold concepts induced by concept measures (Q6152660): Difference between revisions

Latest revision as of 13:59, 26 August 2024

Statements

Identifiers

Sitelinks

Mathematics(1 entry)