Ontologie(n) in Philosophie und Informatik
This is a modal window.
The media could not be loaded, either because the server or network failed or because the format is not supported.
Formal Metadata
Title |
| |
Title of Series | ||
Part Number | 7 | |
Number of Parts | 14 | |
Author | ||
License | CC Attribution - NonCommercial 3.0 Germany: You are free to use, adapt and copy, distribute and transmit the work or content in adapted or unchanged form for any legal and non-commercial purpose as long as the work is attributed to the author in the manner specified by the author or licensor. | |
Identifiers | 10.5446/11271 (DOI) | |
Publisher | ||
Release Date | ||
Language | ||
Producer |
Content Metadata
Subject Area | ||
Genre | ||
Keywords |
00:00
WEBBlogSystems engineeringRDF <Informatik>Mobile appKnowledge representation and reasoningXMLPredicate logicPropositional calculusRDF <Informatik>Markup languageSocial classStress (mechanics)Constraint (mathematics)Data structureComputer scientistQuery languageXMLQuery languageKnowledge representation and reasoningRestriktion <Mathematik>Business reportingFormalismus <Mathematik>Computer animation
02:58
Data exchangeComputer scienceKnowledge representation and reasoningDatenbankspracheSystems <München>WordComputer animationMeeting/Interview
04:43
Data exchangeKnowledge representation and reasoningHierarchyOrder of magnitudeComputer networkSystems <München>Description logicPresentation of a groupComputer animation
06:42
Hasso-Plattner-Institut für Softwaresystemtechnik <Potsdam>Knowledge representation and reasoningComputer scienceSubsetSet (mathematics)Propositional formulaSet (mathematics)VacuumComputer animation
07:48
Computer scienceKnowledge representation and reasoningSocial classSOKRATES <Bibliotheksinformationssystem>Instanz <Informatik>SOKRATES <Bibliotheksinformationssystem>Partition of a setObject (grammar)Instanz <Informatik>Computer scientistInternetSocial classLattice (order)CircleObject-oriented programmingGebiet <Mathematik>Digital mediaData structureAbtragung <Geometrie>Sign (mathematics)Platonic solidTypDirection (geometry)MathematicianStructural load
16:22
BIOSSOKRATES <Bibliotheksinformationssystem>Social classInstanz <Informatik>Hasse diagramComputer scienceKnowledge representation and reasoningInstanz <Informatik>Social classGrand Unified TheoryDirection (geometry)TheoryPlatonic solidSeries (mathematics)WordSOKRATES <Bibliotheksinformationssystem>Computer scientistTable (information)Programming languageSign (mathematics)GoogleProgrammer (hardware)Musical ensembleFile formatInstance (computer science)Computer animation
24:57
Computer scienceKnowledge representation and reasoningOntologyTerm (mathematics)Computer scientistComputing platformFunction (mathematics)Domain nameWordPerspective (visual)TypKnowledge representation and reasoningInstanz <Informatik>Sound <Multimedia>Formale BeschreibungMathematicianSemantic WebPhysical quantitySocial classSystems <München>Mobile appTable (information)Real numberHierarchyConstraint (mathematics)InferenceForm (programming)
33:31
Term (mathematics)Computer scienceKnowledge representation and reasoningSocial classPropositional calculusSOKRATES <Bibliotheksinformationssystem>Predicate logicFirst-order logicPropositional calculusComponent-based software engineeringScientific modellingPredicate logicAttribute grammarSOKRATES <Bibliotheksinformationssystem>Social classWordFormale BeschreibungCartesian productProgramming languageFormalisierungInstanz <Informatik>IP addressPropositional formulaQuantificationBerechnungComputer scientistObject (grammar)InferenceRecursive setInferenceKnowledge representation and reasoningRecursive setAxiomAgreeablenessSubsetSet (mathematics)PredictionMobile appFunction (mathematics)WritingProduct (category theory)Level (video gaming)Representation (politics)RDF <Informatik>Semantic WebComputer animation
42:06
First-order logicComputer scienceKnowledge representation and reasoningSubsetDescription logicRecursive setKnowledge baseMilitary baseSocial classWritingOperatorRecursive setDescription logicSchool of NamesPredicate (grammar)Exclusive orInstanz <Informatik>Computer scientistConstructor (object-oriented programming)CW-KomplexSubsetRollbewegungInferencePropositional formulaAlgorithmOperator (mathematics)Semantic WebArtificial intelligenceStudent's t-testSet (mathematics)Logical constantTupleInferencePredicate logicMarkup languagePropositional calculusInterpreter (computing)ComplementarityWell-formed formulaSimilarity (geometry)QuantificationStructural loadComputer animation
50:40
Computer scienceKnowledge representation and reasoningExclusive orQuantificationComplementarityHasse diagramAlive <Programm>Description logicRestriktion <Mathematik>NumberSeries (mathematics)Semantic WebSocial classForm (programming)SubsetTypSet (mathematics)Complexity classRollbewegungExclusive orInclusion mapConstructor (object-oriented programming)Table (information)InferenceSchool of NamesOperator (mathematics)Student's t-testZusammenhang <Mathematik>AxiomAktion <Informatik>ComplementarityQuantificationAlgorithmFunction (mathematics)LengthComputer animation
59:14
Alive <Programm>Computer scienceKnowledge representation and reasoningOperatorDatabaseString (computer science)UMLSQLMARKUS <Unternehmensspiel>Description logicSocial classRDF <Informatik>InferenceCW-KomplexPredicate logicTransitive relationQuantum stateComputer scientistInverse elementSet (mathematics)Military operationOperatorStudent's t-testAlgorithmSpeciesQuantificationConstructor (object-oriented programming)Moment (mathematics)SubsetSuspension (chemistry)InferencePlane (geometry)Scientific modellingHausdorff spaceConstraint (mathematics)Network-attached storageQuantificationFormalismus <Mathematik>Propositional formulaGebiet <Mathematik>Restriktion <Mathematik>Variable (mathematics)SQLNumberComplex systemComplementarityInstanz <Informatik>Attribute grammarComputer animation
01:07:49
Computer scienceKnowledge representation and reasoningUMLSQLMARKUS <Unternehmensspiel>Hasse diagramTask (computing)Hasso-Plattner-Institut für Softwaresystemtechnik <Potsdam>Just-in-Time-CompilerInstanz <Informatik>Transitive relationCodeDrum memoryLink (knot theory)9 (number)Computer scientistTypSocial classTransitive relationInstanz <Informatik>Gebiet <Mathematik>Propositional formulaProcess (computing)InferenceDomain nameSeries (mathematics)Generic programmingSet (mathematics)Mobile appRecursive setGraph (mathematics)Description logicNP-completeComplexity classMathematicianAutomatonPredicate logicKnowledge representation and reasoningWordService (economics)AxiomDistancePerspective (visual)Task (computing)FLOPSNatural languageInformationP (complexity)Systems <München>HypermediaSeries (mathematics)HierarchySpeciesWeb pageWordNetData dictionaryOntologyALT <Programm>Propositional calculusEURONET-DIANESchool of NamesPINGUIN <Benutzeroberfläche>Computer animation
Recommendations
Series of 27 media
Series of 29 media
Series of 24 media
Series of 12 media