swMATH17663MaRDI QIDQ29518FDOQ29518
Author name not available (Why is that?)
Official website: https://content.iospress.com/articles/semantic-web/sw032
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
- (Non-)succinctness of uniform interpolants of general terminologies in the description logic \(\mathcal{EL}\)
- Pellet
- FaCT++
- KAON2
- Racer
- Chainsaw
- HermiT
- Konclude
- TrOWL
- ELepHant
- ELK
- JFact
- Snorocket
- NoHR
- Wikipedia Miner
- Similarity-based relaxed instance queries
- A formal model of semantic computing
This page was built for software: RacerPro
