RacerPro

MaRDI QIDQ29518swMATHFDO

Official website https://content.iospress.com/articles/semantic-web/sw032

Cited in

(20)

• The OWL reasoner evaluation (ORE) 2015 competition report
• Pellet
• Computing optimal repairs of quantified ABoxes w.r.t. static \(\mathcal{EL}\) TBoxes
• FaCT++
• Racer
• KAON2
• Pay-as-you-go consequence-based reasoning for the description logic \(\mathcal{SROIQ} \)
• A formal model of semantic computing
• HermiT
• Konclude
• TrOWL
• Chainsaw
• (Non-)succinctness of uniform interpolants of general terminologies in the description logic \(\mathcal{EL}\)
• ELepHant
• JFact
• Snorocket
• ELK
• Wikipedia Miner
• NoHR
• Similarity-based relaxed instance queries

This page was built for software: RacerPro