Common Logic, ISO/IEC 24707

Common Logic, ISO/IEC 24707

Every time I have a question about ISO/IEC 24707 I have to either find it on my hard drive or search for the publicly available text.

Don’t know that it will help to write it down here, but it might. ;-)

Questions (of course):

  1. Annotated bibliography of citation/use of ISO/IEC 24707. (within last year)
  2. Not a logic course but do you have a preference among the syntaxes? (discussion)
  3. Are ontologies necessarily logical?

Comments are closed.