RacerPro
From MaRDI portal
Software:29518
swMATH17663MaRDI QIDQ29518FDOQ29518
Author name not available (Why is that?)
Cited In (6)
- Pay-as-you-go consequence-based reasoning for the description logic \(\mathcal{SROIQ} \)
- Computing optimal repairs of quantified ABoxes w.r.t. static \(\mathcal{EL}\) TBoxes
- The OWL reasoner evaluation (ORE) 2015 competition report
- (Non-)succinctness of uniform interpolants of general terminologies in the description logic \(\mathcal{EL}\)
- Similarity-based relaxed instance queries
- A formal model of semantic computing
This page was built for software: RacerPro
