464 search results - page 54 / 93 » Modeling Semantic Constraints with Logic in the EARL Data Mo... |
86
Voted
ESWS
2007
Springer
15 years 4 months ago
2007
Springer
WSML is an ontology language specifically tailored to annotate Web Services, and part of its semantics adheres to the rule-based knowledge representation paradigm of logic program...
100
click to vote
SEMCO
2009
IEEE
15 years 4 months ago
2009
IEEE
— In this paper we present an automated support for software model evolution using a formal language constructs. For this, we extended Object Constraint Language (OCL) with actio...
RTSS
1993
IEEE
15 years 2 months ago
1993
IEEE
This paper presents a technique that is capable of supporting two major requirements for concurrency control in real-time databases: data temporal consistency, and data logical co...
78
Voted
FUZZIEEE
2007
IEEE
15 years 4 months ago
2007
IEEE
Compositional Modelling (CM) has been applied to synthesize automatically plausible scenarios in many problem domains with promising results. However, it is assumed that the generi...
108
Voted
KRDB
1996
14 years 11 months ago
1996
Metaprogramming adds new expressive power to logic programming which can be advantageous to transfer to the field of deductive databases. We propose metaprogramming as a way to mo...