The following pages link to Oliver Fernández Gil (Q831923):
Displaying 10 items.
- Restricted unification in the DL \(\mathcal{FL}_0\) (Q831925) (← links)
- Hybrid Unification in the Description Logic $\mathcal{EL}$ (Q2849496) (← links)
- Adding Threshold Concepts to the Description Logic $\mathcal{EL}$ (Q2964451) (← links)
- (Q4576238) (← links)
- (Q4994943) (← links)
- MTL and TPTL for One-Counter Machines (Q5216144) (← links)
- Matching in the Description Logic FL0 with respect to General TBoxes (Q5222946) (← links)
- Satisfiability for MTL and TPTL over Non-monotonic Data Words (Q5404916) (← links)
- Approximation in Description Logics: How Weighted Tree Automata Can Help to Define the Required Concept Comparison Measures in $$\mathcal {FL}_0$$ (Q5738984) (← links)
- Extending the description logic \(\mathcal{EL}\) with threshold concepts induced by concept measures (Q6152660) (← links)
