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 Nd7bfe06b9cb94177ad298093adb6563f
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 N67337d2d942c4900ae80d13d5ce92a6d
21 schema:genre chapter
22 schema:inLanguage en
23 schema:isAccessibleForFree false
24 schema:isPartOf Nbd87067cbf1846d2bba7243f4b687f60
25 schema:name Restructuring Lattice Theory: An Approach Based on Hierarchies of Concepts
26 schema:pagination 445-470
27 schema:productId N42bedb58d40d4be48fde0067013f63ad
28 N8af4ac37d7be4bfca323e39a59386faa
29 Ne1cc71eea6674ba18d735de37edff792
30 schema:publisher N2232b21bd9774e869e783867a6e2677e
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 Na3c72f76c7184b50b2f53cbac53bf365
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 N2232b21bd9774e869e783867a6e2677e schema:location Dordrecht
41 schema:name Springer Netherlands
42 rdf:type schema:Organisation
43 N42bedb58d40d4be48fde0067013f63ad schema:name doi
44 schema:value 10.1007/978-94-009-7798-3_15
45 rdf:type schema:PropertyValue
46 N67337d2d942c4900ae80d13d5ce92a6d rdf:first N77f4c44bf03b4c3ab13eef582095cb2e
47 rdf:rest rdf:nil
48 N77f4c44bf03b4c3ab13eef582095cb2e schema:familyName Rival
49 schema:givenName Ivan
50 rdf:type schema:Person
51 N8af4ac37d7be4bfca323e39a59386faa schema:name dimensions_id
52 schema:value pub.1014658433
53 rdf:type schema:PropertyValue
54 Na3c72f76c7184b50b2f53cbac53bf365 schema:name Springer Nature - SN SciGraph project
55 rdf:type schema:Organization
56 Nbd87067cbf1846d2bba7243f4b687f60 schema:isbn 978-94-009-7798-3
57 978-94-009-7800-3
58 schema:name Ordered Sets
59 rdf:type schema:Book
60 Nd7bfe06b9cb94177ad298093adb6563f rdf:first sg:person.015235040663.98
61 rdf:rest rdf:nil
62 Ne1cc71eea6674ba18d735de37edff792 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)


...