๐ฎ
๐ฎ
The Ethereal
Semantic Integration in the Information Flow Framework
October 18, 2018 ยท The Ethereal ยท ๐ Semantic Interoperability and Integration
"No code URL or promise found in abstract"
Evidence collected by the PWNC Scanner
Authors
Robert E. Kent
arXiv ID
1810.08236
Category
cs.LO: Logic in CS
Cross-listed
cs.AI
Citations
23
Venue
Semantic Interoperability and Integration
Last Checked
2 months ago
Abstract
The Information Flow Framework (IFF) is a descriptive category metatheory currently under development, which is being offered as the structural aspect of the Standard Upper Ontology (SUO). The architecture of the IFF is composed of metalevels, namespaces and meta-ontologies. The main application of the IFF is institutional: the notion of institutions and their morphisms are being axiomatized in the upper metalevels of the IFF, and the lower metalevel of the IFF has axiomatized various institutions in which semantic integration has a natural expression as the colimit of theories.
Community Contributions
Found the code? Know the venue? Think something is wrong? Let us know!
๐ Similar Papers
In the same crypt โ Logic in CS
๐ฎ
๐ฎ
The Ethereal
Safe Reinforcement Learning via Shielding
๐ฎ
๐ฎ
The Ethereal
Formal Verification of Piece-Wise Linear Feed-Forward Neural Networks
๐ฎ
๐ฎ
The Ethereal
Heterogeneous substitution systems revisited
๐ฎ
๐ฎ
The Ethereal
Omega-Regular Objectives in Model-Free Reinforcement Learning
๐ฎ
๐ฎ
The Ethereal