|
| << vorige | volgende >> |
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
Details van artikel 3 van 16 gevonden artikelen
| Titel: |
An ExpTime Tableau Method for Dealing with Nominals and Qualified Number Restrictions in Deciding the Description Logic SHOQ |
| Auteur: |
Nguyen, Linh Anh Golińska-Pilarek, Joanna |
| Verschenen in: |
Fundamenta informaticae |
| Paginering: | Jaargang 135 (2014) nr. 4 pagina's 433-449 |
| Jaar: |
2014-11-24 |
| Inhoud: |
We present the first tableau method with an EXPTIME (optimal) complexity for checking satisfiability of a knowledge base in the description logic ${\cal{SHOQ}}$, which extends ${\cal{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. |
| Uitgever: |
IOS Press |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 3 van 16 gevonden artikelen
| << vorige | volgende >> |