HermiT: an OWL 2 reasoner

DOI10.1007/s10817-014-9305-1zbMath1314.68280WikidataQ56988544 ScholiaQ56988544MaRDI QIDQ2351420

Zhe Wang, Ian Horrocks, Boris Motik, Giorgos Stoilos, Birte Glimm

Publication date: 23 June 2015

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/10072/66648

zbMATH Keywords

ontologies; OWL; optimisations; class classification; property classification

Mathematics Subject Classification ID

68T27: Logic in artificial intelligence

68T30: Knowledge representation

Related Items

A Set-theoretic Approach to Reasoning Services for the Description Logic 𝒟 ℒ D 4,×, An Improved Set-based Reasoner for the Description Logic 𝒟ℒD4,׆, Cardinality Restrictions Within Description Logic Connection Calculi, On Horn Conjunctive Queries, An Optimized KE-Tableau-Based System for Reasoning in the Description Logic $${\mathcal {DL}}_{{\mathbf {D}}}^{4,\!\times }$$, Extending the description logic \(\mathcal{EL}\) with threshold concepts induced by concept measures, On combining ontologies and rules, HermiT, Algorithms for reasoning in very expressive description logics under infinitely valued Gödel semantics, OWL reasoning: subsumption test hardness and modularity, The OWL reasoner evaluation (ORE) 2015 competition report, ReAD: AD-based modular ontology classification, Computing optimal repairs of quantified ABoxes w.r.t. static \(\mathcal{EL}\) TBoxes, Enhancing probabilistic model checking with ontologies, \texttt{OWL2Vec}*: embedding of OWL ontologies, Optimizing the computation of overriding in \(\mathcal{DL}^{\mathsf{N}}\), A formal model of semantic computing

Uses Software

• Pellet
• SPARQL
• FaCT++
• swrl
• ELK
• WSReasoner
• KL-ONE

Cites Work

• Unnamed Item
• Unnamed Item
• Decidability of SHIQ with complex role inclusion axioms
• Representing ontologies using description logics, description graphs, and rules
• A structure-preserving clause form translation
• The incredible ELK. From polynomial procedures to efficient reasoning with \(\mathcal {EL}\) ontologies
• Optimizing terminological reasoning for expressive description logics
• A tableau decision procedure for \(\mathcal{SHOIQ}\)
• Optimizing SPARQL Query Answering over OWL Ontologies
• Individual Reuse in Description Logic Reasoning
• Hypertableau Reasoning for Description Logics
• The Description Logic Handbook
• Optimized Description Logic Reasoning via Core Blocking
• An overview of tableau algorithms for description logics