4117 search results - page 129 / 824 » On the Satisfiability of Complex Constraints |
172
click to vote
AAAI
2010
15 years 7 months ago
2010
In many data-centric applications, it is desirable to use OWL as an expressive schema language with which one expresses constraints that must be satisfied by instance data. However...
169
click to vote
OWLED
2008
15 years 7 months ago
2008
In many data-centric applications it is desirable to use OWL as an expressive schema language where one expresses constraints that need to be satisfied by the (instance) data. Howe...
196
click to vote
SDM
2007
SIAM
15 years 7 months ago
2007
SIAM
Local pattern mining algorithms generate sets of patterns, which are typically not directly useful and have to be further processed before actual application or interpretation. Ra...
174
click to vote
FLAIRS
2004
15 years 7 months ago
2004
We discuss description and reasoning over regions. We have proposed a system called SRCC that integrates integration of spatial and semantic data. SRCC can describe and reason abo...
183
click to vote
DKE
2007
15 years 6 months ago
2007
Previous studies on mining sequential patterns have focused on temporal patterns specified by some form of propositional temporal logic. However, there are some interesting seque...