Distributive Lattice-Structured Ontologies

DOI10.1007/978-3-642-03741-2_19zbMath1239.68029OpenAlexW1659616924MaRDI QIDQ2888493

Mai Gehrke, Hans Bruun, Dion Coumans

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

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

Related Items (2)

Free Heyting Algebras: Revisited ⋮ Duality for double quasioperator algebras via their canonical extensions

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• An application of lattice theory to knowledge representation
• Automated theorem proving by resolution in non-classical logics
• Free Modal Algebras: A Coalgebraic Perspective
• Bounded distributive lattice expansions

This page was built for publication: Distributive Lattice-Structured Ontologies