ISO/IEC JTC1 SC32 WG2 Development/Maintenance

Last Updated: 2015-10-25

ISO/IEC 24707 � Common Logic

This International Standard specifies a family of logic languages designed for use in the representation and interchange of information and data among disparate computer systems.

 

The following features are essential to the design of this International Standard:

-����� Languages in the family have declarative semantics. It is possible to understand the meaning of expressions in these languages without appeal to an interpreter for manipulating those expressions.

-����� Languages in the family are logically comprehensive � at its most general, they provide for the expression of arbitrary first-order logical sentences.

-����� Interchange of information among heterogeneous computer systems.

 

The following are within the scope of this International Standard:

-����� representation of information in ontologies and knowledge bases;

-����� specification of expressions that are the input or output of inference engines;

-����� formal interpretations of the symbols in the language.

 

The following are outside the scope of this International Standard:

-����� the specification of proof theory or inference rules;

-����� specification of translators between the notations of heterogeneous computer systems;

-����� computer-based operational methods of providing relationships between symbols in the logical �universe of discourse� and individuals in the �real world�.

 

This International Standard describes Common Logic�s syntax and semantics. It defines an abstract syntax and an associated model-theoretic semantics for a specific extension of first-order logic. The intent is that the content of any system using first-order logic can be represented using this International Standard. The purpose is to facilitate interchange of first-order logic-based information between systems.

 

Issues relating to computability using this International Standard (efficiency, optimization, etc.) are not addressed.

Project status

Project number:�� 1.32.25.02.00.00 �������������������������� Status:� Approved at Gyeongju, May 2013

Edition 2:� Project Editor: Michael GRUNINGER

 

WD

WD2

CD

CD2

DIS

IS

Text:

WG2 N1768

2013-04-24

WG2 N1824
( docpdf )
2013-09-29

SC32 N2477
( doc , pdf )
2014-03-04

SC32 N2603
2015-01-31

Sneak peek
WG2 N2105
2014-12-31

Target date
2017-03-04

Summary of voting:

N/a

N/a

SC32 N2488
( doc , pdf )
2014-06-05

SC32 N2649
2015-05-06

 

 

Resolution of Comments:

N/a

N/a

SC32 N2604
2015-01-31

WG2 N2106
2015-10-04
(Editor's draft)

 

 

Related documents

WG2 N2082 Additional comments on CD2

WG2 N2005 24707 update fo Toronto meeting

WG2 N1932 Additional comments on CD 24707 from Germany

WG2 N1786 Overview of Common Logic

WG2 N1767 Proposed Revision to ISO/IEC 24707 Common Logic (2nd Edition)

WG2 N1766 Proof support for Common Logic

WG2 N1703 ( docpdf ) ISO/IEC 24707 Common Logic Defects Report.

WG2 N1702 ( docpdf ) ISO/IEC 24707 Common Logic Proposal for Second Edition.

Edition 1:� Project Editor: Harry DELUGACH���� Status:� Published

Project

WD

CD

FCD

FDIS

IS

1.32.25.01.00.00

SC32 N1238

2005-03-14

SC32 N1330
2005-06-22

SC32 N1377
2005-12-13

SC32 N1498
2007-05-22

ISO/IEC 24707
2007-10-01

 

Back to ISO/IEC SC32 WG2 Home Page