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