3244 search results - page 324 / 649 » Extensions to Description Logics |
150
click to vote
PLILP
1994
Springer
15 years 10 months ago
1994
Springer
We present the design and the implementation of clp(B): a boolean constraint solver inside the Constraint Logic Programming paradigm. This solver is based on local propagation meth...
176
click to vote
RSCTC
2000
Springer
15 years 10 months ago
2000
Springer
Induction of decision rules within the dominance-based rough set approach to the multiple-criteria sorting decision problem is discussed in this paper. We introduce an algorithm ca...
184
click to vote
RSCTC
2000
Springer
15 years 10 months ago
2000
Springer
In this paper we introduce the concept of valued tolerance as an extension of the usual concept of indiscernibility (which is a crisp equivalence relation) in rough sets theory. So...
172
click to vote
EDOC
2008
IEEE
15 years 8 months ago
2008
IEEE
We present an algorithm for the runtime monitoring of business process properties with data parameterization. The properties are expressed in LTL-FO+ , an extension to traditional...
160
click to vote
BDA
2004
15 years 8 months ago
2004
We present the path sequence storage model, a new logical model for storing XML documents. This model partitions XML data and content according to the document paths; and uses orde...