1916 search results - page 154 / 384 » Reasoning with class algebra |
CORR
2008
Springer
15 years 1 months ago
2008
Springer
Multi-relational networks are used extensively to structure knowledge. Perhaps the most popular instance, due to the widespread adoption of the Semantic Web, is the Resource Descr...
105
Voted
CL
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. We consider the problem of specifying and computing consistent answers to queries against databases that do not satisfy given integrity constraints. This is done by simul...
167
click to vote
SEMWEB
2010
Springer
14 years 7 months ago
2010
Springer
Space and time have not received much attention on the Semantic Web so far. While their importance has been recognized recently, existing work reduces them to simple latitude-longi...
88
Voted
SIGSOFT
2006
ACM
16 years 1 months ago
2006
ACM
Atomicity is a desirable property for business processes to conduct transactions in Business-to-Business (B2B) collaboration. Although it is possible to reason about atomicity of ...
100
Voted
BIRTHDAY
2005
Springer
15 years 6 months ago
2005
Springer
This paper proposes a Compiled Labelled Deductive System, called ACCLDS, for reasoning about role-based access control in distributed systems, which builds upon Massacci’s tablea...