k.

This repository is a collection of code related to Knowledge Representation.

A great overview (54 pages) of Knowledge Representation can be found in the three appendices of John Sowa’s Knowledge Representation.

Appendix A: Summary of Notations

Predicate Calculus

Predicates

Predicate Logic

Formation Rules

Rules of Inference

Rules for Quantifiers

Typed Predicate Logic

Conceptual Graphs

Definition A.2.1: Conceptual Graph

Definition A.2.2: Concept

Definition A.2.3: Conceptual Relation

Definition A.2.4: Lambda Expression

Definition A.2.5: Concept Type

Definition A.2.6: Relation Type

Definition A.2.7: Referent

Definition A.2.8: Context

Definition A.2.9: Coreference Set

Definition A.2.10: Knowledge Base

Transformation Rules

Knowledge Interchange Format

Appendix B: Sample Ontology

John Sowa’s upper ontology encoded into KIF can be found at the following link:

http://suo.ieee.org/SUO/ontologies/Sowa.txt

Principles of Ontology

Glossary

alignment
axiomatized ontology
differentiae
hierarchy
identity conditions
integration
knowledge base
lexicon
mixed ontology
partial compatibility
primitive
prototype-based ontology
Quine’s criterion
refinement
semantic factoring
terminological ontology
unification

Top-Level Categories

Role and Relation Types

Thematic Roles

Placement of Thematic Roles

Extended Examples

Hotel Reservation System

Library Database

ACE Vocabulary

Translating ACE to Logic