We're sorry but this page doesn't work properly without JavaScript enabled. Please enable it to continue.
Feedback

OWL und OWL-Semantik

00:00

Formal Metadata

Title
OWL und OWL-Semantik
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
Publisher
Release Date
Language
Producer

Content Metadata

Subject Area
Genre
Abstract
Aufbauend auf die Beschreibungslogik SHOIN(D) wird die Ontologiebeschreibungssprache OWL DL eingeführt und deren Semantik erläutert.
Keywords
German
German
English
English
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
Artificial intelligenceSet (mathematics)Natural languageTheory of relativityDescriptive statisticsMarkup languageEquivalence relationEquivalence relationSeries (mathematics)Hardware description languageProjective planeNumberEULER <Compiler>Semantic WebRule of inferenceForestOntologyWeb Ontology Language
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