Statements (30)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:International_Standard
gptkb:logic_language |
| gptkbp:abbreviation |
gptkb:CL
|
| gptkbp:category |
gptkb:logic
gptkb:ISO_standards knowledge representation languages |
| gptkbp:domain |
gptkb:artificial_intelligence
gptkb:knowledge_representation |
| gptkbp:firstPublished |
2007
|
| gptkbp:fullName |
gptkb:Common_Logic_Interchange_Format
|
| gptkbp:hasSyntax |
gptkb:CLIF
gptkb:CLML gptkb:XCL |
| gptkbp:latestReleaseVersion |
gptkb:ISO/IEC_24707:2022
|
| gptkbp:relatedStandard |
gptkb:RDF
gptkb:KIF gptkb:OWL |
| gptkbp:standardizedBy |
gptkb:ISO
gptkb:IEC |
| gptkbp:standardNumber |
gptkb:ISO/IEC_24707
|
| gptkbp:supports |
gptkb:first-order_logic
higher-order logic semantic interoperability |
| gptkbp:usedFor |
data integration
knowledge interchange ontology exchange |
| gptkbp:website |
https://standards.iso.org/iso-iec/24707/
|
| gptkbp:bfsParent |
gptkb:Knowledge_Interchange_Format_(KIF)
|
| gptkbp:bfsLayer |
6
|
| https://www.w3.org/2000/01/rdf-schema#label |
Common Logic
|