Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
Formats
RDF:
N-Triples
N3
Turtle
JSON
XML
OData:
Atom
JSON
Microdata:
JSON
HTML
Embedded:
JSON
Turtle
Other:
CSV
JSON-LD
Faceted Browser
Sparql Endpoint
About:
Common Logic
An Entity of Type:
Thing
,
from Named Graph:
http://dbpedia.org
,
within Data Space:
dbpedia.org
Framework for a family of logic languages
Property
Value
dbo:
description
framework for a family of logic languages
(en)
dbo:
wikiPageExternalLink
https://github.com/cmungall/cltools
https://github.com/gruninger/colore
http://hets.eu/
dbo:
wikiPageWikiLink
dbc
:ISO_standards
dbr
:XML
dbr
:First-order_logic
dbr
:List_of_constructed_languages
dbr
:Conceptual_graph
dbr
:Computer
dbr
:Formal_language
dbr
:International_Organization_for_Standardization
dbr
:Knowledge
dbc
:Knowledge_representation_languages
dbr
:Knowledge_Interchange_Format
dbr
:Web_Ontology_Language
dbr
:Resource_Description_Framework
dbr
:W3C
dbr
:Logic_language
dbr
:Model_theoretic
dbp:
wikiPageUsesTemplate
dbt
:List_of_IEC_standards
dbt
:Reflist
dbt
:Citation
dbt
:Refend
dbt
:Refbegin
dbt
:ISO_standards
dbt
:Semantic_Web
dbt
:Refimprove
dbt
:Short_description
dct:
subject
dbc
:ISO_standards
dbc
:Knowledge_representation_languages
gold:
hypernym
dbr
:Framework
rdfs:
label
Common Logic
(en)
Common Logic
(es)
owl:
sameAs
yago-res
:Common Logic
freebase
:Common Logic
wikidata
:Common Logic
dbpedia-es
:Common Logic
dbpedia-fa
:Common Logic
dbpedia-global
:Common Logic
prov:
wasDerivedFrom
wikipedia-en
:Common_Logic?oldid=1203084402&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
:ISO/IEC_24707
dbr
:ISO_24707
dbr
:Common_Logic_Interchange_Format
dbr
:Common_logic
dbr
:Conceptual_Graph_Interchange_Format
dbr
:CGIF
is
dbo:
wikiPageWikiLink
of
dbr
:Controlled_natural_language
dbr
:Diagrammatic_reasoning
dbr
:Pat_Hayes
dbr
:Upper_ontology
dbr
:Knowledge_Interchange_Format
dbr
:Web_Ontology_Language
dbr
:CL
dbr
:Ontology_Definition_MetaModel
dbr
:Ontology_language
dbr
:Ontology_(information_science)
dbr
:Semantics_of_Business_Vocabulary_and_Business_Rules
dbr
:Michael_Gruninger
dbr
:CLIF
dbr
:Michael_Genesereth
dbr
:List_of_International_Organization_for_Standardization_standards,_24000-25999
dbr
:ISO/IEC_24707
dbr
:ISO_24707
dbr
:Common_Logic_Interchange_Format
dbr
:Common_logic
dbr
:Conceptual_Graph_Interchange_Format
dbr
:CGIF
is
foaf:
primaryTopic
of
wikipedia-en
:Common_Logic
This content was extracted from
Wikipedia
and is licensed under the
Creative Commons Attribution-ShareAlike 4.0 International