Pages that link to "Item:Q2835862"
From MaRDI portal
The following pages link to Approximate Unification in the Description Logic $$\mathcal {FL}_0$$ (Q2835862):
Displaying 4 items.
- Approximate Unification in the Description Logic $$\mathcal {FL}_0$$ (Q2835862) (← links)
- Extensions of unification modulo ACUI (Q5139274) (← links)
- Approximation in Description Logics: How Weighted Tree Automata Can Help to Define the Required Concept Comparison Measures in $$\mathcal {FL}_0$$ (Q5738984) (← links)
- Efficient TBox Reasoning with Value Restrictions using the <i>wer</i> Reasoner (Q6063879) (← links)
