Sciweavers

1791 search results - page 75 / 359
» Semantics and Complexity of SPARQL
Sort
View
SEMWEB
2009
Springer
16 years 1 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, ...
190
Voted
ENTCS
2010
118views more  ENTCS 2010»
15 years 4 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
16 years 25 days 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 9 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
16 years 3 days 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