2008-01-04
AUTHORS ABSTRACTWe present a resolution-based decision procedure for the description logic \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\mathcal{SHOIQ}$\end{document} – the logic underlying the Semantic Web ontology language OWLDL. Our procedure is goal-oriented, and it naturally extends a similar procedure for \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\mathcal{SHIQ}$\end{document}, which has proven itself in practice. Extending this procedure to \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\mathcal{SHOIQ}$\end{document} using existing techniques is not straightforward because of nominals, number restrictions, and inverse roles – a combination known to cause termination problems. We overcome this difficulty by using basic superposition calculus extended with custom simplification rules. More... »
PAGES89-116
http://scigraph.springernature.com/pub.10.1007/s10817-007-9090-1
DOIhttp://dx.doi.org/10.1007/s10817-007-9090-1
DIMENSIONShttps://app.dimensions.ai/details/publication/pub.1001589922
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/17",
"inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/",
"name": "Psychology and Cognitive 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"
},
{
"id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/0802",
"inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/",
"name": "Computation Theory and Mathematics",
"type": "DefinedTerm"
},
{
"id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/1702",
"inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/",
"name": "Cognitive Sciences",
"type": "DefinedTerm"
}
],
"author": [
{
"affiliation": {
"alternateName": "Computing Laboratory, University of Oxford, Oxford, UK",
"id": "http://www.grid.ac/institutes/grid.4991.5",
"name": [
"Computing Laboratory, University of Oxford, Oxford, UK"
],
"type": "Organization"
},
"familyName": "Kazakov",
"givenName": "Yevgeny",
"id": "sg:person.013173133226.01",
"sameAs": [
"https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013173133226.01"
],
"type": "Person"
},
{
"affiliation": {
"alternateName": "Computing Laboratory, University of Oxford, Oxford, UK",
"id": "http://www.grid.ac/institutes/grid.4991.5",
"name": [
"Computing Laboratory, University of Oxford, 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"
}
],
"citation": [
{
"id": "sg:pub.10.1007/bfb0022557",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1009666055",
"https://doi.org/10.1007/bfb0022557"
],
"type": "CreativeWork"
},
{
"id": "sg:pub.10.1007/978-3-540-32275-7_2",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1000889893",
"https://doi.org/10.1007/978-3-540-32275-7_2"
],
"type": "CreativeWork"
},
{
"id": "sg:pub.10.1007/3-540-44802-0_36",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1024026237",
"https://doi.org/10.1007/3-540-44802-0_36"
],
"type": "CreativeWork"
},
{
"id": "sg:pub.10.1007/bf00962627",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1048846126",
"https://doi.org/10.1007/bf00962627"
],
"type": "CreativeWork"
},
{
"id": "sg:pub.10.1007/3-540-48660-7_12",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1003311515",
"https://doi.org/10.1007/3-540-48660-7_12"
],
"type": "CreativeWork"
},
{
"id": "sg:pub.10.1007/3-540-45744-5_16",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1025276999",
"https://doi.org/10.1007/3-540-45744-5_16"
],
"type": "CreativeWork"
},
{
"id": "sg:pub.10.1007/3-540-56732-1",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1109702587",
"https://doi.org/10.1007/3-540-56732-1"
],
"type": "CreativeWork"
},
{
"id": "sg:pub.10.1007/11916277_16",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1001693914",
"https://doi.org/10.1007/11916277_16"
],
"type": "CreativeWork"
},
{
"id": "sg:pub.10.1007/978-3-540-25984-8_7",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1034820411",
"https://doi.org/10.1007/978-3-540-25984-8_7"
],
"type": "CreativeWork"
},
{
"id": "sg:pub.10.1007/11814771_11",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1041772767",
"https://doi.org/10.1007/11814771_11"
],
"type": "CreativeWork"
},
{
"id": "sg:pub.10.1007/s10849-005-5791-1",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1011782885",
"https://doi.org/10.1007/s10849-005-5791-1"
],
"type": "CreativeWork"
},
{
"id": "sg:pub.10.1007/10721959_39",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1052544451",
"https://doi.org/10.1007/10721959_39"
],
"type": "CreativeWork"
},
{
"id": "sg:pub.10.1007/978-3-540-45085-6_36",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1009361597",
"https://doi.org/10.1007/978-3-540-45085-6_36"
],
"type": "CreativeWork"
},
{
"id": "sg:pub.10.1007/11814771_53",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1007066017",
"https://doi.org/10.1007/11814771_53"
],
"type": "CreativeWork"
}
],
"datePublished": "2008-01-04",
"datePublishedReg": "2008-01-04",
"description": "We present a resolution-based decision procedure for the description logic \\documentclass[12pt]{minimal}\n\t\t\t\t\\usepackage{amsmath}\n\t\t\t\t\\usepackage{wasysym}\n\t\t\t\t\\usepackage{amsfonts}\n\t\t\t\t\\usepackage{amssymb}\n\t\t\t\t\\usepackage{amsbsy}\n\t\t\t\t\\usepackage{mathrsfs}\n\t\t\t\t\\usepackage{upgreek}\n\t\t\t\t\\setlength{\\oddsidemargin}{-69pt}\n\t\t\t\t\\begin{document}$\\mathcal{SHOIQ}$\\end{document} \u2013 the logic underlying the Semantic Web ontology language OWLDL. Our procedure is goal-oriented, and it naturally extends a similar procedure for \\documentclass[12pt]{minimal}\n\t\t\t\t\\usepackage{amsmath}\n\t\t\t\t\\usepackage{wasysym}\n\t\t\t\t\\usepackage{amsfonts}\n\t\t\t\t\\usepackage{amssymb}\n\t\t\t\t\\usepackage{amsbsy}\n\t\t\t\t\\usepackage{mathrsfs}\n\t\t\t\t\\usepackage{upgreek}\n\t\t\t\t\\setlength{\\oddsidemargin}{-69pt}\n\t\t\t\t\\begin{document}$\\mathcal{SHIQ}$\\end{document}, which has proven itself in practice. Extending this procedure to \\documentclass[12pt]{minimal}\n\t\t\t\t\\usepackage{amsmath}\n\t\t\t\t\\usepackage{wasysym}\n\t\t\t\t\\usepackage{amsfonts}\n\t\t\t\t\\usepackage{amssymb}\n\t\t\t\t\\usepackage{amsbsy}\n\t\t\t\t\\usepackage{mathrsfs}\n\t\t\t\t\\usepackage{upgreek}\n\t\t\t\t\\setlength{\\oddsidemargin}{-69pt}\n\t\t\t\t\\begin{document}$\\mathcal{SHOIQ}$\\end{document} using existing techniques is not straightforward because of nominals, number restrictions, and inverse roles \u2013 a combination known to cause termination problems. We overcome this difficulty by using basic superposition calculus extended with custom simplification rules.",
"genre": "article",
"id": "sg:pub.10.1007/s10817-007-9090-1",
"inLanguage": "en",
"isAccessibleForFree": false,
"isFundedItemOf": [
{
"id": "sg:grant.2778147",
"type": "MonetaryGrant"
}
],
"isPartOf": [
{
"id": "sg:journal.1136522",
"issn": [
"0168-7433",
"1573-0670"
],
"name": "Journal of Automated Reasoning",
"publisher": "Springer Nature",
"type": "Periodical"
},
{
"issueNumber": "2-3",
"type": "PublicationIssue"
},
{
"type": "PublicationVolume",
"volumeNumber": "40"
}
],
"keywords": [
"decision procedure",
"description logics",
"existing techniques",
"number restrictions",
"termination problem",
"simplification rules",
"logic",
"inverse roles",
"superposition calculus",
"rules",
"calculus",
"technique",
"procedure",
"difficulties",
"restriction",
"resolution",
"combination",
"practice",
"nominals",
"similar procedure",
"role",
"problem",
"resolution-based decision procedure",
"Semantic Web ontology language OWLDL",
"Web ontology language OWLDL",
"ontology language OWLDL",
"language OWLDL",
"OWLDL",
"basic superposition calculus",
"custom simplification rules"
],
"name": "A Resolution-Based Decision Procedure for",
"pagination": "89-116",
"productId": [
{
"name": "dimensions_id",
"type": "PropertyValue",
"value": [
"pub.1001589922"
]
},
{
"name": "doi",
"type": "PropertyValue",
"value": [
"10.1007/s10817-007-9090-1"
]
}
],
"sameAs": [
"https://doi.org/10.1007/s10817-007-9090-1",
"https://app.dimensions.ai/details/publication/pub.1001589922"
],
"sdDataset": "articles",
"sdDatePublished": "2022-01-01T18:18",
"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_457.jsonl",
"type": "ScholarlyArticle",
"url": "https://doi.org/10.1007/s10817-007-9090-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-007-9090-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-007-9090-1'
Turtle is a human-readable linked data format.
curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/s10817-007-9090-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-007-9090-1'
This table displays all metadata directly associated to this object as RDF triples.
165 TRIPLES
22 PREDICATES
72 URIs
47 LITERALS
6 BLANK NODES