Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Common_Logic> ?p ?o }
Showing triples 1 to 58 of
58
with 100 triples 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 colore.
- Common_Logic wikiPageExternalLink SI_paper_12.pdf.
- Common_Logic wikiPageExternalLink common-logic.1085828.n5.nabble.com.
- Common_Logic wikiPageExternalLink conceptualgraphs.org.
- Common_Logic wikiPageExternalLink conceptualstructures.org.
- Common_Logic wikiPageExternalLink a685g1052xj586n5.
- Common_Logic wikiPageExternalLink iso-commonlogic.org.
- Common_Logic wikiPageExternalLink wiki.pl?CommonLogic.
- Common_Logic wikiPageExternalLink wiki.pl?CommonLogic_V2.
- Common_Logic wikiPageExternalLink cl.
- Common_Logic wikiPageExternalLink common-logic.
- Common_Logic wikiPageExternalLink index_e.htm.
- Common_Logic wikiPageExternalLink catalogue_detail.htm?csnumber=39175.
- Common_Logic wikiPageExternalLink clintro.pdf.
- Common_Logic wikiPageExternalLink samian_platform.jsp.
- Common_Logic wikiPageExternalLink edit?usp=sharing.
- Common_Logic wikiPageExternalLink xcl2.
- Common_Logic wikiPageExternalLink cltools.
- Common_Logic wikiPageExternalLink Common-Logic.
- Common_Logic wikiPageExternalLink UserGuideCommonLogic.pdf.
- Common_Logic wikiPageID "2333777".
- Common_Logic wikiPageLength "5176".
- Common_Logic wikiPageOutDegree "16".
- Common_Logic wikiPageRevisionID "704185629".
- Common_Logic wikiPageWikiLink Category:ISO_standards.
- Common_Logic wikiPageWikiLink Category:Knowledge_representation_languages.
- Common_Logic wikiPageWikiLink Computer.
- Common_Logic wikiPageWikiLink Conceptual_graph.
- Common_Logic wikiPageWikiLink First-order_logic.
- Common_Logic wikiPageWikiLink Formal_language.
- Common_Logic wikiPageWikiLink IKRIS_Knowledge_Language.
- Common_Logic wikiPageWikiLink International_Organization_for_Standardization.
- Common_Logic wikiPageWikiLink Knowledge.
- Common_Logic wikiPageWikiLink Knowledge_Interchange_Format.
- Common_Logic wikiPageWikiLink List_of_constructed_languages.
- Common_Logic wikiPageWikiLink Logic_language.
- Common_Logic wikiPageWikiLink Resource_Description_Framework.
- Common_Logic wikiPageWikiLink SourceForge.
- Common_Logic wikiPageWikiLink Web_Ontology_Language.
- Common_Logic wikiPageWikiLink World_Wide_Web_Consortium.
- Common_Logic wikiPageWikiLinkText "Common Logic".
- Common_Logic wikiPageUsesTemplate Template:Refimprove.
- Common_Logic wikiPageUsesTemplate Template:Reflist.
- Common_Logic subject Category:ISO_standards.
- Common_Logic subject Category:Knowledge_representation_languages.
- Common_Logic hypernym Framework.
- Common_Logic type Language.
- Common_Logic type Software.
- Common_Logic type Language.
- Common_Logic type Redirect.
- 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.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. ".
- Common_Logic label "Common Logic".
- Common_Logic sameAs Q5153563.
- Common_Logic sameAs m.074hqk.
- Common_Logic sameAs Q5153563.
- Common_Logic wasDerivedFrom Common_Logic?oldid=704185629.
- Common_Logic isPrimaryTopicOf Common_Logic.