Cart
0
Product
Products
(empty)
No products
To be determined
Shipping
$0.00
Total
Product successfully added to your shopping cart
Quantity
Total
There are 0 items in your cart.
There is 1 item in your cart.
Total products
Total shipping
To be determined
Total
New
Reduced price!
View larger
View larger
ISO/IEC DIS 24707
M00001181
New product
ISO/IEC DIS 24707 2016 Edition, May 17, 2016 Information technology - Common Logic (CL): a framework for a family of logic-based languages
In stock
More info
Description / Abstract:
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. -
Languages in the family are translatable by a semantics-preserving transformation to a common XML- based syntax, facilitating 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.
The standard 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 in the standard. The purpose is to facilitate interchange of first-order logic-based information between systems.
Issues relating to computability using the standard (including efficiency, optimization, etc.) are not addressed.