An application of lattice theory to knowledge representation

DOI10.1016/S0304-3975(00)00058-XzbMATH Open0949.68140MaRDI QIDQ1583487FDOQ1583487

Authors: Frank J. Oles 

Publication date: 26 October 2000

Published in: Theoretical Computer Science (Search for Journal in Brave)

Recommendations

• scientific article; zbMATH DE number 90538
• Lattice representations for computability theory
• The knowledge lattice
• Formal Concept Analysis as Applied Lattice Theory
• scientific article; zbMATH DE number 1923135

zbMATH Keywords

knowledge basetheoryknowledge representationBirkhoff's representation theoremsubsumption

Mathematics Subject Classification ID

Knowledge representation (68T30)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Ideals and congruence relations in lattices
• Title not available (Why is that?)

Cited In (10)

• Using lattice theory in higher order logic
• Full abstraction and recursion
• A dimension-related metric on the lattice of knowledge spaces
• Distributive lattice-structured ontologies
• Semantical analysis of specification logic
• Knowledge bases and automorphic equivalence of multi-models versus linear spaces and graphs
• Concept lattices and conceptual knowledge systems
• Continuations in possible-world semantics
• Title not available (Why is that?)
• Fixed points without completeness

This page was built for publication: An application of lattice theory to knowledge representation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1583487)