2 search results - page 1 / 1 » Institutional 2-cells and Grothendieck Institutions |
BIRTHDAY
2006
Springer
14 years 2 months ago
2006
Springer
Abstract. We propose to use Grothendieck institutions based on 2categorical diagrams as a basis for heterogeneous specification. We prove a number of results about colimits and (so...
BIRTHDAY
2006
Springer
14 years 2 months ago
2006
Springer
The Semantic Web (SW) is viewed as the next generation of the Web that enables intelligent software agents to process and aggregate data autonomously. Ontology languages provide ba...