OWL und OWL-Semantik
Formal Metadata
Title |
| |
Title of Series | ||
Part Number | 11 | |
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/11275 (DOI) | |
Publisher | ||
Release Date | ||
Language | ||
Producer |
Content Metadata
Subject Area | |||||
Genre | |||||
Abstract |
| ||||
Keywords |
|
00:00
MathematicsLogicNatural languagePredicate logicComputer architectureKnowledge representation and reasoningDescriptive statisticsExpert systemFRAMEWORK <Programm>Type theorySemantics (computer science)Information technology consultingLevel (video gaming)Zusammenhang <Mathematik>Computer configurationTotal S.A.Form (programming)Hardware description languageMereologyMoment (mathematics)ConsistencyKnowledge engineeringKnowledge-based systemsSimilarity (geometry)Range (statistics)CASE <Informatik>Presentation of a groupPoint (geometry)Social classReading (process)Description logicDirection (geometry)File formatExpressionEvent horizonSystems <München>SpeciesDifferent (Kate Ryan album)Constructor (object-oriented programming)Representation (politics)Semantic WebMultiplication signRule of inferenceStandard deviationStack (abstract data type)OntologyPredicate logicHasso-Plattner-Institut für Softwaresystemtechnik <Potsdam>Computer sciencePredicate logicKnowledge representation and reasoningSystems engineeringData terminal equipmentQuery languageDescription logicWeb Ontology LanguageXMLRDF <Informatik>OntologySPARQLMobile appComputer animation
06:15
Artificial intelligenceSet (mathematics)Natural languageTheory of relativityDescriptive statisticsMarkup languageEquivalence relationEquivalence relationSeries (mathematics)Hardware description languageProjective planeNumberEULER <Compiler>Semantic WebRule of inferenceForestOntologyWeb Ontology Language
08:38
AlgebraAlgorithmAttribute grammarOperating systemMedical imagingFraction (mathematics)DatabaseRow (database)Data typeEditorFormal languageGraph (mathematics)InformationSet (mathematics)Natural languageOrder (biology)p-adische ZahlPredicate logicSeries (mathematics)Theory of relativityKnowledge representation and reasoningSymmetry (physics)ParsingZahlString (computer science)Descriptive statisticsFunction (mathematics)Type theoryCompilerSemantics (computer science)BuildingLevel (video gaming)QuantificationAxiomCategory of beingFeasibility studyEntire functionWell-formed formulaAlgebraic closureSoftware testingDialectIntegerZusammenhang <Mathematik>ComputabilityTask (computing)Flow separationDecision theoryDeterminantInequality (mathematics)Total S.A.InferenceSakokuAbstract syntaxEquivalence relationEquivalence relationAlgebraic functionArithmetic meanPropositional formulaForm (programming)BitCW-KomplexSeries (mathematics)Uniqueness quantificationRing (mathematics)Recursive setGroup actionHardware description languageImplikationPrice indexComplementarityComplex (psychology)Complexity classLaufzeitPower (physics)Maxima and minimaExtension (kinesiology)Materialization (paranormal)MereologyMoment (mathematics)Atomic numberTheoryPhysical systemQuantumMilitary rankSlide ruleExecution unitRestriktion <Mathematik>RollbewegungSUGAR <Programmiersprache>SubsetInverse functionVisualization (computer graphics)ConsistencyCountingNumberPhysical quantityEmailLink (knot theory)WINDOWS <Programm>AreaVersion <Informatik>Knowledge-based systemsQuery languageRevision controlLogical constantTransitive relationSimilarity (geometry)Range (statistics)Text editorEckeOperator (mathematics)WeightCASE <Informatik>InferenceAbstractionStress (mechanics)PredictabilityWEBTranslation (relic)Instance (computer science)NamespaceComplete metric spaceKnowledge baseAdditionExistencePoint (geometry)Social classConstraint (mathematics)CuboidIP addressNegative numberSet (mathematics)Open setPoisson-KlammerInferenceLINUXInstanz <Informatik>WordReading (process)Web pageDescription logicHTMLOnline helpPhilosophical logicPredicate (grammar)Inclusion mapLatent heatEqualiser (mathematics)Internet service providerElectronic mailing listCorrespondence (mathematics)CodomainExpressionStatement (computer science)Film editingPartial derivativeHierarchyGreatest elementAddress spaceGraph (mathematics)Formaler BeweisMarkup languageWhiteboardClosed setCondition numberAbgeschlossenheit <Mathematik>Reflexive spaceSpeciesDisk read-and-write headEndliche ModelltheorieDurchschnitt <Mengenlehre>Run time (program lifecycle phase)Different (Kate Ryan album)Constructor (object-oriented programming)Domain nameHungarian Academy of SciencesReason <Programm>School of NamesBlogObject (grammar)Semantic WebElement (mathematics)CurveContext awarenessMultiplication signRule of inferencePlug-in (computing)Standard deviationWritingMessage passing2 (number)Inverse elementRight angleOntologyWeb 2.0First-order logicIdentity managementFunktionalität1 (number)Bookmark (World Wide Web)Equals signHasso-Plattner-Institut für Softwaresystemtechnik <Potsdam>Data typeEditorComputer scienceInformationSet (mathematics)Predicate logicKnowledge representation and reasoningString (computer science)Utility softwarePerturbation theoryAxiomEquivalence relationCW-KomplexRecursive setIndexComplementarityMilitary rankRollbewegungSubsetConsistencyEstimationVersion <Informatik>Logical constantSAM <Programm>Musical ensembleSocial classInferenceOLEInstanz <Informatik>Description logicExclusive orCodomainGreatest elementHANS <Datenbanksystem>Abgeschlossenheit <Mathematik>Disk read-and-write headConstructor (object-oriented programming)Subclass <Programmierung>Pell's equationRDF <Informatik>First-order logicComputer animation
Transcript: German(auto-generated)