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