483 search results - page 18 / 97 » Model Based Deduction for Database Schema Reasoning |
151
click to vote
WIFT
1998
IEEE
15 years 6 months ago
1998
IEEE
The Unified Modeling Language (UML) is likely to become an important industry standard language for modelling object-oriented systems. However, its use as a precise analysis tool ...
117
click to vote
ER
2010
Springer
14 years 12 months 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...
110
click to vote
IJCAI
1989
15 years 3 months ago
1989
This paper describes an attempt to model the method of generating a fact from the opinions of other persons or of institutions as a process which is based on knowledge about these...
131
click to vote
RULEML
2004
Springer
15 years 7 months ago
2004
Springer
In this paper we present R-DEVICE, a deductive rule language for reasoning about RDF metadata. R-DEVICE includes features such as normal and generalized path expressions, stratifie...
151
click to vote
ADBIS
2009
Springer
15 years 8 months ago
2009
Springer
In this paper, we visit the problem of the management of inconsistencies emerging on ETL processes as results of evolution operations g at their sources. We abstract Extract-Transf...