Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Common_logic> ?p ?o. }
Showing items 1 to 35 of
35
with 100 items per page.
- Common_logic abstract "Common logic (CL) is a framework for a family of logic languages, based on first-order logic, intended to facilitate the exchange and transmission of knowledge in computer-based systems. The CL definition permits and encourages the development of a variety of different syntactic forms, called "dialects." A dialect may use any desired syntax, but it must be possible to demonstrate precisely how the concrete syntax of a dialect conforms to the abstract CL semantics, which are based on a model theoretic interpretation. Each dialect may be then treated as a formal language. Once syntactic conformance is established, a dialect gets the CL semantics for free, as they are specified relative to the abstract syntax only, and hence are inherited by any conformant dialect. In addition, all CL dialects are equivalent (i.e., can be mechanically translated to each other), although some may be more expressive than others. In general, a less expressive subset of CL may be translated to a more expressive version of CL, but the reverse translation is only defined on a subset of the larger language.".
- Common_logic wikiPageExternalLink conceptualgraphs.org.
- Common_logic wikiPageExternalLink conceptualstructures.org.
- Common_logic wikiPageExternalLink iso-commonlogic.org.
- Common_logic wikiPageExternalLink common-logic.
- Common_logic wikiPageExternalLink c039175_ISO_IEC_24707_2007%28E%29.zip.
- Common_logic wikiPageExternalLink colore.
- Common_logic wikiPageExternalLink index_e.htm.
- Common_logic wikiPageExternalLink www.iso.org.
- Common_logic wikiPageExternalLink catalogue_detail.htm?csnumber=39175.
- Common_logic wikiPageExternalLink samian_platform.jsp.
- Common_logic wikiPageExternalLink edit?usp=sharing.
- Common_logic wikiPageExternalLink cltools.
- Common_logic wikiPageExternalLink UserGuideCommonLogic.pdf.
- Common_logic wikiPageID "2333777".
- Common_logic wikiPageRevisionID "584208572".
- Common_logic hasPhotoCollection Common_logic.
- Common_logic subject Category:ISO_standards.
- Common_logic subject Category:Knowledge_representation_languages.
- Common_logic type Abstraction100002137.
- Common_logic type Communication100033020.
- Common_logic type ISOStandards.
- Common_logic type KnowledgeRepresentationLanguages.
- Common_logic type Language106282651.
- Common_logic type Measure100033615.
- Common_logic type Standard107260623.
- Common_logic type SystemOfMeasurement113577171.
- Common_logic comment "Common logic (CL) is a framework for a family of logic languages, based on first-order logic, intended to facilitate the exchange and transmission of knowledge in computer-based systems.".
- Common_logic label "Common logic".
- Common_logic sameAs m.074hqk.
- Common_logic sameAs Q5153563.
- Common_logic sameAs Q5153563.
- Common_logic sameAs Common_logic.
- Common_logic wasDerivedFrom Common_logic?oldid=584208572.
- Common_logic isPrimaryTopicOf Common_logic.