Sciweavers

192 search results - page 39 / 39
» On Graph Isomorphism for Restricted Graph Classes
Sort
View
EON
2003
13 years 6 months ago
Racer: A Core Inference Engine for the Semantic Web
In this paper we describe Racer, which can be considered as a core inference engine for the semantic web. The Racer inference server offers two APIs that are already used by at le...
Volker Haarslev, Ralf Möller
SIAMDM
1998
89views more  SIAMDM 1998»
13 years 5 months ago
String Noninclusion Optimization Problems
For every string inclusion relation there are two optimization problems: find a longest string included in every string of a given finite language, and find a shortest string in...
Anatoly R. Rubinov, Vadim G. Timkovsky