Sciweavers

1791 search results - page 136 / 359
» Semantics and Complexity of SPARQL
Sort
View
146
Voted
ICAIL
2005
ACM
15 years 10 months ago
A Note on Interpretations for Federated Languages and the Use of Disquotation
Quotation and subsequent disquotation of propositional content sentences has been proposed for, and has some attractive features for, representing content sentences embedded in co...
Steven Orla Kimbrough
ASP
2001
Springer
15 years 9 months ago
Genes and Ants for Default Logic
Default Logic and Logic Programming with stable model semantics are recognized as powerful frameworks for incomplete information representation. Their expressive power are suitabl...
Pascal Nicolas, Frédéric Saubion, Ig...
IJFCS
2008
108views more  IJFCS 2008»
15 years 4 months ago
Basic Algorithm for Attribute Implications and Functional Dependencies in Graded Setting
We present GLinClosure, a graded extension of the well-known LinClosure algorithm. GLinClosure can be used to compute degrees of semantic entailment from sets of fuzzy attribute i...
Radim Belohlávek, Vilém Vychodil
TOSEM
2002
93views more  TOSEM 2002»
15 years 4 months ago
Alloy: a lightweight object modelling notation
Alloy is a little language for describing structural properties. It offers a declaration syntax compatible with graphical object models, and a set-based formula syntax powerful en...
Daniel Jackson
EDBT
2008
ACM
173views Database» more  EDBT 2008»
16 years 4 months ago
SeMap: a generic mapping construction system
Most previous schema mapping works focus on creating mappings in specific data models for data transformation, failing to capture a richer set of possible relationships between sc...
Ting Wang, Rachel Pottinger