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

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

Namespace Prefixes

PrefixIRI
dbpedia-dehttp://de.dbpedia.org/resource/
dctermshttp://purl.org/dc/terms/
yago-reshttp://yago-knowledge.org/resource/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
dbpedia-eshttp://es.dbpedia.org/resource/
dbpedia-eohttp://eo.dbpedia.org/resource/
n17https://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:
n6http://sw.cyc.com/concept/
dbphttp://dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
goldhttp://purl.org/linguistics/gold/
wikidatahttp://www.wikidata.org/entity/
dbrhttp://dbpedia.org/resource/

Statements

Subject Item
dbr:CycL
rdf:type
dbo:Language yago:WikicatKnowledgeRepresentationLanguages yago:Language106282651 yago:Abstraction100002137 yago:WikicatOntologyLanguages yago:Communication100033020 yago:ProgrammingLanguage106898352 dbo:ProgrammingLanguage yago:ArtificialLanguage106894544
rdfs:label
CycL CycL CycL CycL
rdfs:comment
CycL estas logika formala apriora lingvo kies sintakso derivas el unua-ranga predikata kalkulo (la ). Por eksprimi la komunan sensan konon, tamen, ĝi malproksimiĝis el formala logiko. La vortprovizo de CycL konsistas de logikaj terminoj. La aro de terminoj estas divideblaj en konstantaj, neatomikigaj (NATj), varieblaj kaj kelkaj aliaj tipoj de objektoj. Terminoj estas kombinataj en signifplenaj CycLaj , kiuj estas uzataj por fari asertojn en kon-bazo. Tre ŝajne, la lingvo ne estas por homa uzo kiel helplingvo. CycL ist eine Ontologiesprache in der künstlichen Intelligenz, die speziell für die Wissensdatenbank Cyc entwickelt wurde. Doug Lenat und sind die ersten Entwickler. Die ursprüngliche Version von CycL war eine rahmenbasierte Sprache, von der sich die aktuelle Version jedoch entfernt hat. Sie ist eine Deklarationssprache, die auf der Prädikatenlogik erster Stufe beruht. Sie enthält Erweiterungen für Modallogik und Prädikatenlogik höherer Stufe. 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 En ciencias de la computación e inteligencia artificial, CycL es un lenguaje ontológico usado por el proyecto de inteligencia artificial de Doug Lenat conocido como Cyc. La participación de fue decisiva en el diseño de este lenguaje. Hay una variante cerrada de CycL conocida como MELD. Es un lenguaje está basado en cálculo de predicados que tiene una sintaxis similar a Lisp.
dcterms:subject
dbc:Ontology_languages dbc:Logic_programming_languages dbc:Declarative_programming_languages dbc:Knowledge_representation_languages
dbo:wikiPageID
87136
dbo:wikiPageRevisionID
1101682827
dbo:wikiPageWikiLink
dbr:Semantic_web dbc:Ontology_languages dbr:Higher-order_logic dbr:Declarative_language dbr:Frame_language dbr:List_of_constructed_languages dbr:Equivalence_relation dbc:Logic_programming_languages dbr:Chordate dbr:Computer_science dbr:List_of_notable_artificial_intelligence_projects dbr:First-order_logic dbr:Doug_Lenat dbr:Inference dbr:Cycorp dbr:Ramanathan_V._Guha dbr:Ontology_language dbr:Modal_logic dbr:Artificial_intelligence dbc:Knowledge_representation_languages dbc:Declarative_programming_languages dbr:Cyc
owl:sameAs
n6:Mx4rvViqDZwpEbGdrcN5Y29ycA wikidata:Q3890214 n17:3be8d yago-res:CycL freebase:m.0lyyk dbpedia-de:CycL dbpedia-eo:CycL dbpedia-es:CycL
dbp:wikiPageUsesTemplate
dbt:More_citations_needed dbt:For dbt:Reflist
dbo:abstract
CycL En ciencias de la computación e inteligencia artificial, CycL es un lenguaje ontológico usado por el proyecto de inteligencia artificial de Doug Lenat conocido como Cyc. La participación de fue decisiva en el diseño de este lenguaje. Hay una variante cerrada de CycL conocida como MELD. Es un lenguaje está basado en cálculo de predicados que tiene una sintaxis similar a Lisp. CycL se utiliza para representar el conocimiento almacenado en la Base de datos de conocimiento general conocida como Cyc, disponible en Cycorp Inc.Existe una versión de CycL con licencia de código abierto conocida como , cuyo fin es servir de apoyo a la web semántica. 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. CycL ist eine Ontologiesprache in der künstlichen Intelligenz, die speziell für die Wissensdatenbank Cyc entwickelt wurde. Doug Lenat und sind die ersten Entwickler. Die ursprüngliche Version von CycL war eine rahmenbasierte Sprache, von der sich die aktuelle Version jedoch entfernt hat. Sie ist eine Deklarationssprache, die auf der Prädikatenlogik erster Stufe beruht. Sie enthält Erweiterungen für Modallogik und Prädikatenlogik höherer Stufe. CycL wird in der Cyc-Wissensdatenbank verwendet, um das gespeicherte Wissen darzustellen. Der Quellcode, geschrieben in CycL, steht im Projekt OpenCyc als Open Source zur Verfügung, um die Verwendbarkeit zur Unterstützung des semantischen Webs zu erhöhen. CycL estas logika formala apriora lingvo kies sintakso derivas el unua-ranga predikata kalkulo (la ). Por eksprimi la komunan sensan konon, tamen, ĝi malproksimiĝis el formala logiko. La vortprovizo de CycL konsistas de logikaj terminoj. La aro de terminoj estas divideblaj en konstantaj, neatomikigaj (NATj), varieblaj kaj kelkaj aliaj tipoj de objektoj. Terminoj estas kombinataj en signifplenaj CycLaj , kiuj estas uzataj por fari asertojn en kon-bazo. Tre ŝajne, la lingvo ne estas por homa uzo kiel helplingvo.
gold:hypernym
dbr:Language
prov:wasDerivedFrom
wikipedia-en:CycL?oldid=1101682827&ns=0
dbo:wikiPageLength
5758
foaf:isPrimaryTopicOf
wikipedia-en:CycL