2014-05-23
AUTHORSBirte Glimm, Ian Horrocks, Boris Motik, Giorgos Stoilos, Zhe Wang
ABSTRACTThis system description paper introduces the OWL 2 reasoner HermiT. The reasoner is fully compliant with the OWL 2 Direct Semantics as standardised by the World Wide Web Consortium (W3C). HermiT is based on the hypertableau calculus, and it supports a wide range of standard and novel optimisations that improve the performance of reasoning on real-world ontologies. Apart from the standard OWL 2 reasoning task of entailment checking, HermiT supports several specialised reasoning services such as class and property classification, as well as a range of features outside the OWL 2 standard such as DL-safe rules, SPARQL queries, and description graphs. We discuss the system’s architecture, and we present an overview of the techniques used to support the mentioned reasoning tasks. We further compare the performance of reasoning in HermiT with that of FaCT++ and Pellet—two other popular and widely used OWL 2 reasoners. More... »
PAGES245-269
http://scigraph.springernature.com/pub.10.1007/s10817-014-9305-1
DOIhttp://dx.doi.org/10.1007/s10817-014-9305-1
DIMENSIONShttps://app.dimensions.ai/details/publication/pub.1051756089
JSON-LD is the canonical representation for SciGraph data.
TIP: You can open this SciGraph record using an external JSON-LD service: JSON-LD Playground Google SDTT
[
{
"@context": "https://springernature.github.io/scigraph/jsonld/sgcontext.json",
"about": [
{
"id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/08",
"inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/",
"name": "Information and Computing Sciences",
"type": "DefinedTerm"
},
{
"id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/0801",
"inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/",
"name": "Artificial Intelligence and Image Processing",
"type": "DefinedTerm"
}
],
"author": [
{
"affiliation": {
"alternateName": "Institute of Artificial Intelligence, University of Ulm, 89069, Ulm, DE, Germany",
"id": "http://www.grid.ac/institutes/grid.6582.9",
"name": [
"Institute of Artificial Intelligence, University of Ulm, 89069, Ulm, DE, Germany"
],
"type": "Organization"
},
"familyName": "Glimm",
"givenName": "Birte",
"id": "sg:person.015234565343.35",
"sameAs": [
"https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015234565343.35"
],
"type": "Person"
},
{
"affiliation": {
"alternateName": "Department of Computer Science, University of Oxford, Wolfson Building, Parks Road, OX1 3QD, Oxford, UK",
"id": "http://www.grid.ac/institutes/grid.4991.5",
"name": [
"Department of Computer Science, University of Oxford, Wolfson Building, Parks Road, OX1 3QD, Oxford, UK"
],
"type": "Organization"
},
"familyName": "Horrocks",
"givenName": "Ian",
"id": "sg:person.013100561643.19",
"sameAs": [
"https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013100561643.19"
],
"type": "Person"
},
{
"affiliation": {
"alternateName": "Department of Computer Science, University of Oxford, Wolfson Building, Parks Road, OX1 3QD, Oxford, UK",
"id": "http://www.grid.ac/institutes/grid.4991.5",
"name": [
"Department of Computer Science, University of Oxford, Wolfson Building, Parks Road, OX1 3QD, Oxford, UK"
],
"type": "Organization"
},
"familyName": "Motik",
"givenName": "Boris",
"id": "sg:person.07401076267.36",
"sameAs": [
"https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.07401076267.36"
],
"type": "Person"
},
{
"affiliation": {
"alternateName": "School of Electrical & Computer Engineering, National Technical University of Athens, Iroon Polytexneiou 9, 15780, Zografou, Greece",
"id": "http://www.grid.ac/institutes/grid.4241.3",
"name": [
"School of Electrical & Computer Engineering, National Technical University of Athens, Iroon Polytexneiou 9, 15780, Zografou, Greece"
],
"type": "Organization"
},
"familyName": "Stoilos",
"givenName": "Giorgos",
"id": "sg:person.014247504535.04",
"sameAs": [
"https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014247504535.04"
],
"type": "Person"
},
{
"affiliation": {
"alternateName": "School of Information & Communication Technology, Griffith University, QLD 4111, Brisbane, Australia",
"id": "http://www.grid.ac/institutes/grid.1022.1",
"name": [
"School of Information & Communication Technology, Griffith University, QLD 4111, Brisbane, Australia"
],
"type": "Organization"
},
"familyName": "Wang",
"givenName": "Zhe",
"id": "sg:person.014427522516.79",
"sameAs": [
"https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014427522516.79"
],
"type": "Person"
}
],
"citation": [
{
"id": "sg:pub.10.1007/978-3-642-35176-1_1",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1016643861",
"https://doi.org/10.1007/978-3-642-35176-1_1"
],
"type": "CreativeWork"
},
{
"id": "sg:pub.10.1007/978-3-540-88564-1_20",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1038590901",
"https://doi.org/10.1007/978-3-540-88564-1_20"
],
"type": "CreativeWork"
},
{
"id": "sg:pub.10.1007/11926078_47",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1028332636",
"https://doi.org/10.1007/11926078_47"
],
"type": "CreativeWork"
},
{
"id": "sg:pub.10.1007/11814771_26",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1033805137",
"https://doi.org/10.1007/11814771_26"
],
"type": "CreativeWork"
},
{
"id": "sg:pub.10.1007/s10817-013-9296-3",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1003468099",
"https://doi.org/10.1007/s10817-013-9296-3"
],
"type": "CreativeWork"
},
{
"id": "sg:pub.10.1007/978-3-642-14203-1_39",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1017215454",
"https://doi.org/10.1007/978-3-642-14203-1_39"
],
"type": "CreativeWork"
},
{
"id": "sg:pub.10.1007/s10817-007-9079-9",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1000169915",
"https://doi.org/10.1007/s10817-007-9079-9"
],
"type": "CreativeWork"
},
{
"id": "sg:pub.10.1007/978-3-540-71070-7_20",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1030877482",
"https://doi.org/10.1007/978-3-540-71070-7_20"
],
"type": "CreativeWork"
},
{
"id": "sg:pub.10.1023/a:1013882326814",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1043054168",
"https://doi.org/10.1023/a:1013882326814"
],
"type": "CreativeWork"
},
{
"id": "sg:pub.10.1007/978-3-642-17746-0_16",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1002566373",
"https://doi.org/10.1007/978-3-642-17746-0_16"
],
"type": "CreativeWork"
},
{
"id": "sg:pub.10.1007/s10817-007-9077-y",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1001221517",
"https://doi.org/10.1007/s10817-007-9077-y"
],
"type": "CreativeWork"
}
],
"datePublished": "2014-05-23",
"datePublishedReg": "2014-05-23",
"description": "This system description paper introduces the OWL 2 reasoner HermiT. The reasoner is fully compliant with the OWL 2 Direct Semantics as standardised by the World Wide Web Consortium (W3C). HermiT is based on the hypertableau calculus, and it supports a wide range of standard and novel optimisations that improve the performance of reasoning on real-world ontologies. Apart from the standard OWL 2 reasoning task of entailment checking, HermiT supports several specialised reasoning services such as class and property classification, as well as a range of features outside the OWL 2 standard such as DL-safe rules, SPARQL queries, and description graphs. We discuss the system\u2019s architecture, and we present an overview of the techniques used to support the mentioned reasoning tasks. We further compare the performance of reasoning in HermiT with that of FaCT++ and Pellet\u2014two other popular and widely used OWL 2 reasoners.",
"genre": "article",
"id": "sg:pub.10.1007/s10817-014-9305-1",
"inLanguage": "en",
"isAccessibleForFree": true,
"isFundedItemOf": [
{
"id": "sg:grant.2771022",
"type": "MonetaryGrant"
},
{
"id": "sg:grant.3560074",
"type": "MonetaryGrant"
},
{
"id": "sg:grant.2753713",
"type": "MonetaryGrant"
},
{
"id": "sg:grant.2771879",
"type": "MonetaryGrant"
}
],
"isPartOf": [
{
"id": "sg:journal.1136522",
"issn": [
"0168-7433",
"1573-0670"
],
"name": "Journal of Automated Reasoning",
"publisher": "Springer Nature",
"type": "Periodical"
},
{
"issueNumber": "3",
"type": "PublicationIssue"
},
{
"type": "PublicationVolume",
"volumeNumber": "53"
}
],
"keywords": [
"OWL 2 reasoners",
"World Wide Web Consortium",
"real-world ontologies",
"DL-safe rules",
"system description paper",
"reasoning tasks",
"SPARQL queries",
"reasoning services",
"system architecture",
"description graph",
"entailment checking",
"novel optimizations",
"direct semantics",
"reasoner",
"property classification",
"architecture",
"range of features",
"task",
"queries",
"semantics",
"checking",
"ontology",
"performance",
"graph",
"services",
"classification",
"optimization",
"rules",
"calculus",
"features",
"wide range",
"technique",
"standards",
"overview",
"class",
"consortium",
"hermit",
"range",
"paper",
"pellets",
"description paper",
"OWL 2 reasoner HermiT.",
"reasoner HermiT.",
"HermiT.",
"OWL 2 Direct Semantics",
"Wide Web Consortium",
"Web Consortium",
"hypertableau calculus",
"standard OWL 2 reasoning task",
"OWL 2 reasoning task",
"specialised reasoning services",
"OWL 2 standard"
],
"name": "HermiT: An OWL 2 Reasoner",
"pagination": "245-269",
"productId": [
{
"name": "dimensions_id",
"type": "PropertyValue",
"value": [
"pub.1051756089"
]
},
{
"name": "doi",
"type": "PropertyValue",
"value": [
"10.1007/s10817-014-9305-1"
]
}
],
"sameAs": [
"https://doi.org/10.1007/s10817-014-9305-1",
"https://app.dimensions.ai/details/publication/pub.1051756089"
],
"sdDataset": "articles",
"sdDatePublished": "2022-01-01T18:33",
"sdLicense": "https://scigraph.springernature.com/explorer/license/",
"sdPublisher": {
"name": "Springer Nature - SN SciGraph project",
"type": "Organization"
},
"sdSource": "s3://com-springernature-scigraph/baseset/20220101/entities/gbq_results/article/article_628.jsonl",
"type": "ScholarlyArticle",
"url": "https://doi.org/10.1007/s10817-014-9305-1"
}
]Download the RDF metadata as: json-ld nt turtle xml License info
JSON-LD is a popular format for linked data which is fully compatible with JSON.
curl -H 'Accept: application/ld+json' 'https://scigraph.springernature.com/pub.10.1007/s10817-014-9305-1'
N-Triples is a line-based linked data format ideal for batch operations.
curl -H 'Accept: application/n-triples' 'https://scigraph.springernature.com/pub.10.1007/s10817-014-9305-1'
Turtle is a human-readable linked data format.
curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/s10817-014-9305-1'
RDF/XML is a standard XML format for linked data.
curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/s10817-014-9305-1'
This table displays all metadata directly associated to this object as RDF triples.
199 TRIPLES
22 PREDICATES
88 URIs
69 LITERALS
6 BLANK NODES