Wyniki wyszukiwania - Biblioteka Nauki

Ten serwis zostanie wyłączony 2025-02-11.

Nowa wersja platformy, zawierająca wyłącznie zasoby pełnotekstowe, jest już dostępna.
Przejdź na https://bibliotekanauki.pl

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:

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

100%

Micalizio R. , Pozzato G. L.

tom 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.

Kłopotliwy wyjątek – w/pod Zakopanem

100%

Bronk Z. , Saloni Z.

nr 1

18-34

Artykuł przedstawia pochodzenie i praktyczne użycie nietypowych form miejscownika i narzędnika liczby pojedynczej nazw miejscowości o odmianie przymiotnikowej, a także trudności związane z ich kodyfikacją.

The article discusses the origin and practical use of exceptional singular forms of the locative and instrumental of topographic names with an adjectival declension (of the type Zakopane), as well as the norms contained in the rules of Polish spelling.