Abstract
This paper describes the first-order logical environment FOLE. Institutions in general (Goguen and Burstall [4]), and logical environments in particular, give equivalent heterogeneous and homogeneous representations for logical systems. As such, they offer a rigorous and principled approach to distributed interoperable information systems via system consequence (Kent [6]). Since FOLE is a particular logical environment, this provides a rigorous and principled approach to distributed interoperable first-order information systems. The FOLE represents the formalism and semantics of first-order logic in a classification form. By using an interpretation form, a companion approach (Kent [7]) defines the formalism and semantics of first-order logical/relational database systems. In a strict sense, the two forms have transformational passages (generalized inverses) between one another. The classification form of first-order logic in the FOLE corresponds to ideas discussed in the Information Flow Framework (IFF [12]). The FOLE representation follows a conceptual structures approach, that is completely compatible with formal concept analysis (Ganter and Wille [2]) and information flow (Barwise and Seligman [1]).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Barwise, J., Seligman, J.: Information Flow: The Logic of Distributed Systems. Cambridge University Press, Cambridge (1997)
Ganter, B., Wille, R.: Formal Concept Analysis: Mathematical Foundations. Springer, New York (1999)
Goguen, J.: A categorical manifesto. Mathematical Structures in Computer Science 1, 49–67 (1991)
Goguen, J., Burstall, R.: Institutions: Abstract Model Theory for Specification and Programming. J. Assoc. Comp. Mach. 39, 95–146 (1992)
Johnson, M., Rosebrugh, R., Wood, R.: Entity Relationship Attribute Designs and Sketches. Theory and Application of Categories 10(3), 94–112 (2002)
Kent, R.E.: System Consequence. In: Rudolph, S., Dau, F., Kuznetsov, S.O. (eds.) ICCS 2009. LNCS, vol. 5662, pp. 201–218. Springer, Heidelberg (2009)
Kent, R.E.: Database Semantics (2011), http://arxiv.org/abs/1209.3054
Kent, R.E., Spivak, D.I.: Email discussion (2011)
Sowa, J.F.: Knowledge Representation: Logical, Philosophical, and Computational Foundations. Brookes/Coles (2000)
Sowa, J.F.: ISO Standard for Conceptual Graphs (April 2, 2001), http://users.bestweb.net/~sowa/cg/cgstand.html
Spivak, D.I., Kent, R.E.: Ologs: a categorical framework for knowledge representation. PLoS One 7(1), e24274 (2012), http://arxiv.org/abs/1102.1889 , doi:10.1371/journal.pone.0024274
The Information Flow Framework (IFF), http://suo.ieee.org/IFF/
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kent, R.E. (2013). The First-Order Logical Environment. In: Pfeiffer, H.D., Ignatov, D.I., Poelmans, J., Gadiraju, N. (eds) Conceptual Structures for STEM Research and Education. ICCS 2013. Lecture Notes in Computer Science(), vol 7735. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-35786-2_15
Download citation
DOI: https://doi.org/10.1007/978-3-642-35786-2_15
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-35785-5
Online ISBN: 978-3-642-35786-2
eBook Packages: Computer ScienceComputer Science (R0)