https://ontologforum.com/index.php?action=history&feed=atom&title=CommonLogic 2026-04-10T02:58:17Z Revision history for this page on the wiki MediaWiki 1.39.0 https://ontologforum.com/index.php?title=CommonLogic&diff=1079&oldid=prev 2016-01-09T05:57:47Z

<p>Fix PurpleMediaWiki references</p> <p><b>New page</b></p><div>= Common Logic (CL) =<br /> <br /> see: http://cl.tamu.edu <br /> <br /> The [http://philebus.tamu.edu/mailman/listinfo/cl CL mailing list], includes current working group participants and the archives of the email discussions. <br /> <br /> see also: [[CommonLogic_V2]] <br /> <br /> == The ISO Common Logic effort ==<br /> <br /> The ISO effort towards an international standard for Common Logic began in June 2003 with the approval of a New Work Item (NP) for Common Logic. This project was assigned to WG2 (Metadata) under SC32 (Data Interchange) of ISO/IEC JTC1. This effort ended on October 1, 2007 with the publication of the final standard, in the approval and publication of the Common Logic (CL) Standard '''ISO/IEC IS 24707:2007''' <br /> <br /> Note that a &quot;new&quot; effort and a working group has started (in Sep-2012) to revise and enhance the current (2007) Common Logic (CL) Standard. The project homepage for that work is at: [[CommonLogic_V2]] <br /> <br /> The '''Common Logic''' project clarifies the mathematical and logical basis behind Logic-based solutions, which may underly several different &quot;surface forms&quot; such as [[UML]], [[ConceptualGraphs|Conceptual Graphs]], [[KIF|KIF]], or [[OWLFull|OWL Full]] <br /> <br /> CL is specifically relating to [[FirstOrderLogic|First Order Logic]] (FOL) to [[OWL|OWL]] conversion ... [[User:DavidWhitten|David Whitten]] (who wrote this and the paragraph above on 2005.04.01), you or some core contributor on the [[CLv2]] team, might want to review and possibly edit/re-state this. --ppy/2012.11.26) <br /> <br /> [[Category:Project]]<br /> <br /> <br /> <br /> </div>

imported>KennethBaclawski