HermiT
From MaRDI portal
Software:24347
swMATH12418MaRDI QIDQ24347FDOQ24347
Author name not available (Why is that?)
Cited In (20)
- 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}\)
- 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
