The following pages link to HermiT: an OWL 2 reasoner (Q2351420):
Displaying 13 items.
- HermiT (Q24347) (← links)
- Algorithms for reasoning in very expressive description logics under infinitely valued Gödel semantics (Q518606) (← links)
- OWL reasoning: subsumption test hardness and modularity (Q1655485) (← links)
- The OWL reasoner evaluation (ORE) 2015 competition report (Q1694573) (← links)
- ReAD: AD-based modular ontology classification (Q2055795) (← 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)
- A formal model of semantic computing (Q2318288) (← 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)
- Extending the description logic \(\mathcal{EL}\) with threshold concepts induced by concept measures (Q6152660) (← links)
