2196 search results - page 160 / 440 » Practical Reasoning Using Values |
108
click to vote
OWLED
2008
15 years 3 months ago
2008
We view OWL instance data evaluation as a process in which instance data is checked for conformance with application requirements. We previously identified some integrity issues ra...
129
click to vote
COR
2004
15 years 2 months ago
2004
The robust deviation shortest path problem with interval data is studied in this paper. After the formulation of the problem in mathematical terms, an exact algorithm, based on a ...
136
click to vote
ENTCS
2000
15 years 2 months ago
2000
Abstract. Logic programming languages based on linear logic are of both theoretical and practical interest, particulaly because such languages can be seen as providing a logical ba...
130
click to vote
VOTEID
2007
Springer
15 years 8 months ago
2007
Springer
Performing a good security analysis on the design of a system is an essential step in order to guarantee a reasonable level of protection. However, different attacks and threats m...
120
click to vote
ER
2010
Springer
15 years 10 days ago
2010
Springer
In this paper we describe a method to perform type inference over data stored in an RDBMS, where rules over the data are specified using OWLDL. Since OWL-DL is an implementation of...