{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,1]],"date-time":"2026-05-01T14:19:31Z","timestamp":1777645171018,"version":"3.51.4"},"reference-count":0,"publisher":"SAGE Publications","issue":"4","license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/journals.sagepub.com\/page\/policies\/text-and-data-mining-license"}],"content-domain":{"domain":["journals.sagepub.com"],"crossmark-restriction":true},"short-container-title":["Fundamenta Informaticae"],"published-print":{"date-parts":[[2014,12]]},"abstract":"<jats:p>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.<\/jats:p>","DOI":"10.3233\/fi-2014-1133","type":"journal-article","created":{"date-parts":[[2019,12,3]],"date-time":"2019-12-03T01:21:20Z","timestamp":1575336080000},"page":"433-449","update-policy":"https:\/\/doi.org\/10.1177\/sage-journals-update-policy","source":"Crossref","is-referenced-by-count":5,"title":["An ExpTime Tableau Method for Dealing with Nominals and Qualified Number Restrictions in Deciding the Description Logic SHOQ"],"prefix":"10.1177","volume":"135","author":[{"given":"Linh Anh","family":"Nguyen","sequence":"first","affiliation":[{"name":"Institute of Informatics, University of Warsaw, Banacha 2, 02-097 Warsaw, Poland; and Faculty of Information Technology, VNU University of Engineering and Technology, 144 Xuan Thuy, Hanoi, Vietnam. nguyen@mimuw.edu.pl"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joanna","family":"Goli\u0144ska-Pilarek","sequence":"additional","affiliation":[{"name":"Institute of Philosophy, University of Warsaw, Krakowskie Przedmie\u015bcie 3, 00-927 Warsaw, Poland. j.golinska@uw.edu.pl"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"179","published-online":{"date-parts":[[2014,1]]},"container-title":["Fundamenta Informaticae"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.3233\/FI-2014-1133","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.3233\/FI-2014-1133","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,29]],"date-time":"2026-04-29T06:31:32Z","timestamp":1777444292000},"score":1,"resource":{"primary":{"URL":"https:\/\/journals.sagepub.com\/doi\/10.3233\/FI-2014-1133"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,1]]},"references-count":0,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2014,12]]}},"alternative-id":["10.3233\/FI-2014-1133"],"URL":"https:\/\/doi.org\/10.3233\/fi-2014-1133","relation":{},"ISSN":["0169-2968","1875-8681"],"issn-type":[{"value":"0169-2968","type":"print"},{"value":"1875-8681","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,1]]}}}