- Record: found
- Abstract: not found
- Article: not found
HermiT: An OWL 2 Reasoner
Read this article at
There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Most cited references7
- Record: found
- Abstract: not found
- Article: not found
OWL 2: The next step for OWL
Bernardo Cuenca Grau, Ian Horrocks, Boris Motik … (2008)
- Record: found
- Abstract: not found
- Book: not found
The Description Logic Handbook
Franz Baader, Diego Calvanese, Deborah L McGuinness … (2007)
- Record: found
- Abstract: not found
- Article: not found
Reducing OWL entailment to description logic satisfiability
Peter Patel-Schneider, Ian Horrocks (2004)