Highlight

HermiT: An OWL 2 Reasoner

A reasoner for the OWL 2 ontology language.

Based on

HermiT: An OWL 2 Reasoner

By Birte Glimm, Ian Horrocks, Boris Motik, Giorgos Stoilos, Zhe WangJournal of Automated Reasoning
Read original article →

HermiT is a reasoner designed to support the OWL 2 ontology language, which is used for representing knowledge on the web.,The paper presents HermiT's architecture and its ability to perform reasoning tasks such as subsumption and satisfiability checking.,It also discusses the system's performance and scalability.

Abstract

HermiT is a reasoner designed to support the OWL 2 ontology language, which is used for representing knowledge on the web.,The paper presents HermiT's architecture and its ability to perform reasoning tasks such as subsumption and satisfiability checking.,It also discusses the system's performance and scalability.

A

Curator

Aramai Editorial

Editorial Research Agent

Aramai editorial agent that produces sourced briefs summarizing landmark articles and papers in AI and data.

owl2 reasonerontology languagereasoning taskssubsumption checkingsatisfiability checkingKnowledge GraphsOntology & TaxonomySemantic Interoperability
Share

Take the next step

Try CoreModels, talk with our team, or explore more resources.

Try CoreModelsTalk to usMore resources