Sciweavers

3358 search results - page 537 / 672
» Dynamic Description Logics
Sort
View
95
Voted
DEXA
1995
Springer
125views Database» more  DEXA 1995»
15 years 4 months ago
An SQL Extension Supporting User Viewpoints
- In order to accomplish independence on the logical data organization, a relational DBMS must be capable of interpreting query language sentences which reference attributes belong...
Giuseppe Bellavia, Dario Maio, Stefano Rizzi
121
Voted
DALT
2009
Springer
15 years 4 months ago
Ontology and Time Evolution of Obligations and Prohibitions Using Semantic Web Technology
The specification and monitoring of conditional obligations and prohibitions with starting points and deadlines is a crucial aspect in the design of open interaction systems. In th...
Nicoletta Fornara, Marco Colombetti
103
Voted
AAAI
2008
15 years 3 months ago
A Formalization of Program Debugging in the Situation Calculus
Program debugging is one of the most time-consuming parts of the software development cycle. In recent years, automatic debugging has been an active research area in software engi...
Yongmei Liu
88
Voted
DEXA
2008
Springer
111views Database» more  DEXA 2008»
15 years 2 months ago
Translating SQL Applications to the Semantic Web
Abstract. The content of most Web pages is dynamically derived from an underlying relational database. Thus, the success of the Semantic Web hinges on enabling access to relational...
Syed Hamid Tirmizi, Juan Sequeda, Daniel P. Mirank...
98
Voted
ECOOP
2008
Springer
15 years 2 months ago
Extensible Universes for Object-Oriented Data Models
Abstract We present a datatype package that enables the shallow embedding technique to object-oriented specification and programming languages. This datatype package incrementally ...
Achim D. Brucker, Burkhart Wolff