The following pages link to RacerPro (Q29518):
Displayed 6 items.
- Similarity-based relaxed instance queries (Q901081) (← links)
- The OWL reasoner evaluation (ORE) 2015 competition report (Q1694573) (← links)
- Computing optimal repairs of quantified ABoxes w.r.t. static \(\mathcal{EL}\) TBoxes (Q2055866) (← links)
- Pay-as-you-go consequence-based reasoning for the description logic \(\mathcal{SROIQ} \) (Q2238693) (← links)
- A formal model of semantic computing (Q2318288) (← links)
- (Non-)succinctness of uniform interpolants of general terminologies in the description logic \(\mathcal{EL}\) (Q2510119) (← links)