The following pages link to Pavlos Marantidis (Q2835861):
Displayed 4 items.
- Approximate Unification in the Description Logic $$\mathcal {FL}_0$$ (Q2835862) (← 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)