U.S. flag

An official website of the United States government

Official websites use .gov
A .gov website belongs to an official government organization in the United States.

Secure .gov websites use HTTPS
A lock ( ) or https:// means you’ve safely connected to the .gov website. Share sensitive information only on official, secure websites.

PUBLICATIONS

The Semantics of Modules in Common Logic

Published

Author(s)

Fabian M. Neuhaus

Abstract

Common Logic (CL) is an ISO standard that specifies a family of knowledge representation languages. The function of modules within CL is to support local context with a local domains of discourse. Modules play a crucial role since they enable users to reuse ontologies and axioms sets. The semantics of modules is surprisingly hard to define. In this paper we will discuss why the semantics of modules as presented in ISO/IEC 24707 is erroneous and suggest improvements.
Proceedings Title
Interontology 2010
Conference Dates
February 27-28, 2010
Conference Location
Tokyo
Pub Type
Conferences

Keywords

ontology, common logic, modules
Information technology and Manufacturing

Citation

Neuhaus, F. (2010), The Semantics of Modules in Common Logic, Interontology 2010, Tokyo, -1 (Accessed April 26, 2025)

Issues

If you have any questions about this publication or are having problems accessing it, please contact reflib@nist.gov.

Created January 20, 2010, Updated February 19, 2017