Filtern
Erscheinungsjahr
- 2021 (45) (entfernen)
Dokumenttyp
- Dissertation (40)
- Masterarbeit (3)
- Habilitation (1)
- Ausgabe (Heft) zu einer Zeitschrift (1)
Sprache
- Englisch (45) (entfernen)
Schlagworte
- Umweltpsychologie (2)
- optimal control (2)
- Acceleration Structures (1)
- Amphibia (1)
- Aphid predator (1)
- Arzneimittel (1)
- Basic psychological needs (1)
- Bees (1)
- Bestäuber (1)
- Bestäubung (1)
- Beta-Diversität (1)
- Bienen <Familie> (1)
- Bilingualer Unterricht (1)
- Business Rule Bases, Inconsistency Measurement (1)
- Cashew-Sektor (1)
- Climate anxiety (1)
- Climate denial (1)
- Clustering coefficient (1)
- Computer Graphics (1)
- Connected Vehicles (1)
- Content and Language Integrated Learning (1)
- Content and Language Integrated Learning (CLIL) (1)
- Depth Profile (1)
- Ecosystem service (1)
- Ecotoxicity (1)
- Ecotoxicology (1)
- Enhanced Representation (1)
- Environmental samples (1)
- Eye Tracking (1)
- Fischgewebe (1)
- Fractionation (1)
- GPU (1)
- Ganzzahlige Optimierung (1)
- GazeTheWeb (1)
- Gemischt-ganzzahlige Optimierung (1)
- Geowissenschaften (1)
- Globale Wertschöpfungsketten (1)
- Graph theory (1)
- Graphentheorie (1)
- Grundbedürfnis (1)
- Gut content analysis (1)
- Habitat loss (1)
- Habitat networks (1)
- Habitatsverlust (1)
- IceCube (1)
- Industriepolitik (1)
- Information Centric Networking (1)
- Klimawandel (1)
- Knowledge Graphs (1)
- Kognitive Entwicklung (1)
- Lake Naivasha (1)
- Lake Wamala (1)
- Landscape ecology (1)
- Landschaftskartierung (1)
- Landschaftsökologie (1)
- Lehrerbildung (1)
- Lehrerkompetenzen (1)
- Leugnung (1)
- Line Space (1)
- Lurche (1)
- Mathematical optimisation (1)
- Metalloids (1)
- Metals (1)
- Metapopulation dynamics (1)
- Metapopulationsdynamiken (1)
- Mixed integer programming (1)
- Mosambik (1)
- Multimodal Medical Image Analysis Cochlea Spine Non-rigid Registration Segmentation ITK VTK 3D Slicer CT MRI CBCT (1)
- Named Function Networking (1)
- Network robustness (1)
- Netzwerkrobustheit (1)
- Neuroactive chemicals (1)
- Neutino (1)
- Pharmaceuticals (1)
- Placement Strategies (1)
- Politische Ökonomie (1)
- Pore Water (1)
- Proactive Caching (1)
- Raytracing (1)
- Referenzrahmen (1)
- Resource Governance (1)
- Right-wing ideology (1)
- Schwebstoffe (1)
- Sediment Water Interface (1)
- Self-determination theory (1)
- Semantic Data (1)
- Sozialpsychologie (1)
- Speciation (1)
- Stereotyp (1)
- Stereotype Content Model (1)
- Structural Validity (1)
- Strukturelle Validität (1)
- Toxicological characterization (1)
- Toxicology (1)
- Type System (1)
- Type system (1)
- Umweltproben (1)
- Umwelttoxikologie (1)
- Umweltwissenschaften (1)
- Vermeidung (1)
- Verteilung (1)
- Visual Stimuli Discovery (1)
- Vorschulkind (1)
- Vulnerability (1)
- WCET (1)
- Water Management (1)
- Web (1)
- Wild pollinator (1)
- Wildbienen (1)
- adjoint functions (1)
- analytics (1)
- behavior change (1)
- belief in just world (1)
- biofiltration (1)
- bribery (1)
- business intelligence (1)
- change (1)
- cognitive development (1)
- construction materials (1)
- corrosion protection (1)
- covid-19 (1)
- criminal victimization (1)
- critical section (1)
- crop pollination (1)
- cryo-electron microscopy (1)
- dengue (1)
- digital transformation (1)
- distribution (1)
- effect-directed analysis (1)
- enterprise collaboration platforms (1)
- enterprise collaboration systems (1)
- environmental compatibility (1)
- environmental psychology (1)
- epidemiology (1)
- epoxide (1)
- fish tissues (1)
- floral resources (1)
- framework (1)
- futex (1)
- galvanic anodes (1)
- immediate priority ceiling protocol (1)
- information infrastructure (1)
- landscape mapping (1)
- leaching (1)
- longitudinal (1)
- measure (1)
- metal-film phase plate (1)
- micropollutants (1)
- modelling (1)
- monitor (1)
- mutual exclusion (1)
- numerical simulation (1)
- optimization (1)
- organic coatings (1)
- ozonation (1)
- parameter estimation (1)
- performance optimization (1)
- plastic consumption (1)
- playful learning (1)
- pollen diet (1)
- pollinator development (1)
- pollinator fitness (1)
- polyurethane (1)
- predictability (1)
- preschool children (1)
- rocking-phase plate (1)
- school attack (1)
- science learning (1)
- self-concept (1)
- single-particle analysis (1)
- soil aquifer treatment (1)
- sparsity (1)
- suspended particle matter (1)
- teacher training (1)
- trace organic chemicals (1)
- transformation products (1)
- variational discretization (1)
- warp divergence (1)
- wastewater treatment plant (1)
- water pollution (1)
- water reuse (1)
- water scarcity (1)
- water treatment (1)
- wild bees (1)
- window of opportunity (1)
- Ökosystemdienstleistung (1)
- Ökotoxikologie (1)
Institut
- Fachbereich 7 (6)
- Institut für Computervisualistik (5)
- Institut für Integrierte Naturwissenschaften, Abt. Chemie (5)
- Institut für Integrierte Naturwissenschaften, Abt. Biologie (4)
- Institut für Wirtschafts- und Verwaltungsinformatik (4)
- Institute for Web Science and Technologies (4)
- Mathematisches Institut (3)
- Fachbereich 6 (2)
- Fachbereich 8 (2)
- Institut für Informatik (2)
Graph-based data formats are flexible in representing data. In particular semantic data models, where the schema is part of the data, gained traction and commercial success in recent years. Semantic data models are also the basis for the Semantic Web - a Web of data governed by open standards in which computer programs can freely access the provided data. This thesis is concerned with the correctness of programs that access semantic data. While the flexibility of semantic data models is one of their biggest strengths, it can easily lead to programmers accidentally not accounting for unintuitive edge cases. Often, such exceptions surface during program execution as run-time errors or unintended side-effects. Depending on the exact condition, a program may run for a long time before the error occurs and the program crashes.
This thesis defines type systems that can detect and avoid such run-time errors based on schema languages available for the Semantic Web. In particular, this thesis uses the Web Ontology Language (OWL) and its theoretic underpinnings, i.e., description logics, as well as the Shapes Constraint Language (SHACL) to define type systems that provide type-safe data access to semantic data graphs. Providing a safe type system is an established methodology for proving the absence of run-time errors in programs without requiring execution. Both schema languages are based on possible world semantics but differ in the treatment of incomplete knowledge. While OWL allows for modelling incomplete knowledge through an open-world semantics, SHACL relies on a fixed domain and closed-world semantics. We provide the formal underpinnings for type systems based on each of the two schema languages. In particular, we base our notion of types on sets of values which allows us to specify a subtype relation based on subset semantics. In case of description logics, subsumption is a routine problem. For
the type system based on SHACL, we are able to translate it into a description
logic subsumption problem.