The following pages link to HermiT (Q24347):
Displaying 20 items.
- Algorithms for reasoning in very expressive description logics under infinitely valued Gödel semantics (Q518606) (← links)
- The OWL reasoner evaluation (ORE) 2015 competition report (Q1694573) (← links)
- Computing optimal repairs of quantified ABoxes w.r.t. static \(\mathcal{EL}\) TBoxes (Q2055866) (← links)
- Enhancing probabilistic model checking with ontologies (Q2065528) (← links)
- \texttt{OWL2Vec}*: embedding of OWL ontologies (Q2071326) (← links)
- Optimizing the computation of overriding in \(\mathcal{DL}^{\mathsf{N}}\) (Q2082509) (← links)
- Memory-limited model-based diagnosis (Q2124447) (← links)
- Pay-as-you-go consequence-based reasoning for the description logic \(\mathcal{SROIQ} \) (Q2238693) (← links)
- A formal model of semantic computing (Q2318288) (← links)
- Model-theoretic inseparability and modularity of description logic ontologies (Q2351041) (← links)
- Inconsistency-tolerant reasoning with OWL DL (Q2353974) (← links)
- NoHR: integrating XSB Prolog with the OWL 2 profiles and beyond (Q2401940) (← links)
- (Non-)succinctness of uniform interpolants of general terminologies in the description logic \(\mathcal{EL}\) (Q2510119) (← links)
- Effective method for detecting error causes from incoherent biological ontologies (Q2686869) (← links)
- PAGOdA: Pay-As-You-Go Ontology Query Answering Using a Datalog Reasoner (Q3454515) (← links)
- Probabilistic DL Reasoning with Pinpointing Formulas: A Prolog-based Approach (Q4957185) (← links)
- Semantic DMN: Formalizing and Reasoning About Decisions in the Presence of Background Knowledge (Q4957188) (← links)
- Description Logics in Multimedia Reasoning (Q4976608) (← links)
- A Set-theoretic Approach to Reasoning Services for the Description Logic 𝒟 ℒ D 4,× (Q4988948) (← links)
- An Improved Set-based Reasoner for the Description Logic 𝒟ℒD4,׆ (Q4991928) (← links)
