HermiT
From MaRDI portal
Software:24347
swMATH12418MaRDI QIDQ24347FDOQ24347
Author name not available (Why is that?)
Cited In (20)
- Probabilistic DL Reasoning with Pinpointing Formulas: A Prolog-based Approach
- Semantic DMN: Formalizing and Reasoning About Decisions in the Presence of Background Knowledge
- 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,×
- An Improved Set-based Reasoner for the Description Logic 𝒟ℒD4,׆
- Computing optimal repairs of quantified ABoxes w.r.t. static \(\mathcal{EL}\) TBoxes
- Description Logics in Multimedia Reasoning
- The OWL reasoner evaluation (ORE) 2015 competition report
- (Non-)succinctness of uniform interpolants of general terminologies in the description logic \(\mathcal{EL}\)
- Inconsistency-tolerant reasoning with OWL DL
- Enhancing probabilistic model checking with ontologies
- 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
