RacerPro
From MaRDI portal
Cited in
(20)- 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
- Pellet
- FaCT++
- KAON2
- Racer
- Chainsaw
- HermiT
- Konclude
- TrOWL
- ELepHant
- ELK
- JFact
- Snorocket
- NoHR
- Wikipedia Miner
- (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
