- Record: found
- Abstract: not found
- Book Chapter: not found
The Semantic Web – ISWC 2011
Concurrent Classification of $\mathcal{EL}$ Ontologies
other
Read this book at
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Most cited references15
- Record: found
- Abstract: not found
- Article: not found
Pellet: A practical OWL-DL reasoner
Evren Sirin, Bijan Parsia, Bernardo Cuenca Grau … (2007)
- Record: found
- Abstract: not found
- Book Chapter: not found
FaCT++ Description Logic Reasoner: System Description
Dmitry Tsarkov, Ian Horrocks (2006)
- Record: found
- Abstract: not found
- Book Chapter: not found
Resolution Theorem Proving
Leo Bachmair, Harald Ganzinger, David McAllester … (2001)