Concrete domains have been introduced in Description Logics (DLs) to enable reference to concrete objects (such as numbers) and predefined predicates on these objects (such as numerical comparisons) when defining concepts. To retain decidability when integrating a concrete domain into a decidable DL, the domain must satisfy quite strong restrictions. In previous work, we have analyzed the most prominent such condition, called w-admissibility, from an algebraic point of view. This provided us with useful algebraic tools for proving w-admissibility, which allowed us to find new examples for concrete domains whose integration leaves the prototypical expressive DL ALC decidable. When integrating concrete domains into lightweight DLs of the EL family, achieving decidability is not enough. One wants reasoning in the resulting DL to be tractable. This can be achieved by using so-called p-admissible concrete domains and restricting the interaction between the DL and the concrete domain. In the present paper, we investigate p-admissibility from an algebraic point of view. Again, this yields strong algebraic tools for demonstrating p-admissibility. In particular, we obtain an expressive numerical padmissible concrete domain based on the rational numbers. Although w-admissibility and p-admissibility are orthogonal conditions that are almost exclusive, our algebraic characterizations of these two properties allow us to locate an infinite class of p-admissible concrete domains whose integration into ALC yields decidable DLs.

Neben den vielfältigen Problemen im Bereich der Verkehrssicherheit werfen Elektrokleinstfahrzeuge (E-Kfz), insbesondere auch deren wohl am häufigsten anzutreffende Unterfahrzeugart der Elektroroller (E-Scooter) vielfältige verkehrsjuristische Fragen auf, die bislang nur unzureichend geklärt wurden. Auch der vorliegende und hier zu überprüfende Referentenentwurf einer Elektrokleinstfahrzeuge- Verordnung (eKFV) vermag es nicht, alle sich aufdrängenden Fragen zu klären. Dieses Gutachten soll dazu beitragen, einige Fragen zu klären sowie die notwendige fachliche Diskussion in Richtung des Bedenkens von Erwägungen der Verkehrssicherheit zu beeinflussen. Auch beim Bedenken der tatsächlichen Folgen dieser neuen Verordnung ist keine exakte Trennung zwischen Verkehrssicherheit und Verkehrsrecht vorhanden. Vielmehr kommunizieren beide vom verkehrspolitischen Gesetzgeber wie auch dem Verordnungsgeber stets im direkten Zusammenhang zu berücksichtigende Bereiche notwendigerweise miteinander. Nur eine kombinierte Sichtweise aus beiden Blickwinkeln kann nämlich dem gemäß Artikel 1 Absatz 3 des Grundgesetzes (GG) an alle Staatsgewalten adressierten Schutzauftrag aus Artikel 2 Absatz 1 GG gerecht werden, das Leben und die körperliche Unversehrtheit aller Verkehrsteilnehmer auf deutschen Straßen vor möglicherweise auch durch die neu zu integrierenden E-Kfz entstehenden Gefahren zu schützen. Auch die Frage der Technikfolgenabschätzung einer Markteinführung von E-Kfz ist ungeklärt. Weder das Fraunhofer-Institut für System- und Innovationsforschung (ISI), noch das Karlsruher Institut für Technikfolgenabschätzung und Systemanalyse (ITAS) beschäftigen sich mit der hier zu untersuchenden Thematik. Der Hauptgegenstand des ersten Teiles dieses Gutachtens ist das Verkehrsvölkerrecht der Europäischen Union (EU) sowie das Wiener Übereinkommen über den Straßenverkehr (WÜK). Beide vorgenannten Bereiche des Völkerrechts sind von Völkerrechtssubjekten, den jeweiligen Vertragsstaaten vereinbart worden. Das Völkerrecht funktioniert demnach von seinem Grundgedanken her stets nach dem Konsensprinzip (näher Ipsen, S. 15, Epping, in: Ipsen, S. 52 ff.), wobei grundsätzlich zwischen direkter und indirekter Geltung völkerrechtlicher Vereinbarungen unterschieden werden muss. Beide Aspekte der Geltungskraft spielen im Rahmen des ersten Teiles dieser Begutachtung ebenso eine Rolle wie der Verzicht auf völkerrechtlich verbindliche Regelungen, der dem zweiten Grundprinzip folgt, nämlich dem Subsidiaritätsprinzip (näher Oppermann/Classen/Nettesheim, S. 173 ff.). Ein solcher Verzicht kann auf sowohl durch ein unbewusstes Normsetzungsdefizit erklärt werden wie andererseits durch ein bewusstes Laissezfaire, das in der Hoffnung praktiziert wird, es werde durch den Verzicht schon kein bedeutender Schaden entstehen. Sollte es nämlich zu einer völkerrechtlichen Regelung eines Sachverhaltes kommen, gilt international wie national der in dem römischen Recht tief verwurzelte universelle Rechtsgrundsatz „pacta sunt servanda“ (Verträge sind einzuhalten). Im zweiten Teil dieser Begutachtung werden die vorgesehenen Regelungen der §§ 9 ff. eKFV mit dem geltenden Verhaltensrecht der StVO auf deren Kompatibilität bzw. Dissonanzen hin abgeglichen. Dabei ist notwendigerweise auch die Frage einer gerechten Verteilung des Verkehrsraumes auf die verschiedenen Gruppen von Verkehrsteilnehmern (Fußgänger, Fahrzeugführer muskelkraftgetriebener Fahrzeuge und Kraftfahrzeugführer) durch die StVO aufzuwerfen, die dem Schutzgedanken Rechnung trägt. Zudem beinhaltet dieser Teil auch einen Blick auf die Ressourcen und Möglichkeiten der kommunalen Straßenverkehrsbehörden sowie der Landespolizei, die diese neuen Regelungen schließlich gemeinsam praktisch einplanen, umsetzen, überwachen und ggf. im Rahmen der Unfallaufnahme und Sachbearbeitung bewerten müssen.

No description available.

Concrete domains have been introduced in the area of Description Logic to enable reference to concrete objects (such as numbers) and predefined predicates on these objects (such as numerical comparisons) when defining concepts. Unfortunately, in the presence of general concept inclusions (GCIs), which are supported by all modern DL systems, adding concrete domains may easily lead to undecidability. To regain decidability of the DL ALC in the presence of GCIs, quite strong restrictions, in sum called ω-admissibility, were imposed on the concrete domain. On the one hand, we generalize the notion of ω-admissibility from concrete domains with only binary predicates to concrete domains with predicates of arbitrary arity. On the other hand, we relate ω-admissibility to well-known notions from model theory. In particular, we show that finitely bounded homogeneous structures yield ω-admissible concrete domains. This allows us to show ω-admissibility of concrete domains using existing results from model theory. When integrating concrete domains into lightweight DLs of the E L family, achieving decidability is not enough. One wants reasoning in the resulting DL to be tractable. This can be achieved by using so-called p-admissible concrete domains and restricting the interaction between the DL and the concrete domain. We investigate padmissibility from an algebraic point of view. Again, this yields strong algebraic tools for demonstrating p-admissibility. In particular, we obtain an expressive numerical p-admissible concrete domain based on the rational numbers. Althoughω-admissibility and p-admissibility are orthogonal conditions that are almost exclusive, our algebraic characterizations of these two properties allow us to locate an infinite class of p-admissible concrete domains whose integration into ALC yields decidable DLs.

Concrete domains have been introduced in the area of Description Logic to enable reference to concrete objects (such as numbers) and predefined predicates on these objects (such as numerical comparisons) when defining concepts. Unfortunately, in the presence of general concept inclusions (GCIs), which are supported by all modern DL systems, adding concrete domains may easily lead to undecidability. One contribution of this paper is to strengthen the existing undecidability results further by showing that concrete domains even weaker than the ones considered in the previous proofs may cause undecidability. To regain decidability in the presence of GCIs, quite strong restrictions, in sum called w-admissiblity, need to be imposed on the concrete domain. On the one hand, we generalize the notion of w-admissiblity from concrete domains with only binary predicates to concrete domains with predicates of arbitrary arity. On the other hand, we relate w-admissiblity to well-known notions from model theory. In particular, we show that finitely bounded, homogeneous structures yield w-admissible concrete domains. This allows us to show w-admissibility of concrete domains using existing results from model theory.