Restructuring Lattice Theory: An Approach Based on Hierarchies of Concepts View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

1982

AUTHORS

Rudolf Wille

ABSTRACT

Lattice theory today reflects the general status of current mathematics: there is a rich production of theoretical concepts, results, and developments, many of which are reached by elaborate mental gymnastics; on the other hand, the connections of the theory to its surroundings are getting weaker and weaker, with the result that the theory and even many of its parts become more isolated. Restructuring lattice theory is an attempt to reinvigorate connections with our general culture by interpreting the theory as concretely as possible, and in this way to promote better communication between lattice theorists and potential users of lattice theory. The approach reported here goes back to the origin of the lattice concept in nineteenth-century attempts to formalize logic, where a fundamental step was the reduction of a concept to its “extent”. We propose to make the reduction less abstract by retaining in some measure the “intent” of a concept. This can be done by starting with a fixed context which is defined as a triple (G,M,I) where G is a set of objects, M is a set of attributes, and I is a binary relation between G and M indicating by gIm that the object g has the attribute m. There is a natural Galois connection between G and M defined by A′ = {m ∈ M ∣ gIm for all g ∈ A} for A \( \subseteq \) G and B’ = {g ∈ G ∣ gIm for all m ∈ B} for B \( \subseteq \) M. Now, a concept of the context (G,M,I) is introduced as a pair (A,B) with A \( \subseteq \) G, B \( \subseteq \) M, A′ = B, and B′ = A, where A is called the extent and B the intent of the concept (A,B). The hierarchy of concepts given by the relation subconcept-superconcept is captured by the definition (A1,B1) ≤ (A 2,B 2) ⇔ A 1 \( \subseteq \) A 2(⇔ B 1 \( \supseteq \) B 2) for concepts (A1,B1) and (A 2,B 2) of (G,M,I). Let L(G,M,I) be the set of all concepts of (G,M,I). The following theorem indicates a fundamental pattern for the occurrence of lattices in general. THEOREM: Let (G,M,I) be a context. Then (L(G,M,I), ≤) is a complete lattice (called the concept lattice of (G,M,I)) in which infima and suprema can be described as follows: Some examples of contexts will illustrate how various lattices occur rather naturally as concept lattices. Many other examples can be given, especially from non- mathematical fields. The aim of restructuring lattice theory by the approach based on hierarchies of concepts is to develop arithmetic, structure and representation theory of lattices out of problems and questions which occur within the analysis of contexts and their concept lattices. More... »

PAGES

445-470

References to SciGraph publications

Book

TITLE

Ordered Sets

ISBN

978-94-009-7800-3
978-94-009-7798-3

Author Affiliations

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/978-94-009-7798-3_15

DOI

http://dx.doi.org/10.1007/978-94-009-7798-3_15

DIMENSIONS

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


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: 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/0101", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Pure Mathematics", 
        "type": "DefinedTerm"
      }, 
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/01", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Mathematical Sciences", 
        "type": "DefinedTerm"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "alternateName": "Technical University of Darmstadt", 
          "id": "https://www.grid.ac/institutes/grid.6546.1", 
          "name": [
            "Fachbereich Mathematik, Technische Hochschule Darmstadt, 6100\u00a0Darmstadt, Federal Republic of Germany"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Wille", 
        "givenName": "Rudolf", 
        "id": "sg:person.015235040663.98", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015235040663.98"
        ], 
        "type": "Person"
      }
    ], 
    "citation": [
      {
        "id": "https://doi.org/10.1090/s0002-9939-1972-0437407-5", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1000726734"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1090/s0002-9947-1959-0108447-9", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1012409775"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1002/malq.19560020803", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1027543387"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1090/s0002-9947-1956-0080076-2", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1027910200"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1515/crll.1979.310.56", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1038617208"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1090/s0002-9947-1937-1501929-x", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1038816705"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1090/s0002-9904-1938-06866-8", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1049743405"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/bf01900297", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1050039277", 
          "https://doi.org/10.1007/bf01900297"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/bf01900297", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1050039277", 
          "https://doi.org/10.1007/bf01900297"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/bf01719499", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1052210114", 
          "https://doi.org/10.1007/bf01719499"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/bf01719499", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1052210114", 
          "https://doi.org/10.1007/bf01719499"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1137/0205037", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1062841323"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.2307/1968883", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1069674288"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.2307/1969503", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1069674881"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.4153/cjm-1962-038-3", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1072264441"
        ], 
        "type": "CreativeWork"
      }
    ], 
    "datePublished": "1982", 
    "datePublishedReg": "1982-01-01", 
    "description": "Lattice theory today reflects the general status of current mathematics: there is a rich production of theoretical concepts, results, and developments, many of which are reached by elaborate mental gymnastics; on the other hand, the connections of the theory to its surroundings are getting weaker and weaker, with the result that the theory and even many of its parts become more isolated. Restructuring lattice theory is an attempt to reinvigorate connections with our general culture by interpreting the theory as concretely as possible, and in this way to promote better communication between lattice theorists and potential users of lattice theory. The approach reported here goes back to the origin of the lattice concept in nineteenth-century attempts to formalize logic, where a fundamental step was the reduction of a concept to its \u201cextent\u201d. We propose to make the reduction less abstract by retaining in some measure the \u201cintent\u201d of a concept. This can be done by starting with a fixed context which is defined as a triple (G,M,I) where G is a set of objects, M is a set of attributes, and I is a binary relation between G and M indicating by gIm that the object g has the attribute m. There is a natural Galois connection between G and M defined by A\u2032 = {m \u2208 M \u2223 gIm for all g \u2208 A} for A \\( \\subseteq \\) G and B\u2019 = {g \u2208 G \u2223 gIm for all m \u2208 B} for B \\( \\subseteq \\) M. Now, a concept of the context (G,M,I) is introduced as a pair (A,B) with A \\( \\subseteq \\) G, B \\( \\subseteq \\) M, A\u2032 = B, and B\u2032 = A, where A is called the extent and B the intent of the concept (A,B). The hierarchy of concepts given by the relation subconcept-superconcept is captured by the definition (A1,B1) \u2264 (A 2,B 2) \u21d4 A 1 \\( \\subseteq \\) A 2(\u21d4 B 1 \\( \\supseteq \\) B 2) for concepts (A1,B1) and (A 2,B 2) of (G,M,I). Let L(G,M,I) be the set of all concepts of (G,M,I). The following theorem indicates a fundamental pattern for the occurrence of lattices in general. THEOREM: Let (G,M,I) be a context. Then (L(G,M,I), \u2264) is a complete lattice (called the concept lattice of (G,M,I)) in which infima and suprema can be described as follows: Some examples of contexts will illustrate how various lattices occur rather naturally as concept lattices. Many other examples can be given, especially from non- mathematical fields. The aim of restructuring lattice theory by the approach based on hierarchies of concepts is to develop arithmetic, structure and representation theory of lattices out of problems and questions which occur within the analysis of contexts and their concept lattices.", 
    "editor": [
      {
        "familyName": "Rival", 
        "givenName": "Ivan", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/978-94-009-7798-3_15", 
    "inLanguage": [
      "en"
    ], 
    "isAccessibleForFree": false, 
    "isPartOf": {
      "isbn": [
        "978-94-009-7800-3", 
        "978-94-009-7798-3"
      ], 
      "name": "Ordered Sets", 
      "type": "Book"
    }, 
    "name": "Restructuring Lattice Theory: An Approach Based on Hierarchies of Concepts", 
    "pagination": "445-470", 
    "productId": [
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/978-94-009-7798-3_15"
        ]
      }, 
      {
        "name": "readcube_id", 
        "type": "PropertyValue", 
        "value": [
          "45d5e092577401f4157584eacd632e87a1b0114c857a1b87f936579df0c6ddfc"
        ]
      }, 
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1014658433"
        ]
      }
    ], 
    "publisher": {
      "location": "Dordrecht", 
      "name": "Springer Netherlands", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/978-94-009-7798-3_15", 
      "https://app.dimensions.ai/details/publication/pub.1014658433"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2019-04-15T20:04", 
    "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/0000000001_0000000264/records_8687_00000252.jsonl", 
    "type": "Chapter", 
    "url": "http://link.springer.com/10.1007/978-94-009-7798-3_15"
  }
]
 

Download the RDF metadata as:  json-ld nt turtle xml License info

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-94-009-7798-3_15'

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-94-009-7798-3_15'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-94-009-7798-3_15'

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

curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/978-94-009-7798-3_15'


 

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

106 TRIPLES      23 PREDICATES      40 URIs      20 LITERALS      8 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/978-94-009-7798-3_15 schema:about anzsrc-for:01
2 anzsrc-for:0101
3 schema:author N29ac389a73ed4e4698ab9cb4cc2bc4cf
4 schema:citation sg:pub.10.1007/bf01719499
5 sg:pub.10.1007/bf01900297
6 https://doi.org/10.1002/malq.19560020803
7 https://doi.org/10.1090/s0002-9904-1938-06866-8
8 https://doi.org/10.1090/s0002-9939-1972-0437407-5
9 https://doi.org/10.1090/s0002-9947-1937-1501929-x
10 https://doi.org/10.1090/s0002-9947-1956-0080076-2
11 https://doi.org/10.1090/s0002-9947-1959-0108447-9
12 https://doi.org/10.1137/0205037
13 https://doi.org/10.1515/crll.1979.310.56
14 https://doi.org/10.2307/1968883
15 https://doi.org/10.2307/1969503
16 https://doi.org/10.4153/cjm-1962-038-3
17 schema:datePublished 1982
18 schema:datePublishedReg 1982-01-01
19 schema:description Lattice theory today reflects the general status of current mathematics: there is a rich production of theoretical concepts, results, and developments, many of which are reached by elaborate mental gymnastics; on the other hand, the connections of the theory to its surroundings are getting weaker and weaker, with the result that the theory and even many of its parts become more isolated. Restructuring lattice theory is an attempt to reinvigorate connections with our general culture by interpreting the theory as concretely as possible, and in this way to promote better communication between lattice theorists and potential users of lattice theory. The approach reported here goes back to the origin of the lattice concept in nineteenth-century attempts to formalize logic, where a fundamental step was the reduction of a concept to its “extent”. We propose to make the reduction less abstract by retaining in some measure the “intent” of a concept. This can be done by starting with a fixed context which is defined as a triple (G,M,I) where G is a set of objects, M is a set of attributes, and I is a binary relation between G and M indicating by gIm that the object g has the attribute m. There is a natural Galois connection between G and M defined by A′ = {m ∈ M ∣ gIm for all g ∈ A} for A \( \subseteq \) G and B’ = {g ∈ G ∣ gIm for all m ∈ B} for B \( \subseteq \) M. Now, a concept of the context (G,M,I) is introduced as a pair (A,B) with A \( \subseteq \) G, B \( \subseteq \) M, A′ = B, and B′ = A, where A is called the extent and B the intent of the concept (A,B). The hierarchy of concepts given by the relation subconcept-superconcept is captured by the definition (A1,B1) ≤ (A 2,B 2) ⇔ A 1 \( \subseteq \) A 2(⇔ B 1 \( \supseteq \) B 2) for concepts (A1,B1) and (A 2,B 2) of (G,M,I). Let L(G,M,I) be the set of all concepts of (G,M,I). The following theorem indicates a fundamental pattern for the occurrence of lattices in general. THEOREM: Let (G,M,I) be a context. Then (L(G,M,I), ≤) is a complete lattice (called the concept lattice of (G,M,I)) in which infima and suprema can be described as follows: Some examples of contexts will illustrate how various lattices occur rather naturally as concept lattices. Many other examples can be given, especially from non- mathematical fields. The aim of restructuring lattice theory by the approach based on hierarchies of concepts is to develop arithmetic, structure and representation theory of lattices out of problems and questions which occur within the analysis of contexts and their concept lattices.
20 schema:editor N1e7ae7b853024ca1bf6f1761cfae4b7f
21 schema:genre chapter
22 schema:inLanguage en
23 schema:isAccessibleForFree false
24 schema:isPartOf N036c944a134b4ed8800b1366c93f41c0
25 schema:name Restructuring Lattice Theory: An Approach Based on Hierarchies of Concepts
26 schema:pagination 445-470
27 schema:productId N04b38b16c3d14ac696727832e65479ee
28 N6112d9891913457ea0aad95764f8a35f
29 Nefad703db9994993bcfa691c7935fda9
30 schema:publisher N5e467e377e8b4550becbf38d43c95e4f
31 schema:sameAs https://app.dimensions.ai/details/publication/pub.1014658433
32 https://doi.org/10.1007/978-94-009-7798-3_15
33 schema:sdDatePublished 2019-04-15T20:04
34 schema:sdLicense https://scigraph.springernature.com/explorer/license/
35 schema:sdPublisher N1fefac1e7f04491690ed65cfb7f541b2
36 schema:url http://link.springer.com/10.1007/978-94-009-7798-3_15
37 sgo:license sg:explorer/license/
38 sgo:sdDataset chapters
39 rdf:type schema:Chapter
40 N036c944a134b4ed8800b1366c93f41c0 schema:isbn 978-94-009-7798-3
41 978-94-009-7800-3
42 schema:name Ordered Sets
43 rdf:type schema:Book
44 N04b38b16c3d14ac696727832e65479ee schema:name dimensions_id
45 schema:value pub.1014658433
46 rdf:type schema:PropertyValue
47 N1e7ae7b853024ca1bf6f1761cfae4b7f rdf:first N3540ef17242945fabb94413fbbbb3978
48 rdf:rest rdf:nil
49 N1fefac1e7f04491690ed65cfb7f541b2 schema:name Springer Nature - SN SciGraph project
50 rdf:type schema:Organization
51 N29ac389a73ed4e4698ab9cb4cc2bc4cf rdf:first sg:person.015235040663.98
52 rdf:rest rdf:nil
53 N3540ef17242945fabb94413fbbbb3978 schema:familyName Rival
54 schema:givenName Ivan
55 rdf:type schema:Person
56 N5e467e377e8b4550becbf38d43c95e4f schema:location Dordrecht
57 schema:name Springer Netherlands
58 rdf:type schema:Organisation
59 N6112d9891913457ea0aad95764f8a35f schema:name doi
60 schema:value 10.1007/978-94-009-7798-3_15
61 rdf:type schema:PropertyValue
62 Nefad703db9994993bcfa691c7935fda9 schema:name readcube_id
63 schema:value 45d5e092577401f4157584eacd632e87a1b0114c857a1b87f936579df0c6ddfc
64 rdf:type schema:PropertyValue
65 anzsrc-for:01 schema:inDefinedTermSet anzsrc-for:
66 schema:name Mathematical Sciences
67 rdf:type schema:DefinedTerm
68 anzsrc-for:0101 schema:inDefinedTermSet anzsrc-for:
69 schema:name Pure Mathematics
70 rdf:type schema:DefinedTerm
71 sg:person.015235040663.98 schema:affiliation https://www.grid.ac/institutes/grid.6546.1
72 schema:familyName Wille
73 schema:givenName Rudolf
74 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015235040663.98
75 rdf:type schema:Person
76 sg:pub.10.1007/bf01719499 schema:sameAs https://app.dimensions.ai/details/publication/pub.1052210114
77 https://doi.org/10.1007/bf01719499
78 rdf:type schema:CreativeWork
79 sg:pub.10.1007/bf01900297 schema:sameAs https://app.dimensions.ai/details/publication/pub.1050039277
80 https://doi.org/10.1007/bf01900297
81 rdf:type schema:CreativeWork
82 https://doi.org/10.1002/malq.19560020803 schema:sameAs https://app.dimensions.ai/details/publication/pub.1027543387
83 rdf:type schema:CreativeWork
84 https://doi.org/10.1090/s0002-9904-1938-06866-8 schema:sameAs https://app.dimensions.ai/details/publication/pub.1049743405
85 rdf:type schema:CreativeWork
86 https://doi.org/10.1090/s0002-9939-1972-0437407-5 schema:sameAs https://app.dimensions.ai/details/publication/pub.1000726734
87 rdf:type schema:CreativeWork
88 https://doi.org/10.1090/s0002-9947-1937-1501929-x schema:sameAs https://app.dimensions.ai/details/publication/pub.1038816705
89 rdf:type schema:CreativeWork
90 https://doi.org/10.1090/s0002-9947-1956-0080076-2 schema:sameAs https://app.dimensions.ai/details/publication/pub.1027910200
91 rdf:type schema:CreativeWork
92 https://doi.org/10.1090/s0002-9947-1959-0108447-9 schema:sameAs https://app.dimensions.ai/details/publication/pub.1012409775
93 rdf:type schema:CreativeWork
94 https://doi.org/10.1137/0205037 schema:sameAs https://app.dimensions.ai/details/publication/pub.1062841323
95 rdf:type schema:CreativeWork
96 https://doi.org/10.1515/crll.1979.310.56 schema:sameAs https://app.dimensions.ai/details/publication/pub.1038617208
97 rdf:type schema:CreativeWork
98 https://doi.org/10.2307/1968883 schema:sameAs https://app.dimensions.ai/details/publication/pub.1069674288
99 rdf:type schema:CreativeWork
100 https://doi.org/10.2307/1969503 schema:sameAs https://app.dimensions.ai/details/publication/pub.1069674881
101 rdf:type schema:CreativeWork
102 https://doi.org/10.4153/cjm-1962-038-3 schema:sameAs https://app.dimensions.ai/details/publication/pub.1072264441
103 rdf:type schema:CreativeWork
104 https://www.grid.ac/institutes/grid.6546.1 schema:alternateName Technical University of Darmstadt
105 schema:name Fachbereich Mathematik, Technische Hochschule Darmstadt, 6100 Darmstadt, Federal Republic of Germany
106 rdf:type schema:Organization
 




Preview window. Press ESC to close (or click here)


...