Examples

 

Primitive

·          Entity Type

·          Relation Type

The entity and relation type hierarchies in an IFF ontology conceptually start with sets of primitive (atomic) entity and relational types. These may include top and/or bottom types. The subtype order between primitive types is specified in the entity and relation theories of the ontology. The definitional mechanisms use expressions to introduce new types, both entity and relation, whose place in the hierarchy is determined by their definitions through subsumption. Expressions are regarded to be special relation types in an associated “expression language.”

Expression

Defined

·          Entity Type

·          Relation Type

IFF Language

·          First-order

·          Higher-order

The first-order IFF ontology is a direct expression and extension of the basic OML ontology. The higher-order IFF ontology is still experimental.

Context

 

Theory

 

Logic

 

 

é

Please send questions, comments and suggestions about this page to: Robert E. Kent rekent@ontologos.org

Copyright © 2000 TOC (The Ontology Consortium). All rights reserved. Revised: July 2000