Statements (30)
Predicate | Object |
---|---|
gptkbp:instanceOf |
gptkb:International_Standard
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 |
https://www.w3.org/2000/01/rdf-schema#label |
Common Logic
|
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
|