---
title: "Consistency and Completeness of OMEGA, a Logic for Knowledge Representation"
authors:
  - "Giuseppe Attardi"
  - "Maria Simi"
doi: ""
url: "https://ijcai.org/proceedings/1981/95"
pdf: "https://ijcai.org/proceedings/1981/0095.pdf"
venue: "Proceedings of the Seventh International Joint Conference on Artificial Intelligence"
year: 1981
pages: "504-509"
track: "Theoretical Foundations"
keywords:
---

# Consistency and Completeness of OMEGA, a Logic for Knowledge Representation

Giuseppe Attardi, Maria Simi

*Proceedings of the Seventh International Joint Conference on Artificial Intelligence*, pages 504-509.

## Abstract

Omega is a description system for knowledge embedding which incorporates some of the attractive modes of expression in natural language such as descriptions, inheritance, quantification, negation, attributions and multiple viewpoints. It combines mechanisms of the predicate calculus, type systems, and pattern matching systems. Description abstraction is a construct which we introduce to extend the expressive power of the syslem. The logic foundations for the basic constructs of Omega are investigated. Semantic models are provided, an axiomatization is derived and the consistency and completeness ol the logic is established.