| http://dbpedia.org/ontology/abstract
|
La teoría de Olog es un intento de proporc … La teoría de Olog es un intento de proporcionar un marco matemático riguroso para la representación del conocimiento, la construcción de modelos científicos y el almacenamiento de datos utilizando la teoría de categorías, herramientas lingüísticas y gráficas. La teoría de Olog fue introducida en 2010 por , un científico investigador en el Departamento de Matemáticas, MIT.or en el Departamento de Matemáticas, MIT.
, The theory of ologs is an attempt to provi … The theory of ologs is an attempt to provide a rigorous mathematical framework for knowledge representation, construction of scientific models and data storage using category theory, linguistic and graphical tools. Ologs were introduced in 2010 by David Spivak, a research scientist in the Department of Mathematics, MIT.ist in the Department of Mathematics, MIT.
|
| http://dbpedia.org/ontology/thumbnail
|
http://commons.wikimedia.org/wiki/Special:FilePath/Olog.jpg?width=300 +
|
| http://dbpedia.org/ontology/wikiPageExternalLink
|
http://category-theory.mitpress.mit.edu +
, http://math.mit.edu/~dspivak/informatics/ +
|
| http://dbpedia.org/ontology/wikiPageID
|
34003244
|
| http://dbpedia.org/ontology/wikiPageLength
|
8762
|
| http://dbpedia.org/ontology/wikiPageRevisionID
|
1068795201
|
| http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/MIT +
, http://dbpedia.org/resource/Schema_matching +
, http://dbpedia.org/resource/David_Spivak +
, http://dbpedia.org/resource/Hypergraph +
, http://dbpedia.org/resource/Kleisli_category +
, http://dbpedia.org/resource/File:Olog.jpg +
, http://dbpedia.org/resource/Wiktionary:-%CE%BB%CE%BF%CE%B3%CE%AF%CE%B1 +
, http://dbpedia.org/resource/Table_%28database%29 +
, http://dbpedia.org/resource/Category:Mathematical_concepts +
, http://dbpedia.org/resource/Ontology_language +
, http://dbpedia.org/resource/Ontology_%28information_science%29 +
, http://dbpedia.org/resource/Category_theory +
, http://dbpedia.org/resource/Functor +
, http://dbpedia.org/resource/Simplicial_complex +
, http://dbpedia.org/resource/Wiktionary:%CE%B5%E1%BC%B0%CE%BC%CE%AF +
, http://dbpedia.org/resource/Wiktionary:%E1%BD%A4%CE%BD +
, http://dbpedia.org/resource/Universal_logic +
, http://dbpedia.org/resource/Functors +
, http://dbpedia.org/resource/Wiktionary:onto- +
, http://dbpedia.org/resource/Monad_%28category_theory%29 +
, http://dbpedia.org/resource/Modeling_language +
, http://dbpedia.org/resource/Graph_%28discrete_mathematics%29 +
, http://dbpedia.org/resource/Binary_relation +
, http://dbpedia.org/resource/Database_schema +
, http://dbpedia.org/resource/Mathematical_object +
, http://dbpedia.org/resource/Greek_language +
, http://dbpedia.org/resource/Markov_decision_process +
, http://dbpedia.org/resource/MIT_Press +
, http://dbpedia.org/resource/Category_%28mathematics%29 +
, http://dbpedia.org/resource/Orgology +
, http://dbpedia.org/resource/Natural_transformation +
, http://dbpedia.org/resource/Morphisms +
, http://dbpedia.org/resource/Pullback_%28category_theory%29 +
, http://dbpedia.org/resource/Singleton_%28mathematics%29 +
, http://dbpedia.org/resource/Category_of_sets +
, http://dbpedia.org/resource/Wiktionary:-logia +
, http://dbpedia.org/resource/Operad_theory +
, http://dbpedia.org/resource/Universal_algebra +
, http://dbpedia.org/resource/Category:Ontology_%28information_science%29 +
|
| http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Cite_book +
, http://dbpedia.org/resource/Template:Reflist +
, http://dbpedia.org/resource/Template:InfoMaps +
, http://dbpedia.org/resource/Template:Cite_web +
, http://dbpedia.org/resource/Template:For +
, http://dbpedia.org/resource/Template:Computable_knowledge +
|
| http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Mathematical_concepts +
, http://dbpedia.org/resource/Category:Ontology_%28information_science%29 +
|
| http://purl.org/linguistics/gold/hypernym
|
http://dbpedia.org/resource/Term +
|
| http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Olog?oldid=1068795201&ns=0 +
|
| http://xmlns.com/foaf/0.1/depiction
|
http://commons.wikimedia.org/wiki/Special:FilePath/Olog.jpg +
|
| http://xmlns.com/foaf/0.1/homepage
|
http://math.mit.edu +
|
| http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Olog +
|
| owl:sameAs |
http://rdf.freebase.com/ns/m.0hr793f +
, http://dbpedia.org/resource/Olog +
, http://www.wikidata.org/entity/Q7088492 +
, https://global.dbpedia.org/id/4soe2 +
, http://yago-knowledge.org/resource/Olog +
, http://es.dbpedia.org/resource/Olog +
|
| rdf:type |
http://dbpedia.org/class/yago/Concept105835747 +
, http://dbpedia.org/class/yago/Cognition100023271 +
, http://dbpedia.org/class/yago/Idea105833840 +
, http://dbpedia.org/class/yago/Content105809192 +
, http://dbpedia.org/class/yago/Abstraction100002137 +
, http://dbpedia.org/class/yago/WikicatMathematicalConcepts +
, http://dbpedia.org/class/yago/PsychologicalFeature100023100 +
|
| rdfs:comment |
La teoría de Olog es un intento de proporc … La teoría de Olog es un intento de proporcionar un marco matemático riguroso para la representación del conocimiento, la construcción de modelos científicos y el almacenamiento de datos utilizando la teoría de categorías, herramientas lingüísticas y gráficas. La teoría de Olog fue introducida en 2010 por , un científico investigador en el Departamento de Matemáticas, MIT.or en el Departamento de Matemáticas, MIT.
, The theory of ologs is an attempt to provi … The theory of ologs is an attempt to provide a rigorous mathematical framework for knowledge representation, construction of scientific models and data storage using category theory, linguistic and graphical tools. Ologs were introduced in 2010 by David Spivak, a research scientist in the Department of Mathematics, MIT.ist in the Department of Mathematics, MIT.
|
| rdfs:label |
Olog
|
