Sciweavers

1791 search results - page 75 / 359
» Semantics and Complexity of SPARQL
Sort
View
SEMWEB
2009
Springer
15 years 11 months ago
Queries to Hybrid MKNF Knowledge Bases through Oracular Tabling
An important issue for the Semantic Web is how to combine open-world ontology languages with closed-world (non-monotonic) rule paradigms. Several proposals for hybrid languages all...
José Júlio Alferes, Matthias Knorr, ...
ENTCS
2010
118views more  ENTCS 2010»
15 years 1 months ago
Fragments-based Model Reduction: Some Case Studies
Molecular biological models usually suffer from a dramatic combinatorial blow up. Indeed, proteins form complexes and can modify each others, which leads to the formation of a hug...
Jérôme Feret
RR
2007
Springer
15 years 10 months ago
Extending SWRL to Enhance Mathematical Support
This paper presents an extension to the Semantic Web Rule Language and a methodology to enable advanced mathematical support in SWRL rules. This solution separates mathematical and...
Alfonso Sánchez-Macián, Encarna Past...
AAAI
2007
15 years 6 months ago
A Model-based Approach for Merging Prioritized Knowledge Bases in Possibilistic Logic
This paper presents a new approach for merging prioritized knowledge bases in possibilistic logic. Our approach is semantically defined by a model-based merging operator in propo...
Guilin Qi
AMAI
2004
Springer
15 years 9 months ago
The Expressive Rate of Constraints
In reasoning tasks involving logical formulas, high expressiveness is desirable, although it often leads to high computational complexity. We study a simple measure of expressiven...
Hubie Chen