Sciweavers

1791 search results - page 141 / 359
» Semantics and Complexity of SPARQL
Sort
View
134
Voted
ICSE
1994
IEEE-ACM
15 years 9 months ago
Formalizing Architectural Connection
As software systems become more complex the overall system structure { or software architecture { becomes a central design problem. An important step towards an engineering discip...
Robert J. Allen, David Garlan
117
Voted
VLDB
1989
ACM
77views Database» more  VLDB 1989»
15 years 9 months ago
ENIAM: A More Complete Conceptual Schema Language
The problem of knowledge representation has been extensively addressedin the information systemsfield and there has been a wide range of suggestionsfor capturing semantics.A numbe...
Peter N. Creasy
AAAI
2008
15 years 7 months ago
Hyperequivalence of Logic Programs with Respect to Supported Models
Recent research in nonmonotonic logic programming has focused on program equivalence relevant for program optimization and modular programming. So far, most results concern the st...
Miroslaw Truszczynski, Stefan Woltran
PODS
2010
ACM
159views Database» more  PODS 2010»
15 years 6 months ago
On probabilistic fixpoint and Markov chain query languages
We study highly expressive query languages such as datalog, fixpoint, and while-languages on probabilistic databases. We generalize these languages such that computation steps (e....
Daniel Deutch, Christoph Koch, Tova Milo
162
Voted
KRMED
2004
15 years 6 months ago
Using C-OWL for the alignment and merging of medical ontologies
A number of sophisticated medical ontologies have been created over the past years. With their development the need for supporting the alignment of different ontologies is gaining...
Heiner Stuckenschmidt, Frank van Harmelen, Paolo B...