Vol-1031⫷ Vol-1032 ⫸Vol-1033
urn:nbn:de:0074-1032-0


None⫷None⫸None
Joanna Golinska-PilarekLinh Anh Nguyen

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