1548 search results - page 180 / 310 » Client-Site Query Extensions |
126
click to vote
OWLED
2007
15 years 4 months ago
2007
Schema statements in OWL are interpreted quite differently from analogous statements in relational databases. If these statements are meant to be interpreted as integrity constrai...
152
Voted
CASC
2009
Springer
15 years 3 months ago
2009
Springer
We consider Presburger arithmetic extended by infinity. For this we give an effective quantifier elimination and decision procedure which implies also the completeness of our exten...
114
Voted
ECAI
2010
Springer
15 years 3 months ago
2010
Springer
We introduce First Order ProbLog, an extension of first order logic with soft constraints where formulas are guarded by probabilistic facts. The paper defines a semantics for FOPro...
95
Voted
ENTCS
2006
15 years 2 months ago
2006
Context and sequence variables allow matching to explore term-trees both in depth and in breadth. It makes context sequence matching a suitable computational mechanism for a rule-...
106
click to vote
CORR
2007
Springer
15 years 2 months ago
2007
Springer
Abstract. In data analysis new forms of complex data have to be considered like for example (symbolic data, functional data, web data, trees, SQL query and multimedia data,. . . )....