We address the development of a practical theory of semiotics within the context of the IEEE Standard Upper Ontology effort. The theory has the form of a set of predicates and other terms that are axiomatized in first order logic. We argue that this theory is sufficient for representing many of the subtleties of semantic representation that are likely to arise in the context of interoperability of information systems.
展开▼