248 search results - page 27 / 50 » Checking e-service consistency using Description Logics |
159
click to vote
CLEF
2008
Springer
15 years 7 months ago
2008
Springer
RAVE (Real-time Answer Validation Engine) is a logic-based answer validator/selector designed for real-time question answering. Instead of proving a hypothesis for each answer, RAV...
193
click to vote
SIGSOFT
2007
ACM
16 years 6 months ago
2007
ACM
We present an approach for checking code against rich specifications, based on existing work that consists of encoding the program in a relational logic and using a constraint sol...
182
click to vote
ICAS
2008
IEEE
15 years 12 months ago
2008
IEEE
Abstract—A growing number of applications start using Semantic Web technologies. The base concept in this technology is the use of ontologies, allowing first-order logic reasoni...
158
click to vote
OTM
2007
Springer
15 years 11 months ago
2007
Springer
We show how Semantic Web technologies can be used to build an access control system. We follow the role-based access control approach (RBAC) and extend it with contextual attribute...
143
click to vote
ISOLA
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. This paper argues in favor of a database conceptual schema and Semantic Web ontology design discipline that explores analogy mappings to reuse the structure and integrity...