HermiT
From MaRDI portal
Software:24347
No author found.
Related Items (20)
Memory-limited model-based diagnosis ⋮ PAGOdA: Pay-As-You-Go Ontology Query Answering Using a Datalog Reasoner ⋮ NoHR: integrating XSB Prolog with the OWL 2 profiles and beyond ⋮ The OWL reasoner evaluation (ORE) 2015 competition report ⋮ Effective method for detecting error causes from incoherent biological ontologies ⋮ Pay-as-you-go consequence-based reasoning for the description logic \(\mathcal{SROIQ} \) ⋮ Algorithms for reasoning in very expressive description logics under infinitely valued Gödel semantics ⋮ (Non-)succinctness of uniform interpolants of general terminologies in the description logic \(\mathcal{EL}\) ⋮ Probabilistic DL Reasoning with Pinpointing Formulas: A Prolog-based Approach ⋮ Semantic DMN: Formalizing and Reasoning About Decisions in the Presence of Background Knowledge ⋮ Computing optimal repairs of quantified ABoxes w.r.t. static \(\mathcal{EL}\) TBoxes ⋮ Description Logics in Multimedia Reasoning ⋮ Enhancing probabilistic model checking with ontologies ⋮ A formal model of semantic computing ⋮ \texttt{OWL2Vec}*: embedding of OWL ontologies ⋮ A Set-theoretic Approach to Reasoning Services for the Description Logic 𝒟 ℒ D 4,× ⋮ An Improved Set-based Reasoner for the Description Logic 𝒟ℒD4,׆ ⋮ Optimizing the computation of overriding in \(\mathcal{DL}^{\mathsf{N}}\) ⋮ Model-theoretic inseparability and modularity of description logic ontologies ⋮ Inconsistency-tolerant reasoning with OWL DL
This page was built for software: HermiT
