Common logic

Gemeenschappelijke logica is een kader voor een familie van logische talen, op basis van eerste-orde logica, bedoeld om de uitwisseling en overdracht van kennis in computer-gebaseerde systemen te vergemakkelijken.

De CL definitie vergunningen en bevordert de ontwikkeling van een verscheidenheid van verschillende syntactische vormen, zogenaamde "dialecten". Een dialect kan elk gewenst syntaxis, maar het moet mogelijk zijn aangetoond precies hoe de concrete syntax van een dialect volgens het abstracte CL semantiek, die gebaseerd op een model theoretische interpretatie. Elk dialect kan dan worden behandeld als een formele taal. Zodra syntactische conformiteit is vastgesteld, een dialect krijgt de CL semantiek gratis, als omschreven ten opzichte van alleen de abstracte syntax, en dus worden overgenomen door een conforme dialect. Bovendien zijn alle CL dialecten gelijkwaardig, hoewel wat expressiever dan anderen.

In het algemeen kan een minder expressieve subset van CL worden vertaald naar een expressieve versie van CL, maar het omgekeerde vertaling is alleen gedefinieerd op een deel van de grotere taal.

De ISO-norm

Gemeenschappelijke Logic wordt uitgegeven door ISO als "ISO / IEC 24707: 2007 - Informatietechnologie gemeenschappelijke Logic: een kader voor een gezin van logica gebaseerde talen". Het is beschikbaar voor aankoop van ISO's catalogus, en is vrij toegankelijk op.

De standaard bevat specificaties voor drie dialecten, het gemeenschappelijk Logic Interchange Format, de Conceptuele Graph Interchange Format, en een op XML gebaseerde notatie voor Common Logic. De semantiek van deze dialecten worden gedefinieerd door hun vertaling naar de abstracte syntax en semantiek van Common Logic. Veel andere logica gebaseerde talen kan ook worden gedefinieerd als subsets van CL middels soortgelijke vertalingen; onder hen zijn de RDF en OWL talen, die zijn gedefinieerd door het W3C.

De ontwikkeling van de ISO-norm begon in juni 2003 onder werkgroep 2 van de Subcommissie 32 onder ISO / IEC JTC1, en in oktober 2007. Een technische rectificatie voltooid, het corrigeren van enkele fouten in de originele standaard, wordt voorbereid.

Implementaties

  • Er is een open-source project op SourceForge, waar iedereen kan deelnemen.
  • COLORE is een opslagplaats van gemeenschappelijke Logic Ontologieën
  • Hets ondersteunt gemeenschappelijke logica
  • De Kojeware Samian platform ondersteunt Common Logic
  • cltools is een proloog bibliotheek met gedeeltelijke ondersteuning voor Common Logic
  • ECLIF is een uitbreiding van CLIF dat een aantal functies toevoegt voor dingen zoals aggregatie, maar heeft geen enkele aspecten van CLIF als formele namespaces bevatten. Het wordt gebruikt voor enterprise ontologie implementaties.
(0)
(0)
Commentaren - 0
Geen commentaar

Voeg een reactie

smile smile smile smile smile smile smile smile
smile smile smile smile smile smile smile smile
smile smile smile smile smile smile smile smile
smile smile smile smile
Tekens over: 3000
captcha