Pages that link to "Item:Q5940719"
From MaRDI portal
The following pages link to Non-standard inferences in description logics (Q5940719):
Displayed 8 items.
- Structural subsumption and least common subsumers in a description logic with existential and number restrictions (Q817690) (← links)
- Computing optimal repairs of quantified ABoxes w.r.t. static \(\mathcal{EL}\) TBoxes (Q2055866) (← links)
- Computing the least common subsumer w.r.t. a background terminology (Q2372193) (← links)
- Adding Threshold Concepts to the Description Logic $\mathcal{EL}$ (Q2964451) (← links)
- Matching in Hybrid Terminologies (Q3498464) (← links)
- Unification in the Description Logic $\mathcal{EL}$ (Q3636834) (← links)
- Towards a Scalable Query Rewriting Algorithm in Presence of Value Constraints (Q3638226) (← links)
- Approximation in Description Logics: How Weighted Tree Automata Can Help to Define the Required Concept Comparison Measures in $$\mathcal {FL}_0$$ (Q5738984) (← links)