Serwis Infona wykorzystuje pliki cookies (ciasteczka). Są to wartości tekstowe, zapamiętywane przez przeglądarkę na urządzeniu użytkownika. Nasz serwis ma dostęp do tych wartości oraz wykorzystuje je do zapamiętania danych dotyczących użytkownika, takich jak np. ustawienia (typu widok ekranu, wybór języka interfejsu), zapamiętanie zalogowania. Korzystanie z serwisu Infona oznacza zgodę na zapis informacji i ich wykorzystanie dla celów korzytania z serwisu. Więcej informacji można znaleźć w Polityce prywatności oraz Regulaminie serwisu. Zamknięcie tego okienka potwierdza zapoznanie się z informacją o plikach cookies, akceptację polityki prywatności i regulaminu oraz sposobu wykorzystywania plików cookies w serwisie. Możesz zmienić ustawienia obsługi cookies w swojej przeglądarce.
Ontologies in real-world applications are typically dynamic entities that are frequently modified when new knowledge needs to be added or when existing knowledge is no longer considered valid. Logical errors inevitably occur when ontologies are modified. To effectively identify the problematic axioms that are responsible for these logical errors, an optimization strategy based on the clash sequence...
Calculating the minimal unsatisfiability-preserving sub-TBoxes (MUPS) for an unsatisfiable concept using the glass-box debugging method is a key reasoning service in ontology debugging. However, the glass-box method is limited as it can easily fall into an unnecessary expansion, especially in the process of non-deterministic expansion. An efficient method to solve this problem is to pre-select a set...
Podaj zakres dat dla filtrowania wyświetlonych wyników. Możesz podać datę początkową, końcową lub obie daty. Daty możesz wpisać ręcznie lub wybrać za pomocą kalendarza.