Common Logic ( CL ) เป็นกรอบสำหรับตระกูลภาษาตรรกะโดยอิงตามตรรกะลำดับที่หนึ่งซึ่งมีจุดประสงค์เพื่ออำนวยความสะดวกในการแลกเปลี่ยนและส่งต่อความรู้ในระบบคอมพิวเตอร์^{[ 1 ]}

นิยามของ CL อนุญาตและส่งเสริมการพัฒนาโครงสร้างทางไวยากรณ์ที่หลากหลาย ซึ่งเรียกว่าภาษาถิ่นภาษาถิ่นอาจใช้ไวยากรณ์ใดก็ได้ตามต้องการ แต่จะต้องสามารถแสดงให้เห็นได้อย่างแม่นยำว่าไวยากรณ์ที่เป็นรูปธรรมของภาษาถิ่นนั้นสอดคล้องกับความหมายเชิงนามธรรมของ CL อย่างไร ซึ่งความหมายเชิงนามธรรมนั้นอิงอยู่กับ การตีความ ตามทฤษฎีแบบจำลองภาษาถิ่นแต่ละภาษาสามารถถือได้ว่าเป็นภาษาทางการเมื่อมีการสร้างความสอดคล้องทางไวยากรณ์แล้ว ภาษาถิ่นจะได้รับความหมายเชิงนามธรรมของ CL โดยอัตโนมัติ เนื่องจากความหมายเหล่านั้นถูกกำหนดโดยสัมพันธ์กับไวยากรณ์เชิงนามธรรมเท่านั้น และด้วยเหตุนี้จึงถูกสืบทอดไปยังภาษาถิ่นใดๆ ที่สอดคล้อง นอกจากนี้ ภาษาถิ่น CL ทั้งหมดสามารถเปรียบเทียบกันได้ (กล่าวคือ สามารถแปลเป็นภาษาทั่วไปได้โดยอัตโนมัติ) แม้ว่าบางภาษาถิ่นอาจมีความสามารถในการแสดงออกมากกว่าภาษาถิ่นอื่นๆ ก็ตาม

โดยทั่วไปแล้ว ชุดย่อยของภาษา CL ที่มีความสามารถในการแสดงออกน้อยกว่า อาจถูกแปลเป็นภาษา CL เวอร์ชันที่มีความสามารถในการแสดงออกมากกว่าได้ แต่การแปลในทางกลับกันนั้น จะถูกจำกัดไว้เฉพาะในชุดย่อยของภาษาที่ใหญ่กว่าเท่านั้น

มาตรฐาน Common Logic ได้รับการเผยแพร่โดยISOในชื่อ "ISO/IEC 24707:2007 - เทคโนโลยีสารสนเทศ — Common Logic (CL): กรอบสำหรับตระกูลภาษาที่ใช้ตรรกะ" ^{[ 2 ]} สามารถซื้อได้จากแคตตาล็อกของ ISO และสามารถดาวน์โหลดได้ฟรีจากดัชนีมาตรฐานสาธารณะของ ISO ^{[ 3 ] [ 4 ]}

มาตรฐาน CL ประกอบด้วยข้อกำหนดสำหรับภาษาถิ่นสามแบบ ได้แก่รูปแบบการแลกเปลี่ยนตรรกะทั่วไป ( CLIF ) (ภาคผนวก A) รูปแบบการแลกเปลี่ยนกราฟเชิงแนวคิด ( CGIF ) (ภาคผนวก B) และ สัญกรณ์แบบ XMLสำหรับตรรกะทั่วไป ( XCL ) (ภาคผนวก C) ความหมายของภาษาถิ่นเหล่านี้ถูกกำหนดไว้ในมาตรฐานโดยการแปลไปเป็นไวยากรณ์และความหมายเชิงนามธรรมของตรรกะทั่วไป ภาษาที่ใช้ตรรกะอื่นๆ อีกมากมายก็สามารถกำหนดให้เป็นส่วนย่อยของ CL ได้ โดยวิธีการแปลที่คล้ายกัน เช่น ภาษา RDFและOWLซึ่งได้รับการกำหนดโดยW3C

การพัฒนามาตรฐาน ISO เริ่มขึ้นในเดือนมิถุนายน พ.ศ. 2546 ภายใต้คณะทำงานที่ 2 (เมตาเดตา) ของคณะอนุกรรมการที่ 32 (การแลกเปลี่ยนข้อมูล)ภายใต้ISO/IEC JTC 1และเสร็จสมบูรณ์ในเดือนตุลาคม พ.ศ. 2550 ขณะนี้กำลังมีการจัดทำเอกสารแก้ไขทางเทคนิคเพื่อแก้ไขข้อผิดพลาดบางประการในมาตรฐานฉบับเดิม

• COLOREคือแหล่งรวบรวมออนโทโลยีตรรกะทั่วไป
• Hetsสนับสนุน Common Logic
• cltoolsเป็นไลบรารี PROLOG ที่รองรับ Common Logic บางส่วน

• กราฟเชิงแนวคิด
• รูปแบบการแลกเปลี่ยนความรู้ (KIF)
• ภาษาสำหรับการแสดงความรู้