search

gruninger / Common-Logic

Documents for the developments of ISO 24707 Editiion 2 (Common Logic)
8 stars 3 forks source link

Semantics of cl-module #25

Open greenTara opened 11 years ago

greenTara commented 11 years ago

The semantics of cl-module should be fixed, as described in the paper: Fabian Neuhaus, Pat Hayes: Common Logic and the Horatio problem. Applied Ontology 7(2): 211-231 (2012)

greenTara commented 11 years ago

In order for the publication of modules on a network to be practically implemented, it is necessary to be able to state what names are in the vocabulary of a module in a positive fashion. Otherwise, every time a new named text is published on the network, the exclusion set of every existing module would need to be enlarged.

tillmo commented 11 years ago

see also #24, which proposes to elevate cl-module to the top level (cl-text).