Approximation in Description Logics: How Weighted Tree Automata Can Help to Define the Required Concept Comparison Measures in $$\mathcal {FL}_0$$ (Q5738984): Difference between revisions

Latest revision as of 21:30, 13 July 2024

scientific article; zbMATH DE number 6725124

Language	Label	Description	Also known as
English	Approximation in Description Logics: How Weighted Tree Automata Can Help to Define the Required Concept Comparison Measures in $$\mathcal {FL}_0$$	scientific article; zbMATH DE number 6725124

Statements

instance of

scholarly article

0 references

title

Approximation in Description Logics: How Weighted Tree Automata Can Help to Define the Required Concept Comparison Measures in $$\mathcal {FL}_0$$ (English)

0 references

0 references

0 references

0 references

Language and Automata Theory and Applications

0 references

publication date

1 June 2017

0 references

MaRDI profile type

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.1007/978-3-319-53733-7_1

0 references

cites work

Q4449238

0 references

Adding Threshold Concepts to the Description Logic $\mathcal{EL}$

0 references

Q4406531

0 references

Approximate Unification in the Description Logic $$\mathcal {FL}_0$$

0 references

Unification in the Description Logic EL

0 references

Unification of concept terms in description logics

0 references

Q5747087

0 references

Automata-based axiom pinpointing

0 references

Q4539600

0 references

Skew and infinitary formal power series

0 references

Weighted automata and weighted logics with discounting

0 references

Q4146094

0 references

Non-standard inferences in description logics

0 references

A Framework for Semantic-Based Similarity Measures for $\mathcal{ELH}$ -Concepts

0 references

Q3077193

0 references

Tractable approximate deduction for OWL

0 references

Q4074888

0 references

Q3515223

0 references

Q4012244

0 references

Undecidability of the unification and admissibility problems for modal and description logics

0 references

Identifiers

zbMATH Open document ID

1485.68245

0 references

DOI

10.1007/978-3-319-53733-7_1

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:5738984

@@ Property / cites work @@
+Q4449238
@@ Property / cites work: Q4449238 / rank @@
+Normal rank
@@ Property / cites work @@
+Adding Threshold Concepts to the Description Logic $\mathcal{EL}$
+Normal rank
@@ Property / cites work @@
+Q4406531
@@ Property / cites work: Q4406531 / rank @@
+Normal rank
@@ Property / cites work @@
+Approximate Unification in the Description Logic $$\mathcal {FL}_0$$
+Normal rank
@@ Property / cites work @@
+Unification in the Description Logic EL
@@ Property / cites work: Unification in the Description Logic EL / rank @@
+Normal rank
@@ Property / cites work @@
+Unification of concept terms in description logics
+Normal rank
@@ Property / cites work @@
+Q5747087
@@ Property / cites work: Q5747087 / rank @@
+Normal rank
@@ Property / cites work @@
+Automata-based axiom pinpointing
@@ Property / cites work: Automata-based axiom pinpointing / rank @@
+Normal rank
@@ Property / cites work @@
+Q4539600
@@ Property / cites work: Q4539600 / rank @@
+Normal rank
@@ Property / cites work @@
+Skew and infinitary formal power series
@@ Property / cites work: Skew and infinitary formal power series / rank @@
+Normal rank
@@ Property / cites work @@
+Weighted automata and weighted logics with discounting
+Normal rank
@@ Property / cites work @@
+Similarity-based relaxed instance queries
@@ Property / cites work: Similarity-based relaxed instance queries / rank @@
+Normal rank
@@ Property / cites work @@
+Q4146094
@@ Property / cites work: Q4146094 / rank @@
+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 @@
+A Framework for Semantic-Based Similarity Measures for $\mathcal{ELH}$ -Concepts
+Normal rank
@@ Property / cites work @@
+Q3077193
@@ Property / cites work: Q3077193 / rank @@
+Normal rank
@@ Property / cites work @@
+Tractable approximate deduction for OWL
@@ Property / cites work: Tractable approximate deduction for OWL / rank @@
+Normal rank
@@ Property / cites work @@
+Q4074888
@@ Property / cites work: Q4074888 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3515223
@@ Property / cites work: Q3515223 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4012244
@@ Property / cites work: Q4012244 / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidability of the unification and admissibility problems for modal and description logics
+Normal rank