Distributive lattice-structured ontologies

DOI10.1007/978-3-642-03741-2_19MaRDI QIDQ2888493zbMATH OpenOpenAlexFDO

Authors Hans Bruun, Dion Coumans, Mai Gehrke

Publication date 1 June 2012

Published in Algebra and Coalgebra in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-03741-2_19

Mathematics Subject Classification ID

Knowledge representation (68T30) Database theory (68P15) Structure and representation theory of distributive lattices (06D05) Lattices and duality (06D50)

Recommendations

• LATTICES OF STRUCTURE MODELS AND DATABASE SCHEMES
• An application of lattice theory to knowledge representation
• Relational lattices via duality
• Databases as ontologies
• Distributive bilattices from the perspective of natural duality theory.

Cites work

• scientific article; zbMATH DE number 1748069 (Why is no real title available?)
• scientific article; zbMATH DE number 1753135 (Why is no real title available?)
• Algebraic and model theoretic techniques for fusion decidability in modal logics
• An application of lattice theory to knowledge representation
• Automated theorem proving by resolution in non-classical logics
• Bounded distributive lattice expansions
• Free Modal Algebras: A Coalgebraic Perspective

Cited in

(4)

• Composite distributive lattices as annotation domains for mediators
• Free Heyting algebras: revisited
• Duality for double quasioperator algebras via their canonical extensions
• scientific article; zbMATH DE number 2079833 (Why is no real title available?)

This page was built for publication: Distributive lattice-structured ontologies

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