The following pages link to Efficient Inferencing for OWL EL (Q4930768):
Displaying 14 items.
- Local closed world reasoning with description logics under the well-founded semantics (Q646502) (← links)
- Enhancing context knowledge repositories with justifiable exceptions (Q1749389) (← links)
- Reasoning within fuzzy OWL 2 EL revisited (Q1795363) (← links)
- Facilitating OWL norm minimizations (Q1996757) (← links)
- A polynomial time subsumption algorithm for nominal safe \(\mathcal{ELO}_\bot\) under rational closure (Q2224833) (← links)
- Reasoning about actions with \(\mathcal{EL}\) ontologies and temporal answer sets for DLTL (Q2694571) (← links)
- ASP for minimal entailment in a rational extension of SROEL (Q4593055) (← links)
- Reasoning on Multirelational Contextual Hierarchies via Answer Set Programming with Algebraic Measures (Q5019600) (← links)
- An ASP Approach for Reasoning on Neural Networks under a Finitely Many-Valued Semantics for Weighted Conditional Knowledge Bases (Q5038463) (← links)
- An ASP approach for reasoning in a concept-aware multipreferential lightweight DL (Q5140012) (← links)
- An efficient algorithm for reasoning over OWL EL ontologies with nominal schemas (Q5878290) (← links)
- Reasoning on with Defeasibility in ASP (Q6063881) (← links)
- Predicting the possibilistic score of OWL axioms through support vector regression (Q6109631) (← links)
- Weighted conditional \(\mathscr{EL}^\bot\) knowledge bases with integer weights: an ASP approach (Q6647308) (← links)
