Sciweavers

3597 search results - page 158 / 720
» Model-theoretic semantics for the web
Sort
View
ADC
2006
Springer
142views Database» more  ADC 2006»
16 years 6 days ago
An optimization for query answering on ALC database
Query answering over OWLs and RDFs on the Semantic Web is, in general, a deductive process. To this end, OWL, a family of web ontology languages based on description logic, has be...
Pakornpong Pothipruk, Guido Governatori
COORDINATION
2006
Springer
15 years 10 months ago
A WSDL-Based Type System for WS-BPEL
We tackle the problem of providing rigorous formal foundations to current software engineering technologies for web services. We focus on two of the most used XML-based languages f...
Alessandro Lapadula, Rosario Pugliese, Francesco T...
ER
2007
Springer
89views Database» more  ER 2007»
16 years 12 days ago
On Order Dependencies for the Semantic Web
We consider the problem of adding both equality and order generating dependencies to Web ontology languages such as OWL DL that are based on description logics. Such dependencies u...
David Toman, Grant E. Weddell
WISE
2005
Springer
15 years 11 months ago
Consensus Making on the Semantic Web: Personalization and Community Support
We propose a framework for ontology-based consensus making, which is grounded on personalization and community support. Corresponding software is designed to be naturally deployed ...
Anna V. Zhdanova, Francisco Martín-Recuerda
IUI
2006
ACM
16 years 5 days ago
Recovering semantic relations from web pages based on visual cues
Recovering semantic relations between different parts of web pages are of great importance for multi-platform web interface development, as they make it possible to re-distribute ...
Peifeng Xiang, Yuanchun Shi