Sciweavers

6794 search results - page 171 / 1359
» Semantics of Visual Languages
Sort
View
EDBT
2008
ACM
146views Database» more  EDBT 2008»
13 years 11 months ago
SPARQLing constraints for RDF
The goal of the Semantic Web is to support semantic interoperability between applications exchanging data on the web. The idea heavily relies on data being made available in machi...
Georg Lausen, Michael Meier 0002, Michael Schmidt
SIGMOD
2003
ACM
147views Database» more  SIGMOD 2003»
14 years 9 months ago
Formal semantics and analysis of object queries
Modern database systems provide not only powerful data models but also complex query languages supporting powerful features such as the ability to create new database objects and ...
Gavin M. Bierman
WWW
2005
ACM
14 years 10 months ago
OWL DL vs. OWL flight: conceptual modeling and reasoning for the semantic Web
The Semantic Web languages RDFS and OWL have been around for some time now. However, the presence of these languages has not brought the breakthrough of the Semantic Web the creat...
Axel Polleres, Dieter Fensel, Jos de Bruijn, Rub&e...
TLDI
2009
ACM
169views Formal Methods» more  TLDI 2009»
14 years 6 months ago
Relational parametricity for references and recursive types
We present a possible world semantics for a call-by-value higherorder programming language with impredicative polymorphism, general references, and recursive types. The model is o...
Lars Birkedal, Kristian Støvring, Jacob Tha...
MIE
2008
136views Healthcare» more  MIE 2008»
13 years 10 months ago
Enhancing Knowledge Representations by Ontological Relations
Several medical natural language processing (NLP) systems currently base on ontologies that provide the domain knowledge. But, relationships between concepts defined in ontologies ...
Kerstin Denecke