| Author(s): |
Fabian M. Neuhaus; |
| Title: |
The Semantics of Modules in Common Logic |
| Published: |
January 20, 2010 |
| 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: |
Interontology 2010 |
| Pages: |
5 pp. |
| Location: |
Tokyo, -1 |
| Dates: |
February 27-28, 2010 |
| Keywords: |
ontology; common logic; modules |
| Research Areas: |
Information Technology, Ontologies |
