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