Wyniki wyszukiwania - Biblioteka Nauki

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

Szukaj
Przeglądaj
Pomoc
O nas

Ograniczanie wyników

1 Fundamenta Informaticae

1 2014

1 Golińska-Pilarek J.
1 Nguyen L. A.

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: global state caching

Sortuj według:

Ogranicz wyniki do:

An ExpTime Tableau Method for Dealing with Nominals and Qualified Number Restrictions in Deciding the Description Logic SHOQ

100%

Nguyen L. A. , Golińska-Pilarek J.

Fundamenta Informaticae

2014

tom Vol. 135, nr 4

433--449

We present the first tableau method with an EXPTIME (optimal) complexity for checking satisfiability of a knowledge base in the description logic SHOQ, which extends ALC with transitive roles, hierarchies of roles, nominals and qualified number restrictions. The complexity is measured using unary representation for numbers (in number restrictions). Our procedure is based on global caching and integer linear feasibility checking.