Conjunctive Query Answering in : A PTIME Description Logic with Functional Constraints and Disjointness

Ontology type: schema:Chapter

Chapter Info

DATE

2013

AUTHORS ABSTRACT

We consider conjunctive query answering and other basic reasoning services in \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}${\mathcal{CFD}}_{nc}$\end{document}, an alternative to 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{CFD}}$\end{document} that retains the latter’s ability to support PTIME reasoning in the presence of terminological cycles with universal restrictions over functional roles and also in the presence of functional constraints over functional role paths. In contrast, \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}${\mathcal{CFD}}_{nc}$\end{document} replaces the ability to have conjunction on left-hand-sides of inclusion dependencies with the ability to have primitive negation on right-hand-sides. This makes it possible to say that primitive concepts must denote disjoint sets of individuals, a common requirement with many information sources. More... »

PAGES

350-361

Book

TITLE

AI 2013: Advances in Artificial Intelligence

ISBN

978-3-319-03679-3
978-3-319-03680-9

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/978-3-319-03680-9_36

DOI

http://dx.doi.org/10.1007/978-3-319-03680-9_36

DIMENSIONS

https://app.dimensions.ai/details/publication/pub.1000877137

Indexing Status Check whether this publication has been indexed by Scopus and Web Of Science using the SN Indexing Status Tool
Incoming Citations Browse incoming citations for this publication using opencitations.net

JSON-LD is the canonical representation for SciGraph data.

TIP: You can open this SciGraph record using an external JSON-LD service:

[
{
"@context": "https://springernature.github.io/scigraph/jsonld/sgcontext.json",
{
"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/1701",
"inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/",
"name": "Psychology",
"type": "DefinedTerm"
}
],
"author": [
{
"affiliation": {
"alternateName": "Cheriton School of Computer Science, University of Waterloo, Canada",
"id": "http://www.grid.ac/institutes/grid.46078.3d",
"name": [
"Cheriton School of Computer Science, University of Waterloo, Canada"
],
"type": "Organization"
},
"familyName": "Toman",
"givenName": "David",
"id": "sg:person.011644611743.11",
"sameAs": [
"https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011644611743.11"
],
"type": "Person"
},
{
"affiliation": {
"alternateName": "Cheriton School of Computer Science, University of Waterloo, Canada",
"id": "http://www.grid.ac/institutes/grid.46078.3d",
"name": [
"Cheriton School of Computer Science, University of Waterloo, Canada"
],
"type": "Organization"
},
"familyName": "Weddell",
"givenName": "Grant",
"id": "sg:person.01111756132.29",
"sameAs": [
"https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.01111756132.29"
],
"type": "Person"
}
],
"datePublished": "2013",
"datePublishedReg": "2013-01-01",
"description": "We consider conjunctive query answering and other basic reasoning services in \\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{CFD}}_{nc}$\\end{document}, an alternative to 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{CFD}}$\\end{document} that retains the latter\u2019s ability to support PTIME reasoning in the presence of terminological cycles with universal restrictions over functional roles and also in the presence of functional constraints over functional role paths. In contrast, \\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{CFD}}_{nc}$\\end{document} replaces the ability to have conjunction on left-hand-sides of inclusion dependencies with the ability to have primitive negation on right-hand-sides. This makes it possible to say that primitive concepts must denote disjoint sets of individuals, a\u00a0common requirement with many information sources.",
"editor": [
{
"familyName": "Cranefield",
"givenName": "Stephen",
"type": "Person"
},
{
"familyName": "Nayak",
"givenName": "Abhaya",
"type": "Person"
}
],
"genre": "chapter",
"id": "sg:pub.10.1007/978-3-319-03680-9_36",
"inLanguage": "en",
"isAccessibleForFree": false,
"isPartOf": {
"isbn": [
"978-3-319-03679-3",
"978-3-319-03680-9"
],
"name": "AI 2013: Advances in Artificial Intelligence",
"type": "Book"
},
"keywords": [
"functional role",
"ability",
"presence",
"individuals",
"role",
"contrast",
"side",
"restriction",
"services",
"alternative",
"information sources",
"conjunction",
"cycle",
"universal restriction",
"source",
"dependency",
"functional constraints",
"requirements",
"common requirement",
"concept",
"set",
"reasoning",
"path",
"constraints",
"queries",
"negation",
"primitive concepts",
"disjoint sets",
"logic",
"disjointness",
"description logics",
"conjunctive queries",
"basic reasoning services",
"reasoning services",
"terminological cycles",
"inclusion dependencies",
"PTIME reasoning",
"functional role paths",
"role paths",
"primitive negation",
"PTIME Description Logic"
],
"name": "Conjunctive Query Answering in : A PTIME Description Logic with Functional Constraints and Disjointness",
"pagination": "350-361",
"productId": [
{
"name": "dimensions_id",
"type": "PropertyValue",
"value": [
"pub.1000877137"
]
},
{
"name": "doi",
"type": "PropertyValue",
"value": [
"10.1007/978-3-319-03680-9_36"
]
}
],
"publisher": {
"name": "Springer Nature",
"type": "Organisation"
},
"sameAs": [
"https://doi.org/10.1007/978-3-319-03680-9_36",
"https://app.dimensions.ai/details/publication/pub.1000877137"
],
"sdDataset": "chapters",
"sdDatePublished": "2021-12-01T20:10",
"sdPublisher": {
"name": "Springer Nature - SN SciGraph project",
"type": "Organization"
},
"sdSource": "s3://com-springernature-scigraph/baseset/20211201/entities/gbq_results/chapter/chapter_442.jsonl",
"type": "Chapter",
"url": "https://doi.org/10.1007/978-3-319-03680-9_36"
}
]

HOW TO GET THIS DATA PROGRAMMATICALLY:

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/978-3-319-03680-9_36'

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/978-3-319-03680-9_36'

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-3-319-03680-9_36'

RDF/XML is a standard XML format for linked data.

curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/978-3-319-03680-9_36'

This table displays all metadata directly associated to this object as RDF triples.

116 TRIPLES      23 PREDICATES      70 URIs      63 LITERALS      7 BLANK NODES

Subject Predicate Object
2 anzsrc-for:1701
3 schema:author Ne5307df519884aa6b58f248e0014ea14
4 schema:datePublished 2013
5 schema:datePublishedReg 2013-01-01
6 schema:description We consider conjunctive query answering and other basic reasoning services in \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}${\mathcal{CFD}}_{nc}$\end{document}, an alternative to 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{CFD}}$\end{document} that retains the latter’s ability to support PTIME reasoning in the presence of terminological cycles with universal restrictions over functional roles and also in the presence of functional constraints over functional role paths. In contrast, \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}${\mathcal{CFD}}_{nc}$\end{document} replaces the ability to have conjunction on left-hand-sides of inclusion dependencies with the ability to have primitive negation on right-hand-sides. This makes it possible to say that primitive concepts must denote disjoint sets of individuals, a common requirement with many information sources.
7 schema:editor N7830648bc24c4f75a572eccf4e47b4cd
8 schema:genre chapter
9 schema:inLanguage en
10 schema:isAccessibleForFree false
11 schema:isPartOf Nf31c10d629ba445089065da87037e040
13 PTIME Description Logic
14 PTIME reasoning
15 ability
16 alternative
18 basic reasoning services
19 common requirement
20 concept
21 conjunction
22 conjunctive queries
23 constraints
24 contrast
25 cycle
26 dependency
27 description logics
28 disjoint sets
29 disjointness
30 functional constraints
31 functional role
32 functional role paths
33 inclusion dependencies
34 individuals
35 information sources
36 logic
37 negation
38 path
39 presence
40 primitive concepts
41 primitive negation
42 queries
44 reasoning
45 reasoning services
46 requirements
47 restriction
48 role
49 role paths
50 services
51 set
52 side
53 source
54 terminological cycles
55 universal restriction
56 schema:name Conjunctive Query Answering in : A PTIME Description Logic with Functional Constraints and Disjointness
57 schema:pagination 350-361
58 schema:productId N1fa1d0acca1049609aca8c5f7deff687
59 N2e63544d095e48a599e9dd03458359e2
60 schema:publisher Nfbe6ba61f0d545eca9ac3aae9d4c6e91
61 schema:sameAs https://app.dimensions.ai/details/publication/pub.1000877137
62 https://doi.org/10.1007/978-3-319-03680-9_36
63 schema:sdDatePublished 2021-12-01T20:10
65 schema:sdPublisher N6f55711246924884b298f6ef5e6a80a3
66 schema:url https://doi.org/10.1007/978-3-319-03680-9_36
68 sgo:sdDataset chapters
69 rdf:type schema:Chapter
70 N1fa1d0acca1049609aca8c5f7deff687 schema:name doi
71 schema:value 10.1007/978-3-319-03680-9_36
72 rdf:type schema:PropertyValue
73 N22e80214c15f45b3ac6da0e85275ed87 rdf:first N3b565b9a26fb40d39056763c0ea61f1d
74 rdf:rest rdf:nil
75 N2e63544d095e48a599e9dd03458359e2 schema:name dimensions_id
76 schema:value pub.1000877137
77 rdf:type schema:PropertyValue
78 N3b565b9a26fb40d39056763c0ea61f1d schema:familyName Nayak
79 schema:givenName Abhaya
80 rdf:type schema:Person
81 N6be1157c5a3a41a18fd8e77a7f9a5769 rdf:first sg:person.01111756132.29
82 rdf:rest rdf:nil
83 N6f55711246924884b298f6ef5e6a80a3 schema:name Springer Nature - SN SciGraph project
84 rdf:type schema:Organization
85 N7830648bc24c4f75a572eccf4e47b4cd rdf:first Nbd00370feb1b46628e450b2fb7a3ec2e
86 rdf:rest N22e80214c15f45b3ac6da0e85275ed87
87 Nbd00370feb1b46628e450b2fb7a3ec2e schema:familyName Cranefield
88 schema:givenName Stephen
89 rdf:type schema:Person
90 Ne5307df519884aa6b58f248e0014ea14 rdf:first sg:person.011644611743.11
91 rdf:rest N6be1157c5a3a41a18fd8e77a7f9a5769
92 Nf31c10d629ba445089065da87037e040 schema:isbn 978-3-319-03679-3
93 978-3-319-03680-9
94 schema:name AI 2013: Advances in Artificial Intelligence
95 rdf:type schema:Book
96 Nfbe6ba61f0d545eca9ac3aae9d4c6e91 schema:name Springer Nature
97 rdf:type schema:Organisation
98 anzsrc-for:17 schema:inDefinedTermSet anzsrc-for:
99 schema:name Psychology and Cognitive Sciences
100 rdf:type schema:DefinedTerm
101 anzsrc-for:1701 schema:inDefinedTermSet anzsrc-for:
102 schema:name Psychology
103 rdf:type schema:DefinedTerm
104 sg:person.01111756132.29 schema:affiliation grid-institutes:grid.46078.3d
105 schema:familyName Weddell
106 schema:givenName Grant
107 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.01111756132.29
108 rdf:type schema:Person
109 sg:person.011644611743.11 schema:affiliation grid-institutes:grid.46078.3d
110 schema:familyName Toman
111 schema:givenName David
112 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011644611743.11
113 rdf:type schema:Person
114 grid-institutes:grid.46078.3d schema:alternateName Cheriton School of Computer Science, University of Waterloo, Canada
115 schema:name Cheriton School of Computer Science, University of Waterloo, Canada
116 rdf:type schema:Organization