HermiT
From MaRDI portal
Cited in
(70)- C-SPARQL
- The OWL reasoner evaluation (ORE) 2015 competition report
- PITA
- CoLoSS
- Pellet
- SPARQL
- TATL
- Computing optimal repairs of quantified ABoxes w.r.t. static \(\mathcal{EL}\) TBoxes
- Enhancing probabilistic model checking with ontologies
- \texttt{OWL2Vec}*: embedding of OWL ontologies
- Optimizing the computation of overriding in \(\mathcal{DL}^{\mathsf{N}}\)
- Memory-limited model-based diagnosis
- FaCT++
- Racer
- KAON2
- Pay-as-you-go consequence-based reasoning for the description logic \(\mathcal{SROIQ} \)
- A formal model of semantic computing
- Model-theoretic inseparability and modularity of description logic ontologies
- Inconsistency-tolerant reasoning with OWL DL
- nSPARQL
- Cool
- NoHR: integrating XSB Prolog with the OWL 2 profiles and beyond
- PROLEG
- Konclude
- CEL
- TrOWL
- (Non-)succinctness of uniform interpolants of general terminologies in the description logic \(\mathcal{EL}\)
- swrl
- PGSolver
- Effective method for detecting error causes from incoherent biological ontologies
- LUBM
- DRAGO
- Protege
- PAGOdA
- RacerPro
- Hydrowl
- VERL
- TopBraid
- Ratsnake
- OVID
- MyStoryPlayer
- PAGOdA: Pay-As-You-Go Ontology Query Answering Using a Datalog Reasoner
- BioPortal
- DeLorean
- ELepHant
- JFact
- Snorocket
- ELK
- WSReasoner
- Swoop
- OntoDebug
- MERGEXPLAIN
- FAME
- OptiqueVQS
- DEX
- Wikipedia Miner
- DBpedia
- NoHR
- KL-ONE
- Vadalog
- RDFox
- Probabilistic DL reasoning with pinpointing formulas: a Prolog-based approach
- Semantic DMN: formalizing and reasoning about decisions in the presence of background knowledge
- Description logics in multimedia reasoning
- A Set-theoretic Approach to Reasoning Services for the Description Logic 𝒟 ℒ D 4,×
- An improved set-based reasoner for the description logic \(\mathcal{DL}_\mathrm{D}^{4,\times\dagger}\)
- Algorithms for reasoning in very expressive description logics under infinitely valued Gödel semantics
- CLProver
- HgMUS
- LARS
This page was built for software: HermiT
