5595 search results - page 5 / 1119 » Comparing Subsumption Optimizations |
SEMWEB
2009
Springer
15 years 4 months ago
2009
Springer
One of the core services provided by OWL reasoners is classification: the discovery of all subclass relationships between class names occurring in an ontology. Discovering these r...
ILP
1997
Springer
15 years 1 months ago
1997
Springer
Abstract. We present a logical approach to graph theoretical learning that is based on using alphabetic substitutions for modelling graph morphisms. A classi ed graph is represente...
98
Voted
DLOG
2011
14 years 29 days ago
2011
We present an optimized query rewriting algorithm for OWL 2 QL that computes the rewriting set of a user query by avoiding unnecessary inferences and extended clause subsumption ch...
IEEEVAST
2010
14 years 4 months ago
2010
Interaction and manual manipulation have been shown in the cognitive science literature to play a critical role in problem solving. Given different types of interactions or constr...
100
click to vote
SIGMETRICS
2012
ACM
12 years 12 months ago
2012
ACM
In this work we present the differences and similarities of the web browsing behavior in most common mobile platforms. We devise a novel Operating System (OS) fingerprinting met...