Konclude
From MaRDI portal
Cited in
(31)- OWL reasoning: subsumption test hardness and modularity
- The OWL reasoner evaluation (ORE) 2015 competition report
- Pellet
- Computing optimal repairs of quantified ABoxes w.r.t. static \(\mathcal{EL}\) TBoxes
- Enhancing probabilistic model checking with ontologies
- FaCT++
- Racer
- KAON2
- Pay-as-you-go consequence-based reasoning for the description logic \(\mathcal{SROIQ} \)
- Reasoning with nominal schemas through absorption
- NoHR: integrating XSB Prolog with the OWL 2 profiles and beyond
- HermiT
- OpenRuleBench
- TrOWL
- Chainsaw
- Extended caching, backjumping and merging for expressive description logics
- RacerPro
- Coupling tableau algorithms for expressive description logics with completion-based saturation procedures
- BioPortal
- DeLorean
- ELepHant
- JFact
- Snorocket
- ELK
- Ontop
- NoHR
- KL-ONE
- RDFox
- Probabilistic DL reasoning with pinpointing formulas: a Prolog-based approach
- Algorithms for reasoning in very expressive description logics under infinitely valued Gödel semantics
- HgMUS
This page was built for software: Konclude
