The following pages link to Racer (Q21816):
Displaying 5 items.
- Automata-based axiom pinpointing (Q707741) (← links)
- Reasoning with rough description logics: An approximate concepts approach (Q1010135) (← links)
- Exploiting conjunctive queries in description logic programs (Q1028641) (← links)
- GeoMergeP: geographic information integration through enriched ontology matching (Q2269089) (← links)
- (Non-)succinctness of uniform interpolants of general terminologies in the description logic \(\mathcal{EL}\) (Q2510119) (← links)
