Towards a general theory of action and time
Artificial Intelligence
The fifth generation: artificial intelligence and Japan's computer challenge to the world
The fifth generation: artificial intelligence and Japan's computer challenge to the world
Conceptual structures: information processing in mind and machine
Conceptual structures: information processing in mind and machine
The entity-relationship model—toward a unified view of data
ACM Transactions on Database Systems (TODS) - Special issue: papers from the international conference on very large data bases: September 22–24, 1975, Framingham, MA
Maintaining knowledge about temporal intervals
Communications of the ACM
On category theory as a (meta) ontology for information systems research
Proceedings of the international conference on Formal Ontology in Information Systems - Volume 2001
Categories for Software Engineering
Categories for Software Engineering
The comparative linguistics of knowledge representation
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
A Categorial Context with Default Reasoning Approach to Heterogeneous Ontology Integration
ICCS '07 Proceedings of the 7th international conference on Computational Science, Part II
Towards a Categorical Matching Method to Process High-Dimensional Emergency Knowledge Structures
ISNN '08 Proceedings of the 5th international symposium on Neural Networks: Advances in Neural Networks, Part II
Typed category theory-based micro-view emergency knowledge representation
KSEM'07 Proceedings of the 2nd international conference on Knowledge science, engineering and management
Using categorial Context-SHOIQ(D+) DL to migrate between the context-aware scenes
WISE'06 Proceedings of the 7th international conference on Web Information Systems
| Hi-index | 0.00 |
A typed category theory is proposed for the abstract description of knowledge and knowledge processing. It differs from the traditional category theory in two directions: all morphisms have types and the composition of morphisms is not necessary a morphism. Two aspects of application of typed category theory are discussed: cones and limits of knowledge complexity classes and knowledge completion with pseudo-functors.