| Author | Glimm, Birte | dc.contributor.author |
| Author | Horrocks, Ian | dc.contributor.author |
| Author | Motik, Boris | dc.contributor.author |
| Author | Stoilos, Giorgos | dc.contributor.author |
| Author | Wang, Zhe | dc.contributor.author |
| Date of accession | 2020-04-23T09:50:54Z | dc.date.accessioned |
| Available in OPARU since | 2020-04-23T09:50:54Z | dc.date.available |
| Date of first publication | 2014 | dc.date.issued |
| Language | en | dc.language.iso |
| Publisher | Universität Ulm | dc.publisher |
| Keyword | Ontologies | dc.subject |
| Keyword | OWL | dc.subject |
| Keyword | Class classification | dc.subject |
| Keyword | Property classification | dc.subject |
| Keyword | Optimisations | dc.subject |
| Keyword | DL | dc.subject |
| Dewey Decimal Group | DDC 000 / Computer science, information & general works | dc.subject.ddc |
| Title | HermiT: An OWL 2 Reasoner | dc.title |
| Resource type | Wissenschaftlicher Artikel | dc.type |
| Faculty | Fakultät für Ingenieurwissenschaften, Informatik und Psychologie | uulm.affiliationGeneral |
| Institution | Institut für Künstliche Intelligenz | uulm.affiliationSpecific |
| DCMI Type | Text | uulm.typeDCMI |
| Category | Publikationsnachweise | uulm.category |
| DOI (external) | 10.1007/s10817-014-9305-1 | dc.identifier.doiExternal |
| Source - Title of source | Journal of Automated Reasoning | source.title |
| Source - Place of publication | Springer | source.publisher |
| Source - Volume | 53 | source.volume |
| Source - Issue | 3 | source.issue |
| Source - Year | 2014 | source.year |
| Source - From page | 245 | source.fromPage |
| Source - To page | 269 | source.toPage |
| Source - ISSN | 0168-7433 | source.identifier.issn |
| Source - eISSN | 1573-0670 | source.identifier.eissn |
| Suitable community | Fakultät für Ingenieurwissenschaften, Informatik und Psychologie | uulm.community |
| WoS | 000342134000002 | uulm.identifier.wos |
| University Bibliography | ja | uulm.unibibliographie |
