Wyniki wyszukiwania - BazTech

Ograniczanie wyników

2 2018

Znaleziono wyników: 2

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: exceptions

Sortuj według:

Ogranicz wyniki do:

Zwolnienia spod regulacji w transporcie towarów niebezpiecznych według umowy ADR

Bursztyński A., Kardas D., Musiał E.

Gospodarka Materiałowa i Logistyka

2018

nr 12

92--120, CD

Towary niebezpieczne w transporcie są częścią dóbr, które są potrzebne codziennie - nie tylko w przemyśle chemicznym ale również osobom prywatnym. Mając na uwadze główny cel przepisów dotyczących transportu towarów niebezpiecznych, bezpieczeństwo podczas transportu, ustawodawcy umieścili w Umowie ADR szereg wykluczeni oraz wyłączeń spod działania części przepisów. Ułatwiają one dystrybucję towarów niebezpiecznych w sytuacjach kiedy niebezpieczeństwo jest zminimalizowane.

Dangerous goods in transport are part of the goods that are needed every day - not only in the chemical industry but also for private buyers. Bearing in mind the main objective of the regulations concerning the transport of dangerous goods and safety during transport, legislators included in the ADR Agreement a number of exclusions and exceptions from the operation of some provisions. They facilitate the distribution of dangerous goods in situations where the danger is minimized.

Revision of Ontologies to Accommodate Exceptions : a Typicality-based Approach

Micalizio R., Pozzato G. L.

Fundamenta Informaticae

2018

Vol. 161, nr 1/2

163--189

The paper presents a methodology to revise a Description Logic knowledge base when exceptions are detected. The approach exploits concepts and results from techniques developed for debugging Description Logic terminologies. Debugging an inconsistent terminology amounts to identifying a minimal subset of axioms responsible for the inconsistency (i.e., an error to be removed by a knowledge engineer). Exception handling, instead, requires to revise the axioms causing an inconsistency so that a new consistent knowledge base is obtained, encompassing the detected exception about an individual x. To this aim, we make use of a nonmonotonic extension of the Description Logic ALC based on the combination of a typicality operator and the well established nonmonotonic mechanism of rational closure, which allows one to deal with prototypical properties and defeasible inheritance.