This HTML5 document contains 47 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dcthttp://purl.org/dc/terms/
yago-reshttp://yago-knowledge.org/resource/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n14https://global.dbpedia.org/id/
yagohttp://dbpedia.org/class/yago/
dbthttp://dbpedia.org/resource/Template:
rdfshttp://www.w3.org/2000/01/rdf-schema#
freebasehttp://rdf.freebase.com/ns/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
wikipedia-enhttp://en.wikipedia.org/wiki/
dbchttp://dbpedia.org/resource/Category:
dbphttp://dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
n17http://sw.cyc.com/concept/
xsdhhttp://www.w3.org/2001/XMLSchema#
dbrhttp://dbpedia.org/resource/

Statements

Subject Item
dbr:CycL
rdf:type
yago:WikicatKnowledgeRepresentationLanguages yago:Communication100033020 yago:WikicatOntologyLanguages yago:Language106282651 yago:ArtificialLanguage106894544 yago:ProgrammingLanguage106898352 dbo:ProgrammingLanguage yago:Abstraction100002137
rdfs:label
CycL
rdfs:comment
CycL in computer science and artificial intelligence is an ontology language used by Doug Lenat's Cyc artificial intelligence project. Ramanathan V. Guha was instrumental in the design of early versions of the language. There is a close variant of CycL known as MELD. The original version of CycL was a frame language, but the modern version is not. Rather, it is a declarative language based on classical first-order logic, with extensions for modal operators and higher order quantification.
foaf:isPrimaryTopicOf
wikipedia-en:CycL
dct:subject
dbc:Ontology_languages dbc:Declarative_programming_languages dbc:Logic_programming_languages dbc:Knowledge_representation_languages
dbo:wikiPageID
87136
dbo:wikiPageRevisionID
930031848
dbo:wikiPageWikiLink
dbc:Declarative_programming_languages dbr:Ramanathan_V._Guha dbr:Cyc dbr:Frame_(artificial_intelligence) dbr:Ontology_language dbr:Chordate dbr:Artificial_intelligence dbc:Knowledge_representation_languages dbr:Semantic_Web dbr:First-order_logic dbr:Higher-order_logic dbr:Computer_science dbr:Declarative_programming dbr:Inference dbr:Equivalence_relation dbr:List_of_artificial_intelligence_projects dbr:List_of_constructed_languages dbr:Douglas_Lenat dbc:Logic_programming_languages dbc:Ontology_languages dbr:Modal_logic
owl:sameAs
n14:8L3HL freebase:m.0lyyk yago-res:CycL n17:Mx4rvViqDZwpEbGdrcN5Y29ycA
dbp:wikiPageUsesTemplate
dbt:For dbt:Unreferenced
dbo:abstract
CycL in computer science and artificial intelligence is an ontology language used by Doug Lenat's Cyc artificial intelligence project. Ramanathan V. Guha was instrumental in the design of early versions of the language. There is a close variant of CycL known as MELD. The original version of CycL was a frame language, but the modern version is not. Rather, it is a declarative language based on classical first-order logic, with extensions for modal operators and higher order quantification. CycL is used to represent the knowledge stored in the Cyc Knowledge Base, available from Cycorp. The source code written in CycL released with the OpenCyc system is licensed as open source, to increase its usefulness in supporting the semantic web.
prov:wasDerivedFrom
wikipedia-en:CycL?oldid=930031848&ns=0
dbo:wikiPageLength
5454