Ontology type: schema:Chapter
2018-10-06
AUTHORSKoki Nishizawa , Norihiro Tsumagari
ABSTRACTWe give the way of composing different types of relational notions under certain condition, for example, ordinary binary relations, up-closed multirelations, ordinary (possibly non-up-closed) multirelations, quantale-valued relations, and probabilistic relations. Our key idea is to represent a relational notion as a generalized predicate transformer based on some truth value in some category and to represent it as a Kleisli arrow for some continuation monad. The way of composing those relational notions is given via identity-on-object faithful functors between different Kleisli categories. We give a necessary and sufficient condition to have such identity-on-object faithful functor. More... »
PAGES97-112
Relational and Algebraic Methods in Computer Science
ISBN
978-3-030-02148-1
978-3-030-02149-8
http://scigraph.springernature.com/pub.10.1007/978-3-030-02149-8_7
DOIhttp://dx.doi.org/10.1007/978-3-030-02149-8_7
DIMENSIONShttps://app.dimensions.ai/details/publication/pub.1107454940
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/2203",
"inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/",
"name": "Philosophy",
"type": "DefinedTerm"
},
{
"id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/22",
"inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/",
"name": "Philosophy and Religious Studies",
"type": "DefinedTerm"
}
],
"author": [
{
"affiliation": {
"alternateName": "Kanagawa University",
"id": "https://www.grid.ac/institutes/grid.411995.1",
"name": [
"Department of Information Systems Creation, Faculty of Engineering, Kanagawa University, Yokohama, Japan"
],
"type": "Organization"
},
"familyName": "Nishizawa",
"givenName": "Koki",
"id": "sg:person.012560025475.86",
"sameAs": [
"https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012560025475.86"
],
"type": "Person"
},
{
"affiliation": {
"alternateName": "Sojo University",
"id": "https://www.grid.ac/institutes/grid.412662.5",
"name": [
"Center for Education and Innovation, Sojo University, Kumamoto, Japan"
],
"type": "Organization"
},
"familyName": "Tsumagari",
"givenName": "Norihiro",
"id": "sg:person.013355406075.58",
"sameAs": [
"https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013355406075.58"
],
"type": "Person"
}
],
"citation": [
{
"id": "sg:pub.10.1007/11828563_21",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1001035734",
"https://doi.org/10.1007/11828563_21"
],
"type": "CreativeWork"
},
{
"id": "sg:pub.10.1007/11828563_21",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1001035734",
"https://doi.org/10.1007/11828563_21"
],
"type": "CreativeWork"
},
{
"id": "sg:pub.10.1007/978-1-4612-9839-7",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1005546755",
"https://doi.org/10.1007/978-1-4612-9839-7"
],
"type": "CreativeWork"
},
{
"id": "sg:pub.10.1007/978-1-4612-9839-7",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1005546755",
"https://doi.org/10.1007/978-1-4612-9839-7"
],
"type": "CreativeWork"
},
{
"id": "sg:pub.10.1007/978-3-642-15240-5_1",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1007288665",
"https://doi.org/10.1007/978-3-642-15240-5_1"
],
"type": "CreativeWork"
},
{
"id": "sg:pub.10.1007/978-3-642-15240-5_1",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1007288665",
"https://doi.org/10.1007/978-3-642-15240-5_1"
],
"type": "CreativeWork"
},
{
"id": "https://doi.org/10.1017/s0960129512000965",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1017281906"
],
"type": "CreativeWork"
},
{
"id": "https://doi.org/10.1016/j.scico.2006.01.007",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1025963376"
],
"type": "CreativeWork"
},
{
"id": "sg:pub.10.1007/bf02283036",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1028706143",
"https://doi.org/10.1007/bf02283036"
],
"type": "CreativeWork"
},
{
"id": "sg:pub.10.1007/bf02283036",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1028706143",
"https://doi.org/10.1007/bf02283036"
],
"type": "CreativeWork"
},
{
"id": "https://doi.org/10.1016/0890-5401(91)90052-4",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1029413845"
],
"type": "CreativeWork"
},
{
"id": "https://doi.org/10.1016/j.ic.2016.02.009",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1030172602"
],
"type": "CreativeWork"
},
{
"id": "https://app.dimensions.ai/details/publication/pub.1040691928",
"type": "CreativeWork"
},
{
"id": "sg:pub.10.1007/978-1-4612-1674-2",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1040691928",
"https://doi.org/10.1007/978-1-4612-1674-2"
],
"type": "CreativeWork"
},
{
"id": "sg:pub.10.1007/978-1-4612-1674-2",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1040691928",
"https://doi.org/10.1007/978-1-4612-1674-2"
],
"type": "CreativeWork"
},
{
"id": "sg:pub.10.1007/978-3-319-19797-5_3",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1051028496",
"https://doi.org/10.1007/978-3-319-19797-5_3"
],
"type": "CreativeWork"
},
{
"id": "https://doi.org/10.1017/cbo9780511818073",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1104273029"
],
"type": "CreativeWork"
}
],
"datePublished": "2018-10-06",
"datePublishedReg": "2018-10-06",
"description": "We give the way of composing different types of relational notions under certain condition, for example, ordinary binary relations, up-closed multirelations, ordinary (possibly non-up-closed) multirelations, quantale-valued relations, and probabilistic relations. Our key idea is to represent a relational notion as a generalized predicate transformer based on some truth value in some category and to represent it as a Kleisli arrow for some continuation monad. The way of composing those relational notions is given via identity-on-object faithful functors between different Kleisli categories. We give a necessary and sufficient condition to have such identity-on-object faithful functor.",
"editor": [
{
"familyName": "Desharnais",
"givenName": "Jules",
"type": "Person"
},
{
"familyName": "Guttmann",
"givenName": "Walter",
"type": "Person"
},
{
"familyName": "Joosten",
"givenName": "Stef",
"type": "Person"
}
],
"genre": "chapter",
"id": "sg:pub.10.1007/978-3-030-02149-8_7",
"inLanguage": [
"en"
],
"isAccessibleForFree": false,
"isFundedItemOf": [
{
"id": "sg:grant.5932375",
"type": "MonetaryGrant"
}
],
"isPartOf": {
"isbn": [
"978-3-030-02148-1",
"978-3-030-02149-8"
],
"name": "Relational and Algebraic Methods in Computer Science",
"type": "Book"
},
"name": "Composition of Different-Type Relations via the Kleisli Category for the Continuation Monad",
"pagination": "97-112",
"productId": [
{
"name": "doi",
"type": "PropertyValue",
"value": [
"10.1007/978-3-030-02149-8_7"
]
},
{
"name": "readcube_id",
"type": "PropertyValue",
"value": [
"0834145d63eb088583d368a79e7dfbab1704c8c848312a78199da85fae6c0358"
]
},
{
"name": "dimensions_id",
"type": "PropertyValue",
"value": [
"pub.1107454940"
]
}
],
"publisher": {
"location": "Cham",
"name": "Springer International Publishing",
"type": "Organisation"
},
"sameAs": [
"https://doi.org/10.1007/978-3-030-02149-8_7",
"https://app.dimensions.ai/details/publication/pub.1107454940"
],
"sdDataset": "chapters",
"sdDatePublished": "2019-04-16T04:38",
"sdLicense": "https://scigraph.springernature.com/explorer/license/",
"sdPublisher": {
"name": "Springer Nature - SN SciGraph project",
"type": "Organization"
},
"sdSource": "s3://com-uberresearch-data-dimensions-target-20181106-alternative/cleanup/v134/2549eaecd7973599484d7c17b260dba0a4ecb94b/merge/v9/a6c9fde33151104705d4d7ff012ea9563521a3ce/jats-lookup/v90/0000000321_0000000321/records_74902_00000000.jsonl",
"type": "Chapter",
"url": "https://link.springer.com/10.1007%2F978-3-030-02149-8_7"
}
]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/978-3-030-02149-8_7'
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-030-02149-8_7'
Turtle is a human-readable linked data format.
curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-3-030-02149-8_7'
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-030-02149-8_7'
This table displays all metadata directly associated to this object as RDF triples.
128 TRIPLES
23 PREDICATES
38 URIs
19 LITERALS
8 BLANK NODES