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 6 items.
- Approximate Unification in the Description Logic $$\mathcal {FL}_0$$ (Q2835862) (← links)
- UEL: Unification Solver for the Description Logic $\mathcal{EL}$ – System Description (Q2908476) (← links)
- Extensions of unification modulo ACUI (Q5139274) (← links)
- Matching in the Description Logic FL0 with respect to General TBoxes (Q5222946) (← 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)