Pages that link to "Item:Q274420"
From MaRDI portal
The following pages link to Tractable approximate deduction for OWL (Q274420):
Displaying 5 items.
- Facilitating OWL norm minimizations (Q1996757) (← links)
- Completeness guarantees for incomplete ontology reasoners: theory and practice (Q2887081) (← 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)
- Predicting the possibilistic score of OWL axioms through support vector regression (Q6109631) (← links)