Common Logic (original) (raw)
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
| Property | Value |
|---|---|
| dbo: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 automatically 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. (en) Common Logic (CL) es un marco para una familia de lenguajes lógicos, basado en lógica de primer orden, destinado a facilitar el intercambio y la transmisión de conocimiento en sistemas basados en computadora. CL permite y alienta el desarrollo de una variedad de formas sintácticas diferentes, llamadas dialectos. Un dialecto puede usar cualquier sintaxis deseada, pero debe ser posible demostrar con precisión cómo la sintaxis concreta de un dialecto se ajusta a la semántica abstracta de CL, que se basa en una interpretación teórica del modelo. Cada dialecto puede ser tratado como un lenguaje formal. Una vez que se establece la conformidad sintáctica, un dialecto obtiene la semántica CL de forma gratuita, ya que se especifican solo en relación con la sintaxis abstracta y, por lo tanto, son heredados por cualquier dialecto conforme. Además, todos los dialectos CL son equivalentes (es decir, se pueden traducir automáticamente entre sí), aunque algunos pueden ser más expresivos que otros. En general, un subconjunto menos expresivo de CL puede traducirse a una versión más expresiva de CL, pero la traducción inversa solo se define en un subconjunto del lenguaje más amplio. (es) |
| dbo:wikiPageExternalLink | http://hets.eu/ https://github.com/cmungall/cltools https://github.com/gruninger/colore |
| dbo:wikiPageID | 2333777 (xsd:integer) |
| dbo:wikiPageLength | 3690 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1074906111 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:List_of_constructed_languages dbr:Resource_Description_Framework dbc:ISO_standards dbr:Computer dbr:Model_theoretic dbr:Conceptual_graph dbr:W3C dbr:Web_Ontology_Language dbr:First-order_logic dbr:Formal_language dbr:Knowledge_Interchange_Format dbc:Knowledge_representation_languages dbr:International_Organization_for_Standardization dbr:Knowledge dbr:XML dbr:Logic_language |
| dbp:wikiPageUsesTemplate | dbt:List_of_IEC_standards dbt:ISO_standards dbt:Refimprove dbt:Reflist dbt:Short_description dbt:Semantic_Web |
| dct:subject | dbc:ISO_standards dbc:Knowledge_representation_languages |
| gold:hypernym | dbr:Framework |
| rdf:type | dbo:Software yago:Abstraction100002137 yago:Communication100033020 yago:Language106282651 yago:Measure100033615 yago:WikicatISO/IECStandards yago:WikicatISOStandards yago:WikicatKnowledgeRepresentationLanguages yago:Standard107260623 yago:SystemOfMeasurement113577171 |
| rdfs: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. 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 (en) Common Logic (CL) es un marco para una familia de lenguajes lógicos, basado en lógica de primer orden, destinado a facilitar el intercambio y la transmisión de conocimiento en sistemas basados en computadora. En general, un subconjunto menos expresivo de CL puede traducirse a una versión más expresiva de CL, pero la traducción inversa solo se define en un subconjunto del lenguaje más amplio. (es) |
| rdfs:label | Common Logic (es) Common Logic (en) |
| owl:sameAs | freebase:Common Logic wikidata:Common Logic dbpedia-es:Common Logic dbpedia-fa:Common Logic https://global.dbpedia.org/id/4hbLP yago-res:Common Logic |
| prov:wasDerivedFrom | wikipedia-en:Common_Logic?oldid=1074906111&ns=0 |
| foaf:isPrimaryTopicOf | wikipedia-en:Common_Logic |
| is dbo:knownFor of | dbr:Michael_Gruninger |
| is dbo:wikiPageDisambiguates of | dbr:CL |
| is dbo:wikiPageRedirects of | dbr:Common_logic dbr:ISO/IEC_24707 dbr:Conceptual_Graph_Interchange_Format dbr:ISO_24707 dbr:Common_Logic_Interchange_Format dbr:CGIF |
| is dbo:wikiPageWikiLink of | dbr:Semantics_of_Business_Vocabulary_and_Business_Rules dbr:Common_logic dbr:Ontology_Definition_MetaModel dbr:Upper_ontology dbr:Controlled_natural_language dbr:Michael_Gruninger dbr:Web_Ontology_Language dbr:Pat_Hayes dbr:Diagrammatic_reasoning dbr:Knowledge_Interchange_Format dbr:List_of_International_Organization_for_Standardization_standards,_24000-25999 dbr:Michael_Genesereth dbr:Ontology_(information_science) dbr:Ontology_language dbr:CL dbr:CLIF dbr:ISO/IEC_24707 dbr:Conceptual_Graph_Interchange_Format dbr:ISO_24707 dbr:Common_Logic_Interchange_Format dbr:CGIF |
| is foaf:primaryTopic of | wikipedia-en:Common_Logic |