Formal generalized sketches is a graph-based specification format that borrows its main
ideas from categorical and ordinary first-order logic, and adapts them to software …

We introduce the relational ontology log, or relational olog, a knowledge representation
system based on the category of sets and relations. It is inspired by Spivak and Kent's olog …

Entity-Relationship-Attribute ideas are commonly used to specify and design information
systems. They use a graphical technique for displaying the objects of the system and …

We introduce a mathematical framework where a formal semantics for object identity can be
built irrespectively to computer related things like object identifiers, memory allocations etc …

Generalized sketches is a graph-based specification format that borrows its main ideas from
both categorical and first-order logic, and adapts them to software engineering needs. In the …

Generalized sketches is a graph-based specification format that borrows its main ideas from
both categorical and first-order logic, and adapts them to software engineering needs. In the …

The goal of the paper is to manifest a special arrow diagram logic developed in
mathematical category theory as capable to provide a general speci cation framework for …

We modify the definition of the models for rewrite theories by replacing the equality of
functors, defined by E-equal terms, with the equality via a natural isomorphism, called …

Entity-Relationship-Attribute ideas are commonly used to specify and design information
systems. They use a graphical technique for displaying the objects of the system and …

Several authors have proposed sketches as a suitable specification mechanism for
specifying databases. When specifying a database, the finite models of the specification are …